نتایج جستجو برای: 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: :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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید