LOGIC PROGRAMS AND CARDINALITY CONSTRAINTS -- Theory and Practice

LOGIC PROGRAMS AND CARDINALITY CONSTRAINTS -- Theory and Practice (2009)

Cached

Download Links

[lib.tkk.fi]

by Tommi Syrjänen

BibTeX

@MISC{Syrjänen09logicprograms,
    author = {Tommi Syrjänen},
    title = {LOGIC PROGRAMS AND CARDINALITY CONSTRAINTS -- Theory and Practice},
    year = {2009}
}

Bookmark

OpenURL

Abstract

Citations

8879	Computers and Intractability: A guide to the Theory of NP-Completeness - Garey, Johnson - 1979
1950	Computational Complexity - Papadimitriou - 1995
1739	Foundations of logic programming - Lloyd
1555	STRIPS: A new approach to the application of theorem proving to problem solving - Fikes, Nilsson - 1971
1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
996	JD: Principles of database and knowledge-base systems, Vol 1 - Ullman - 1988
926	A computing procedure for quantification theory - Davis, Putnam - 1960
855	Negation as Failure - Clark - 1978
852	Fast planning through planning graph analysis - Blum, Furst - 1997
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
689	Classical negation in logic programs and disjunctive databases - Gelfond, Lifschitz - 1991
641	Predicate logic as a programming language - Kowalski - 1974
586	Planning for conjunctive goals - Chapman - 1987
501	Where the really hard problems are - Cheeseman, Kanefsky, et al. - 1991
463	Pushing the envelope: Planning, propositional logic, and stochastic search - KAUTZ, SELMAN - 1996
407	Semantical considerations on nonmonotonic logic - Moore - 1985
407	Artificial Intelligence: A Modern Approach - Russel, Norvig - 1995
392	Algorithms in C - Sedgewick - 1990
355	Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
310	Logic programs with classical negation - Gelfond, Lifschitz - 1990
297	Understanding natural language - Winograd - 1972
285	The Relative Efficiency of Propositional Proof Systems - Cook, Reckhow - 1979
266	and Easy Distributions for SAT Problems - Hard - 1992
258	Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae - Dowling, Gallier - 1984
246	The computational complexity of propositional STRIPS planning - Bylander - 1994
234	The dlv system for knowledge representation and reasoning - Leone, Pfeifer, et al.
226	Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
220	Computer science as empirical inquiry: symbols and search - Newell, Simon - 1976
216	Logic programming and negation: a survey - Apt, Bol - 1994
213	A Computer Model of Skill Acquisition - Sussman - 1975
189	The alternating fixpoint of logic programs with negation - Gelder - 1989
182	Using CSP look-back techniques to solve real-world SAT instances - Bayardo, Schrag - 1997
168	Disjunctive datalog - Eiter, Gottlob, et al. - 1997
158	Action languages - Gelfond, Lifschitz - 1998
156	Combining answer set programming with description logics for the semantic web - Eiter, Lukasiewicz, et al. - 2004
156	Nonmonotonic Logics; Context-Dependent Reasoning - Marek, Truszczyński - 1993
154	Causal theories of action and change - McCain, Turner - 1997
147	Strongly equivalent logic programs - Lifschitz, Pearce, et al. - 2001
130	Logic and Databases: A Deductive Approach - Gallaire, Minker, et al. - 1984
128	Impossible objects as nonsense sentences - Huffman - 1971
127	Answer set planning - Lifschitz - 1999
124	Negation as failure using tight derivations for general logic programs - Gelder - 1988
112	Logic for improving integrity checking in relational data bases - Nicolas - 1982
102	Encoding planning problems in nonmonotonic logic programs - DIMOPOULOS, NEBEL, et al. - 1997
101	Recent advances in AI planning - Weld - 1999
87	The 1998 AI planning systems competition - McDermott
86	Nested expressions in logic programs - Lifschitz, Tang, et al. - 1999
72	Backdoors to typical case complexity - Williams, Gomes, et al. - 2003
70	A logic programming approach to knowledge-state planning, II: The DLVK system - Eiter, Faber, et al.