scientific article; zbMATH DE number 1503641
From MaRDI portal
zbMATH Open0948.68169MaRDI QIDQ4501807FDOQ4501807
Publication date: 10 September 2000
Title of this publication is not available (Why is that?)
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)
Cited In (18)
- Uniform semantic treatment of default and autoepistemic logics
- A QBF-based formalization of abstract argumentation semantics
- More on representation theory for default logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Logic Framework for P2P Deductive Databases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimal change: relevance and recovery revisited
- Title not available (Why is that?)
- Modular semantics for theories: an approach to paraconsistent reasoning
- Structured argumentation dynamics. Undermining attacks in default justification logic
- Proving quantified literals in defeasible logic
- A tableaux calculus for default intuitionistic logic
- Learning to apply theory of mind
- Judgment aggregation in nonmonotonic logic
- A structuralist theory of belief revision
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501807)
