Here and there among logics for logic programming

DOI10.1007/978-3-642-30743-0_7zbMATH Open1357.68027OpenAlexW104321364MaRDI QIDQ2900511FDOQ2900511

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• 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)