Belief revision with unreliable observations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A sequential reversible belief revision method based on polynomials
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Iterated belief change in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Journal of Logic, Language and Information
Infobase Change: A First Approximation
Journal of Logic, Language and Information
Belief Fusion: Aggregating Pedigreed Belief States
Journal of Logic, Language and Information
The learning power of belief revision
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Logic Programming Updating - A Guided Approach
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Convergency of Learning Process
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
On a Linear Representation Theory for Quantitative Belief Change
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Principle of Conditional Preservation in Belief Revision
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Representing and Learning Conditional Information in Possibility Theory
Proceedings of the International Conference, 7th Fuzzy Days on Computational Intelligence, Theory and Applications
Considerations on Updates of Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Filtering vs Revision and Update: Let Us Debate!
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Handling Conditionals Adequately in Uncertain Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Belief Revision Process Based on Trust: Agents Evaluating Reputation of Information Sources
Proceedings of the workshop on Deception, Fraud, and Trust in Agent Societies held during the Autonomous Agents Conference: Trust in Cyber-societies, Integrating the Human and Artificial Perspectives
Following Conditional Structures of Knowledge
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Belief Revision and the Ramsey Test: A Solution
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
Dynamic belief revision operators
Artificial Intelligence
Iterated abduction and conditional coherence
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Concurrent dynamic epistemic logic for MAS
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A programmable approach to maintenance of a finite knowledge base
Journal of Computer Science and Technology
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision
Annals of Mathematics and Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
The Knowledge Engineering Review
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on nonmonotonic reasoning
A Logical Approach for Describing (Dis)Belief Change and Message Processing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Abductive logics in a belief revision framework
Journal of Logic, Language and Information
On the revision of probabilistic beliefs using uncertain evidence
Artificial Intelligence
Matrix representation of belief states: an algebraic semantics for belief logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Belief models: An order-theoretic investigation
Annals of Mathematics and Artificial Intelligence
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Weak AGM postulates and strong Ramsey Test: a logical formalization
Artificial Intelligence
Ranking functions and rankings on languages
Artificial Intelligence
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Iterated belief revision, revised
Artificial Intelligence
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Commonsense reasoning by distance semantics
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
The measurement of ranks and the laws of iterated contraction
Artificial Intelligence
A Verified AsmL Implementation of Belief Revision
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
From Belief Change to Preference Change
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A General Model for Epistemic State Revision using Plausibility Measures
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Using Transfinite Ordinal Conditional Functions
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Belief change in the context of fallible actions and observations
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
An egalitarist fusion of incommensurable ranked belief bases under constraints
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Belief change and cryptographic protocol verification
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Mutual belief revision: semantics and computation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A semantic approach for iterated revision in possibilistic logic
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Revising imprecise probabilistic beliefs in the framework of probabilistic logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
Ordinal and probabilistic representations of acceptance
Journal of Artificial Intelligence Research
Admissible and restrained revision
Journal of Artificial Intelligence Research
Modeling belief in dynamic systems part II: revision and update
Journal of Artificial Intelligence Research
Postulates for conditional belief revision
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Iterated belief contraction from first principles
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the revision of probabilistic beliefs using uncertain evidence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Revision of partially ordered information: axiomatization, semantics and iteration
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reconstructing an agent's epistemic state from observations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief change: a transition system approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the revision of probabilistic beliefs using uncertain evidence
Artificial Intelligence
Ranking functions and rankings on languages
Artificial Intelligence
Weak AGM postulates and strong Ramsey Test: A logical formalization
Artificial Intelligence
Stream Reasoning: A Survey and Further Research Directions
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Two Approaches to Iterated Belief Contraction
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
A sketch of a dynamic epistemic semiring
Information and Computation
Modelling conditional knowledge discovery and belief revision by abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
On the use of matrices for belief revision
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
On a linear framework for belief dynamics in multi-agent environments
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A theory of contextual propositions for indicatives
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule
Fundamenta Informaticae - Methodologies for Intelligent Systems
A conceptual agent model based on a uniform approach to various belief operations
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Double preference relations for generalised belief change
Artificial Intelligence
Preference change triggered by belief change: a principled approach
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part II
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Iterated belief change in the situation calculus
Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
AGM belief revision in dynamic games
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Iterated belief change due to actions and observations
Journal of Artificial Intelligence Research
A framework for managing uncertain inputs: An axiomization of rewarding
International Journal of Approximate Reasoning
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Logic-based fusion of complex epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
NO Revision and NO Contraction
Minds and Machines
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A change model for credibility partial order
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Parallel belief revision: Revising by sets of formulas
Artificial Intelligence
(Dis)Belief change based on messages processing
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A computational approach for belief change
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Taking Levi identity seriously: a plea for iterated belief contraction
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Introduction to inconsistency tolerance
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Revising beliefs on the basis of evidence
International Journal of Approximate Reasoning
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Acceptance, conditionals, and belief revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Projective default epistemology
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
On the logic of iterated non-prioritised revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Revising by an inconsistent set of formulas
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Considerations on belief revision in an action theory
Correct Reasoning
Actions, preferences, and logic programs
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Making revision reversible: an approach based on polynomials
Fundamenta Informaticae
Revision over partial pre-orders: a postulational study
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A decomposition based algorithm for maximal contractions
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |