3845 search results - page 55 / 769 » Belief Logic Programming |
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
JFLP
2002
14 years 9 months ago
2002
We consider prescriptive type systems for logic programs (as in G
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
EUSFLAT
2003
14 years 11 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...