Systems and Implementations for Solving Reasoning Problems in Conditional Logics

DOI10.1007/978-3-319-30024-5_5MaRDI QIDQ2807073zbMATH OpenOpenAlexFDO

Authors C. Beierle

Publication date 19 May 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30024-5_5

Mathematics Subject Classification ID

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

Recommendations

• Conditional reasoning in logic programming
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A Gentzen system for conditional logic
• scientific article; zbMATH DE number 4090846
• scientific article; zbMATH DE number 1269577
• A logic programming system for nonmonotonic reasoning
• Approximate reasoning in several logic systems
• scientific article; zbMATH DE number 4130360
• CondLean: a theorem prover for conditional logics

Cited in

(9)

• A note on the rational closure of knowledge bases with both positive and negative knowledge
• A logical calculus for problem solving in highly structured application domains
• Rules reduction for knowledge representation systems
• When is argumentation deductive?
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)
• A Gentzen system for conditional logic
• Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
• A logical analysis of rule inconsistency
• scientific article; zbMATH DE number 1844501 (Why is no real title available?)

This page was built for publication: Systems and Implementations for Solving Reasoning Problems in Conditional Logics

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