Get started
Keyword

logic programs

Description: Logic programs are sets of formal logical rules used to represent knowledge and perform computation in logic programming.
Wikidata ID: wiki/Q275603
OpenAlex ID: keywords/logic-programs
Classical negation in logic programs and disjunctive databases
1991 · Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 2,267
Logic programs with stable model semantics as a constraint programming paradigm
1999 · Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 837
Abstract interpretation and application to logic programs
1992 · Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 582
On the Declarative Semantics of Deductive Databases and Logic Programs
1988 · Teodor C. Przymusinski · Elsevier eBooks · 556
A kripke-kleene semantics for logic programs*
1985 · Melvin Fitting · The Journal of Logic Programming · 534
PDF
The Art of Prolog: Advanced Programming Techniques
1994 · Leon Sterling, Ehud Shapiro · 532
Strongly equivalent logic programs
2001 · Vladimir Lifschitz, David Pearce, et al. · ACM Transactions on Computational Logic · 514
Representing action and change by logic programs
1993 · Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 507
Logic programs with classical negation
1990 · Michael Gelfond, Vladimir Lifschitz · 486
Answer set programming and plan generation
2002 · Vladimir Lifschitz · Artificial Intelligence · 443
A Statistical Learning Method for Logic Programs with Distribution Semantics
1995 · Taisuke Sato · The MIT Press eBooks · 415
Conflict-driven answer set solving: From theory to practice
2012 · Martin Gebser, Benjamin Kaufmann, et al. · Artificial Intelligence · 328
PDF
Horn clause queries and generalizations
1985 · Ashok K. Chandra, David Harel · The Journal of Logic Programming · 310
Unfold/fold Transformation of Logic Programs
1984 · Hisao Tamaki, Taisuke Sato · 306
Conflict-driven answer set solving
2007 · Martin Gebser, Benjamin Kaufmann, et al. · 297
An algebra for composing access control policies
2002 · Piero Bonatti, Sabrina De Capitani di Vimercati, et al. · ACM Transactions on Information and System Security · 294
Nested expressions in logic programs
1999 · Vladimir Lifschitz, Lappoon R. Tang, et al. · Annals of Mathematics and Artificial Intelligence · 291
Well-Founded Semantics Coincides with Three-Valued Stable Semantics1
1990 · Teodor Przymusinski · Fundamenta Informaticae · 258
A practical framework for theabstract interpretation of logic programs
1991 · Maurice Bruynooghe · The Journal of Logic Programming · 243
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
2001 · T. Sato, Y. Kameya · Journal of Artificial Intelligence Research · 233
PDF
Compile-time derivation of variable dependency using abstract interpretation
1992 · K. Muthukumar, M. Hermenegildo · The Journal of Logic Programming · 225
GrinGo: A New Grounder for Answer Set Programming
2007 · Martin Gebser, Torsten Schaub, et al. · Springer eBooks · 202
Every logic program has a natural stratification and an iterated least fixed point model
1989 · T. C. Przymusinski · Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 202
PDF
Graph theoretical structures in logic programs and default theories
1996 · Yannis Dimopoulos, Alberto Torres · Theoretical Computer Science · 196
PDF
Declarative modeling of the operational behavior of logic languages
1989 · M. Falaschi, G. Levi, et al. · Theoretical Computer Science · 194
Works count: 2,985
Citation count: 41,940
Year
Topic
Type