On the declarative and procedural semantics of logic programs

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Properties of classes of models (03C52) Models of other mathematical theories (03C65)

Cited In (38)

Title not available (Why is that?)
Declarative Logic Programming: Theory, Systems, and Applications
Combining event calculus and description logic reasoning via logic programming
A note on the stable model semantics for logic programs
General logical databases and programs: Default logic semantics and stratification
Three-valued nonmonotonic formalisms and semantics of logic programs
On intuitionistic query answering in description bases
Acyclic logic programs and the completeness of SLDNF-resolution
Title not available (Why is that?)
Title not available (Why is that?)
A three-valued semantics for deductive databases and logic programs
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
A logic of knowledge and justified assumption
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Logic programs as compact denotations.
Semantics of structured normal logic programs
A computable semantics for general logic programs
Propositional semantics for disjunctive logic programs
Modular materialisation of Datalog programs
Enhancing Magic Sets with an Application to Ontological Reasoning
On the semantics of deliberation in IndiGolog -- from theory to implementation
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Title not available (Why is that?)
Title not available (Why is that?)
Prolegomena to logic programming for non-monotonic reasoning
Theoretical Foundations and Semantics of Logic Programming
What is failure? An approach to constructive negation
Well-founded and stationary models of logic programs
The semantics of incomplete databases as an expression of preferences
Semantic-based construction of arguments: an answer set programming approach
Extending Logic Programming with Labelled Variables: Model and Semantics
S-semantics for logic programming: a retrospective look
Title not available (Why is that?)
Title not available (Why is that?)
Layerings of logic programs -- layer decomposable semantics and incremental model computation
On Inductive Proofs by Extended Unfold/Fold Transformation Rules
On the Coincidence of Semantics for Uniquely Determined Programs
Complete extension of general logic programs

This page was built for publication: On the declarative and procedural semantics of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823724)