Sciweavers

214 search results - page 4 / 43
» A tutorial on default logics
Sort
View
FOAL
2007
ACM
13 years 11 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
LPNMR
1999
Springer
13 years 11 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
AAAI
1990
13 years 8 months ago
Conditional Logics of Normality as Modal Systems
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
Craig Boutilier
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
13 years 11 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel