Here and there among logics for logic programming

DOI10.1007/978-3-642-30743-0_7MaRDI QIDQ2900511zbMATH OpenOpenAlexFDO

Authors Alexander Bochman

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_7

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• From here to there: Stable negation in logic programming
• Logic programming and knowledge representation---The A-Prolog perspective
• scientific article; zbMATH DE number 1368933
• A logical foundation for logic programming II: Semantics of general logic programs
• scientific article; zbMATH DE number 1114052

Cites work

• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• A logical foundation for logic programming II: Semantics of general logic programs
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Characterization of strongly equivalent logic programs in intermediate logics
• Equilibrium logic
• Explanatory Nonmonotonic Reasoning
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Logic in nonmonotonic reasoning
• Making prolog more expressive
• Nested expressions in logic programs
• Propositional theories are strongly equivalent to logic programs
• Reasoning with logical bilattices
• Strongly equivalent logic programs

Cited in

(2)

• Lower bound founded logic of here-and-there
• Cut-free formulations for a quantified logic of here and there

This page was built for publication: Here and there among logics for logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900511)