Symbolic Possibilistic Logic: Completeness and Inference Methods
From MaRDI portal
Publication:3451208
DOI10.1007/978-3-319-20807-7_44zbMath1465.68236OpenAlexW2408238524MaRDI QIDQ3451208
Dubois, Didier, Fayçal Touazi, Claudette Cayrol
Publication date: 10 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://oatao.univ-toulouse.fr/15404/1/cayrol_15404.pdf
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Possibilistic reasoning with partially ordered beliefs, Qualitative conditioning in an interval-based possibilistic setting
Cites Work
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Reasoning with partially ordered information in a possibilistic logic framework
- A theory of diagnosis from first principles
- Nonmonotonic reasoning, conditional objects and possibility theory
- Conditional Preference Nets and Possibilistic Logic
- Theory and Applications of Satisfiability Testing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item