How to deal with unbelievable assertions

DOI10.1007/s10472-015-9493-3zbMath1396.03081OpenAlexW2261858877MaRDI QIDQ524943

Satu Eloranta, Matti Nykänen, Raul Hakli, Olli Niinivaara

Publication date: 27 April 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/177967

zbMATH Keywords

belief revisionargumentationconvictionsdialogue protocols

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Agent technology and artificial intelligence (68T42)

Cites Work

• Propositional relevance through letter-sharing
• Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
• Belief contraction without recovery
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• A survey of non-prioritized belief revision
• Selective revision
• Epistemology Without Knowledge and Without Belief
• Semi-revision
• Accommodative Belief Revision
• Propositional Interpolation and Abstract Interpretation
• A Protocol for Arguing About Rejections in Negotiation
• New Types of Inter-agent Dialogues
• How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
• Interpolant Strength
• On the logic of theory change: Partial meet contraction and revision functions
• Credibility limited revision
• Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
• Lower bounds for resolution and cutting plane proofs and monotone computations
• Properties and Complexity of Some Formal Inter-agent Dialogues
• Propositional information systems
• Principles and Practice of Constraint Programming – CP 2004
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: How to deal with unbelievable assertions