- Open answer set programming for the semantic web.Stijn Heymans, Davy Van Nieuwenborgh & Dirk Vermeir - 2007 - Journal of Applied Logic 5 (1):144-169.details
|
|
GFO-Bio: A biological core ontology.Robert Hoehndorf, Frank Loebe, Roberto Poli, Heinrich Herre & Janet Kelso - 2008 - Applied ontology 3 (4):219-227.details
|
|
FLP answer set semantics without circular justifications for general logic programs.Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng - 2014 - Artificial Intelligence 213 (C):1-41.details
|
|
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.details
|
|
Representing and Reasoning about Game Strategies.Dongmo Zhang & Michael Thielscher - 2015 - Journal of Philosophical Logic 44 (2):203-236.details
|
|
Logic programming and knowledge representation—The A-Prolog perspective.Michael Gelfond & Nicola Leone - 2002 - Artificial Intelligence 138 (1-2):3-38.details
|
|
Fixed point semantics for stream reasoning.Christian Antić - 2020 - Artificial Intelligence 288 (C):103370.details
|
|
Determining inference semantics for disjunctive logic programs.Yi-Dong Shen & Thomas Eiter - 2019 - Artificial Intelligence 277 (C):103165.details
|
|
Design and results of the Fifth Answer Set Programming Competition.Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca - 2016 - Artificial Intelligence 231 (C):151-181.details
|
|
Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.details
|
|
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.details
|
|
Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.details
|
|
Formalising the Fisherman's Folly puzzle.Pedro Cabalar & Paulo E. Santos - 2011 - Artificial Intelligence 175 (1):346-377.details
|
|
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.details
|
|
Answer Sets and Qualitative Decision Making.Gerhard Brewka - 2005 - Synthese 146 (1-2):171-187.details
|
|
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits.Blai Bonet & Héctor Geffner - 2008 - Artificial Intelligence 172 (12-13):1579-1604.details
|
|
Heuristic planning: A declarative approach based on strategies for action selection.Josefina Sierra-Santibáñez - 2004 - Artificial Intelligence 153 (1-2):307-337.details
|
|
Querying incomplete information in RDF with SPARQL.Charalampos Nikolaou & Manolis Koubarakis - 2016 - Artificial Intelligence 237 (C):138-171.details
|
|