نتایج جستجو برای: deductive
تعداد نتایج: 7045 فیلتر نتایج به سال:
1996
Heinrich Herre
Gerd Wagner
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be represented and queried: timepoint and timestamp formulas, and show how each of them can be translated into the other. Because of their generality, our formalism and our semantics can serve as a basis for comparing and exte...
Journal:
:Electronic Notes in Theoretical Computer Science
2012
Journal:
:Journal of Experimental Psychology: Learning, Memory, and Cognition
2010
Journal:
:Electronic Notes in Theoretical Computer Science
2006
Journal:
:Crítica (México D. F. En línea)
1967
Journal:
:Annals of Pure and Applied Logic
1992
Journal:
:The Knowledge Engineering Review
2007
Journal:
:Journal of the Korean Association of Oral and Maxillofacial Surgeons
2021
Journal:
:Modeling and Analysis of Information Systems
2015
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید