scientific article; zbMATH DE number 1503641

MaRDI QIDQ4501807zbMATH OpenFDO

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

(22)

• Learning to apply theory of mind
• Modular semantics for theories: an approach to paraconsistent reasoning
• Proving quantified literals in defeasible logic
• Uniform semantic treatment of default and autoepistemic logics
• More on representation theory for default logic
• Judgment aggregation in nonmonotonic logic
• Structured argumentation dynamics. Undermining attacks in default justification logic
• A tableaux calculus for default intuitionistic logic
• A QBF-based formalization of abstract argumentation semantics
• scientific article; zbMATH DE number 1628513 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• 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 1884397 (Why is no real title available?)
• Minimal change: relevance and recovery revisited
• An algebraic approach for action based default reasoning
• A logic framework for P2P deductive databases
• Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
• A structuralist theory of belief revision
• Hypersequent calculi for propositional default logics
• Increasingness of binary operations on trellises
• 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)