Search results

2021-12-13 Paper Logic Programming and Effectively Closed Sets 2021-06-15 Paper On the complexity of index sets for finite predicate logic programs which...

Paper Logic programs with monotone abstract constraint atoms 2008-03-27 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...

in the semantic web 2015-09-17 Paper Embedding nonground logic programs into autoepistemic logic for knowledge-base combination 2015-09-17 Paper A data model...

FO(ID) Based on Least Fixpoint Logic 2009-11-10 Paper CP-logic: A language of causal probabilistic events and its relation to logic programming 2009-08-19 Paper...

of logic-based abduction 1998-02-02 Paper NP trees and Carnap's modal logic 1998-02-02 Paper Translating default logic into standard autoepistemic logic...

de/entity/Q5750425 1989-01-01 Paper On the relation between default and autoepistemic logic 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3811754 1988-01-01...

semantics of logic programming; stable model semantics; autoepistemic predicate logic; complete database; non-standard logic programming; nonstandard logic resolution...

stable model semantics; autoepistemic predicate logic; completion semantics; semantics of logic programs; three-valued autoepistemic semantics; well- founded...

Keywords approximation; normal form; autoepistemic logic; semantics; algebraic approach; fixpoint; nonmonotonic logics; predicate introduction Mathematics Subject...

zbMATH Keywords predicate calculus; natural deduction; temporal logic; autoepistemic logics; probabilistic logics; sequential calculus; logic of programs;...

belief; logic program; three-valued semantics; autoepistemic reasoning; extensional axiomatization; first-order logic with one distinguished predicate DemoS;...