Reasoning credulously and skeptically within a single extension

DOI10.3166/jancl.12.259-285zbMath1060.68118OpenAlexW2059970836MaRDI QIDQ4453904

James P. Delgrande, Torsten Schaub

Publication date: 7 March 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.259-285

zbMATH Keywords

default logicnonmonotonic reasoningskeptical reasoningtaggingcredulous reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Uses Software

• Smodels

Cites Work

• Semantical considerations on nonmonotonic logic
• A theory of diagnosis from first principles
• A logical framework for default reasoning
• A logic for default reasoning
• Expressing preferences in default logic

This page was built for publication: Reasoning credulously and skeptically within a single extension