Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

Cached

Download Links

by Ilkka Niemelä

Citations:

BibTeX

@MISC{Niemelä_logicprograms,
    author = {Ilkka Niemelä},
    title = {Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm},
    year = {}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
1247	A logic for default reasoning - Reiter - 1980
852	Fast planning through planning graph analysis - Blum, Furst - 1997
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
742	Constraint logic programming - JAFFAR, LASSEZ - 1987
641	Predicate logic as a programming language - Kowalski - 1974
570	Towards a theory of declarative knowledge - Apt, Blair, et al. - 1988
407	Semantical considerations on nonmonotonic logic - Moore - 1985
355	Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
310	Logic programs with classical negation - Gelfond, Lifschitz - 1990
226	Smodels—an implementation of the stable model and wellfounded semantics for normal logic programs - Niemelä, Simons - 1997
226	Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren - 1996
197	Stable Models as an Alternative Logic Programming Paradigm - Marek, Truszczyński - 1999
171	Autoepistemic Logic - Marek, Truszczynski - 1991
129	Analysis of Constraint Logic Programs - Marriott, Sondergaard - 1990
128	Efficient Implementation of the Well-founded and Stable Model Semantics - Niemelä, Simons - 1996
122	Experimental results on the crossover point in random 3-SAT - Crawford, Auton - 1996
113	Complexity results for planning - Bylander - 1991
102	Encoding planning problems in nonmonotonic logic programs - DIMOPOULOS, NEBEL, et al. - 1997
102	The KR System DLV: Progress Report, Comparisons, and Benchmarks - Eiter, Leone, et al. - 1998
63	Default reasoning system DeReS - Cholewiński, Marek, et al. - 1996
48	Using Logic Programs with Stable Model Semantics to Solve Dead-Lock and Reachability Problems for 1-Safe Petri Nets - Heljanko - 1999
46	Computing of Stable Models and its Integration with Logical Query Processing - Chen, Warren - 1995
42	Mixed integer programming methods for computing nonmonotonic deductive databases - Bell, Nerode, et al. - 1994
41	A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems - Elkan - 1990
36	Linear-time algorithms for testing the satis of propositional horn formulae - Dowling, Gallier - 1984
36	The Stanford GraphBase - Knuth - 1994
31	Experimenting with nonmonotonic reasoning - Cholewiński, Marek, et al. - 1995
31	An abstract machine for computing the well-founded semantics - Sagonas, Swift, et al. - 1996
29	WFS + branch and bound = stable models - Subrahmanian, Nau, et al. - 1995
25	Towards constraint satisfaction through logic programs and the stable model semantics - Simons - 1997
23	Towards efficient default reasoning, in - Niemelä - 1995
18	ACLP: Flexible Solutions to Complex Problems - Kakas, Mourlas - 1997
18	Implementation of Local Grounding for Logic Programs with Stable Model Semantics - Syrjänen - 1998
15	Circumscribing DATALOG: Expressive power and complexity - Cadoli - 1998
7	Iterative belief revision in extended logic programming - You, Cartwright, et al. - 1996
7	Fully local and ecient evaluation of alternating points - Liu, Ramakrishnan, et al. - 1998
6	Towards ecient default reasoning - Niemela - 1995
4	NP-SPEC: An executable speci language for solving all problems in NP - Cadoli, Palopoli, et al. - 1999
4	Linear-time Algorithms for Testing the Satisfiablity of Propositional Horn Formulae - Dowling, Gallier - 1984
4	and Miroslaw Truszczy nski. Autoepistemic logic - Marek - 1991
1	Towards programming in default logic - Cholewinski - 1996
1	alk er. T o w ards a theory of declarativ e kno wledge - Apt, W - 1988
1	urst. F ast planning through planning graph analysis. A rtificial Intel ligenc e - Blum, F - 1997
1	Cadoli and Luigi P alop oli. Circumscribing D A T ALOG: Expressiv e p o w er and complexit y . The or etic al Computer Scienc e - Marco - 1998
1	o c e e dings of the First International Workshop on Pr actic al Asp e cts of De clar ative L anguages - Chen, arren - 1999
1	r ansactions on Know le dge and Data Engine ering - IEEE - 1995
1	T abled ev aluation with dela ying for general logic programs - Chen, arren - 1996
1	Cholewi 'nski. T o w ards programming in default logic. In Pr o c e e dings - unknown authors - 1996
1	ruszczy 'nski. Exp erimen ting with nonmonotonic reasoning. In Pr o c e e dings of the 12th International Confer enc e on L o gic Pr o gr amming - 'nski, Marek, et al. - 1995