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

(20)

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

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)