Systems and Implementations for Solving Reasoning Problems in Conditional Logics

DOI10.1007/978-3-319-30024-5_5zbMATH Open1475.68365OpenAlexW2460476317MaRDI QIDQ2807073FDOQ2807073

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (7)

• 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
• Title not available (Why is that?)

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)