On the declarative and procedural semantics of logic programs

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

Recommendations

scientific article; zbMATH DE number 517019
A closer look at declarative interpretations
The well-founded semantics for general logic programs
A procedural semantics for well-founded negation in logic programs
A uniform approach to logic programming semantics

Cited in

(44)

S-semantics for logic programming: a retrospective look
A note on the stable model semantics for logic programs
General logical databases and programs: Default logic semantics and stratification
Acyclic logic programs and the completeness of SLDNF-resolution
Three-valued nonmonotonic formalisms and semantics of logic programs
Complete extension of general logic programs
A logic of knowledge and justified assumption
A three-valued semantics for deductive databases and logic programs
What is failure? An approach to constructive negation
Logic programs as compact denotations.
Towards a logical semantics for pure Prolog
Well-founded and stationary models of logic programs
Propositional semantics for disjunctive logic programs
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Modular materialisation of Datalog programs
Tight semantics for logic programs
On inductive proofs by extended unfold/fold transformation rules
scientific article; zbMATH DE number 4199656 (Why is no real title available?)
Theoretical Foundations and Semantics of Logic Programming
scientific article; zbMATH DE number 4057489 (Why is no real title available?)
scientific article; zbMATH DE number 4125378 (Why is no real title available?)
scientific article; zbMATH DE number 517019 (Why is no real title available?)
Semantics of structured normal logic programs
scientific article; zbMATH DE number 1746028 (Why is no real title available?)
Declarative Logic Programming: Theory, Systems, and Applications
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
scientific article; zbMATH DE number 2176655 (Why is no real title available?)
Extending Logic Programming with Labelled Variables: Model and Semantics
A computable semantics for general logic programs
On the coincidence of semantics for uniquely determined programs
scientific article; zbMATH DE number 1407682 (Why is no real title available?)
Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
Enhancing magic sets with an application to ontological reasoning
On intuitionistic query answering in description bases
scientific article; zbMATH DE number 2237358 (Why is no real title available?)
On the semantics of deliberation in IndiGolog -- from theory to implementation
S-semantics -- an example
Layerings of logic programs -- layer decomposable semantics and incremental model computation
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
Prolegomena to logic programming for non-monotonic reasoning
The semantics of incomplete databases as an expression of preferences
Combining event calculus and description logic reasoning via logic programming
Semantic-based construction of arguments: an answer set programming approach
Declarative modeling of the operational behavior of logic languages

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)