scientific article; zbMATH DE number 1503641

MaRDI QIDQ4501807zbMATHFDO

Authors Grigoris Antoniou

Publication date 10 September 2000

zbMATH Keywords

nonmonotonic reasoning

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)

Cited in

(19)

• A tableaux calculus for default intuitionistic logic
• Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
• A logic framework for P2P deductive databases
• Learning to apply theory of mind
• Judgment aggregation in nonmonotonic logic
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• scientific article; zbMATH DE number 1628513 (Why is no real title available?)
• Modular semantics for theories: an approach to paraconsistent reasoning
• scientific article; zbMATH DE number 1884397 (Why is no real title available?)
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Proving quantified literals in defeasible logic
• Minimal change: relevance and recovery revisited
• A QBF-based formalization of abstract argumentation semantics
• A structuralist theory of belief revision
• Uniform semantic treatment of default and autoepistemic logics
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 7450023 (Why is no real title available?)
• More on representation theory for default logic

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)