Pages that link to "Item:Q3718131"
From MaRDI portal
The following pages link to A kripke-kleene semantics for logic programs* (Q3718131):
Displaying 50 items.
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- Borderline vs. unknown: comparing three-valued representations of imperfect information (Q465586) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Three-valued completion for abductive logic programs (Q671511) (← links)
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- Abstract interpretation: a kind of magic (Q673498) (← links)
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Legality concepts for three-valued logic programs (Q689286) (← links)
- A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete (Q689290) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Strict completion of logic programs (Q751309) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Programming in three-valued logic (Q753474) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Implementing constructive intensional negation (Q839831) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Protected completions of first-order general logic programs (Q911800) (← links)
- A first order logic for partial functions (Q918965) (← links)
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Partial models and logic programming (Q1094151) (← links)
- On the relationship between circumscription and negation as failure (Q1115207) (← links)
- Bilattices and the theory of truth (Q1123891) (← links)
- A rewrite mechanism for logic programs with negation (Q1127337) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- A simple fixed point characterization of three-valued stable model semantics (Q1183439) (← links)
- Complete extension of general logic programs (Q1190477) (← links)
- A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses (Q1193863) (← links)
- On the relations between stable and well-founded semantics of logic programs (Q1200977) (← links)
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- Theory of logic programming. An elementary introduction (Q1202019) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- Semantics of distributed definite clause programs (Q1262747) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- An implementation of Kripke-Kleene semantics (Q1292578) (← links)
- Logic programs, well-orderings, and forward chaining (Q1295428) (← links)
- A kind of logical compilation for knowledge bases (Q1331921) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Autoepistemic logic programming (Q1344887) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs (Q1350529) (← links)
- Formalizing a logic for logic programming (Q1354044) (← links)
- A theory of truth that prefers falsehood (Q1366760) (← links)
