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)

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

(43)

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

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)