Sciweavers

120 search results - page 11 / 24
» Disjunctive Logic Programming and Autoepistemic Logic
Sort
View
AGP
2003
IEEE
15 years 2 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
Gerald Pfeifer
ICLP
2010
Springer
15 years 1 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
67
Voted
LPNMR
2004
Springer
15 years 3 months ago
Verifying the Equivalence of Logic Programs in the Disjunctive Case
Emilia Oikarinen, Tomi Janhunen