FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols

FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols (2008)

Cached

Download Links

by Mantas Simkus , Thomas Eiter

Citations:

BibTeX

@MISC{Simkus08fdnc:decidable,
    author = {Mantas Simkus and Thomas Eiter},
    title = {FDNC: Decidable Nonmonotonic Disjunctive Logic Programs with Function Symbols},
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

689	Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
491	The Description Logic Handbook: Theory, Implementation and Applications - Baader, Calvanese, et al. - 2003
370	Knowledge representation, reasoning and declarative problem solving - Baral - 2003
264	Logic programs with stable model semantics as a constraint programming paradigm - Niemelä - 1999
262	Relationships between nondeterministic and deterministic tape complexities - Savitch - 1970
240	Complexity and expressive power of logic programming - Dantsin, Eiter, et al.
235	A correspondence theory for terminological logics: Preliminary report - Schild - 1991
233	Nonmonotonic logic and temporal projection - Hanks, McDermott - 1987
226	Smodels—an implementation of the stable model and wellfounded semantics for normal logic programs - Niemelä, Simons - 1997
197	Stable Models as an Alternative Logic Programming Paradigm - Marek, Truszczyński - 1999
170	C.: Pushing the EL envelope - Baader, Brandt, et al. - 2005
127	Answer set planning - Lifschitz - 1999
121	A knowledge compilation map - Darwiche, Marquis - 2002
108	An action language based on causal explanation: preliminary report - Giunchiglia, Lifschitz
107	Reducing SHIQ − description logic to disjunctive datalog programs - Hustadt, Motik, et al. - 2004
102	Encoding planning problems in nonmonotonic logic programs - DIMOPOULOS, NEBEL, et al. - 1997
96	Answer Set Programming and Plan Generation - Lifschitz
95	On the computational cost of disjunctive logic programming: Propositional case - Eiter, Gottlob - 1995
89	A survey on knowledge compilation - Cadoli, Donini - 1998
88	A deductive system for non-monotonic reasoning - Eiter, Leone, et al. - 1997
79	Representing actions in extended logic programming - Gelfond, Lifschitz - 1992
70	A logic programming approach to knowledge-state planning, II: The DLVK system - Eiter, Faber, et al.
68	1998]. Foundations for the situation calculus - Levesque, Pirri, et al.
44	A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming - Eiter, Ianni, et al. - 2005
38	clasp: A conflict-driven answer set solver - Gebser, Kaufmann, et al. - 2007
35	U.: Bridging the gap between OWL and relational databases - Motik, Horrocks, et al. - 2007
32	The stable models of predicate logic programs - Marek, Nerode, et al. - 1994
31	Reasoning with infinite stable models - Bonatti
27	Finite Representation of Infinite Query Answers - Chomicki, Imieli'nski - 1993
23	Nemeti [1978], `The generalized completeness of Horn predicate logic as a programming language', Acta Cybernetica 4, 3--10. (This is the published version of a 1975 report entitled "General Completeness of PROLOG - Andreka
22	Reasoning in description logics using declarative logic programming - Alsaç, Baral - 2001
22	Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory and Practice of Logic Programming - Tu, Son, et al.
21	Unification as a complexity measure for logic programming - Itai, Makowsky - 1987
19	1971], Logical writings - Herbrand
18	Some Results on the Complexity of Planning with Incomplete Information - Haslum, Jonsson - 1999
18	Decidable Open Answer Set Programming - Heymans - 2006
18	Domain-dependent knowledge in answer set programming - Son, Baral, et al.
15	Omega-Restricted Logic Programs - Syrjanen
13	Depth-bounded bottom-up evaluation of logic programs - Chomicki - 1995
13	Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs - Heymans, Nieuwenborgh, et al. - 2005
13	Deduction in ontologies via ASP - Swift - 2004
12	Expressiveness of stable model semantics for disjunctive logic programs with functions - Gottlob
12	Conformant Planning for Domains with Constraints — A New Approach - SON, TU, et al.
11	On finitely recursive programs - BASELICE, BONATTI, et al. - 2007
11	Integrating Semantic Web reasoning and answer set programming - Heymans, Vermeir - 2003
10	On the expressibility of stable logic programming - MAREK, REMMEL
10	How Complicated is the set of stable models of a recursive logic program? Annals of Pure and Applied Logic - Marek, Nerode, et al. - 1992
7	A survey of decidable first-order fragments and description logics - Hustadt, Schmidt, et al.
4	Answer set programming: Model applications and proofs-of-concept - Woltran - 2005
2	An extension to conformant planning using logic programming - Morales, Tu, et al. - 1991