scientific article; zbMATH DE number 1503641
From MaRDI portal
Publication:4501807
zbMath0948.68169MaRDI QIDQ4501807
Publication date: 10 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)
Related Items (14)
Modular semantics for theories: an approach to paraconsistent reasoning ⋮ A Logic Framework for P2P Deductive Databases ⋮ Unnamed Item ⋮ A QBF-based formalization of abstract argumentation semantics ⋮ Minimal change: relevance and recovery revisited ⋮ Judgment aggregation in nonmonotonic logic ⋮ A structuralist theory of belief revision ⋮ Learning to apply theory of mind ⋮ A tableaux calculus for default intuitionistic logic ⋮ Proving quantified literals in defeasible logic ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ More on representation theory for default logic ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
This page was built for publication:
