1814 search results - page 41 / 363 » Extended First-Order Logic |
KR
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
115
click to vote
IJCAI
1997
14 years 11 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
DLOG
2008
15 years 2 days ago
2008
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...