What is failure? An approach to constructive negation

DOI10.1007/BF01185404zbMath0815.68036MaRDI QIDQ1346220

Włodzimierz Drabent

Publication date: 22 March 1995

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

constructive negation

Mathematics Subject Classification ID

68N17: Logic programming

Related Items

Constructive negation and constraint logic programming with sets, Semantics of structured normal logic programs, A functorial framework for constraint normal logic programming, An extended constraint deductive database: theory and implementation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strict completion of logic programs
• Equational problems and disunification
• A simple fixed point characterization of three-valued stable model semantics
• On the declarative and procedural semantics of logic programs
• A sound and complete semantics for a version of negation as failure
• A kripke-kleene semantics for logic programs*
• Complete logic programs with domain-closure axiom
• Negation in logic programming
• Tabulated resolution for the well-founded semantics
• Tight, consistent, and computable completions for unrestricted logic programs
• Proof method of partial correctness and weak completeness for normal logic programs
• The well-founded semantics for general logic programs
• Logic programming and negation: A survey
• A transformational approach to negation in logic programming