New tractable classes for default reasoning from conditional knowledge bases

DOI10.1007/S10472-005-9000-3zbMATH Open1110.68141OpenAlexW1997610677MaRDI QIDQ2502153FDOQ2502153

Authors: Berilhes Borges Garcia 

Publication date: 12 September 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-005-9000-3

Recommendations

• scientific article; zbMATH DE number 1759386
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• KI 2004: Advances in Artificial Intelligence
• Realizing Default Logic over Description Logic Knowledge Bases
• Publication:4934647
• Structural inference from conditional knowledge bases
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Using approximate reasoning to represent default knowledge
• scientific article
• A logic with approximate conditional probabilities that can model default reasoning

zbMATH Keywords

nonmonotonic reasoningtractable classeslexicographic semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Introduction to algorithms
• Title not available (Why is that?)
• The logic of conditionals. An application of probability to deductive logic
• Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
• Title not available (Why is that?)
• The complexity of theorem-proving procedures
• Nested satisfiability
• Nonmonotonic reasoning: From complexity to algorithms
• Title not available (Why is that?)
• Satisfiability of co-nested formulas
• Logic-based decision support. Mixed integer model formulation
• Another perspective on default reasoning
• Solving propositional satisfiability problems
• Title not available (Why is that?)
• Logic applied to integer programming and integer programming applied to logic
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Fourier-Motzkin elimination extension to integer programming problems

Cited In (2)

• Title not available (Why is that?)
• Default reasoning from conditional knowledge bases: Complexity and tractable cases

This page was built for publication: New tractable classes for default reasoning from conditional knowledge bases

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