1814 search results - page 41 / 363 » Extended First-Order Logic |
106
Voted
KR
1994
Springer
15 years 6 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...
106
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
149
click to vote
IJCAI
1997
15 years 3 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...
121
Voted
DLOG
2008
15 years 4 months 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 ...
142
click to vote
KI
2007
Springer
15 years 8 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...