Pages that link to "Item:Q1823724"

The following pages link to On the declarative and procedural semantics of logic programs (Q1823724):

Displaying 41 items.

• Semantics of structured normal logic programs (Q444364) (← links)
• On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477) (← links)
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
• The semantics of incomplete databases as an expression of preferences (Q753482) (← links)
• Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
• Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
• Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• A note on the stable model semantics for logic programs (Q1127348) (← links)
• General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
• Acyclic logic programs and the completeness of SLDNF-resolution (Q1177925) (← links)
• Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
• Complete extension of general logic programs (Q1190477) (← links)
• A logic of knowledge and justified assumption (Q1199920) (← links)
• A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
• What is failure? An approach to constructive negation (Q1346220) (← links)
• Logic programs as compact denotations. (Q1426046) (← links)
• Towards a logical semantics for pure Prolog (Q1818324) (← links)
• Well-founded and stationary models of logic programs (Q1924748) (← links)
• Propositional semantics for disjunctive logic programs (Q1924819) (← links)
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
• Modular materialisation of Datalog programs (Q2144176) (← links)
• Tight semantics for logic programs (Q2883086) (← links)
• On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
• (Q3348437) (← links)
• Theoretical Foundations and Semantics of Logic Programming (Q3578389) (← links)
• (Q3792665) (← links)
• (Q4205425) (← links)
• (Q4531974) (← links)
• Declarative Logic Programming: Theory, Systems, and Applications (Q4557745) (← links)
• Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
• Extending Logic Programming with Labelled Variables: Model and Semantics (Q4686514) (← links)
• A computable semantics for general logic programs (Q4730755) (← links)
• On the Coincidence of Semantics for Uniquely Determined Programs (Q4923373) (← links)
• (Q4940937) (← links)
• (Q5020560) (← links)
• Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
• On intuitionistic query answering in description bases (Q5210783) (← links)
• (Q5711171) (← links)
• S-semantics -- an example (Q6102251) (← links)
• Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)