Search results for "belief revision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Dongmo Zhang	Properties of Iterated Multiple Belief Revision.	LPNMR	2004	DBLP DOI BibTeX RDF	Iterated belief revision, multiple belief revision, belief revision
4	Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen	Accommodative Belief Revision.	JELIA	2008	DBLP DOI BibTeX RDF	non-prioritized belief revision, knowledge, integrity constraints, belief revision, belief change
4	Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong	Belief revision and possibilistic logic for adaptive information filtering agents.	ICTAI	2000	DBLP DOI BibTeX RDF	adaptive information filtering agents, adaptive information agents, explanatory power, learning autonomy, logic based framework, AGM belief revision, filtering components, Internet, information retrieval, learning (artificial intelligence), software agents, adaptive systems, belief revision, information overload, possibility theory, information agents, semantic relationships, possibilistic logic, belief maintenance, information objects
3	Omar Doukari, Eric Würbel, Robert Jeansoulin	Distance-Based Semantics for C-Structure Belief Revision.	ECSQARU	2009	DBLP DOI BibTeX RDF	C-structure model, systems of spheres, Belief revision
3	Hai H. Nguyen	Belief Revision in a Fact-Rule Agent's Belief Base.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Rule contraction, Rule-based agents, Belief revision
3	Hans Rott	A New Psychologism in Logic? Reflections from the Point of View of Belief Revision.	Studia Logica	2008	DBLP DOI BibTeX RDF	doxastic states, logic, Psychologism, belief revision, normativity, belief change
3	Raymond Y. K. Lau, Peter D. Bruza, Dawei Song	Towards a belief-revision-based adaptive and context-sensitive information retrieval system.	ACM Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF	retrieval context, text mining, information flow, Belief revision, adaptive information retrieval
3	Natasha Alechina, Mark Jago, Brian Logan	Preference-based belief revision for rule-based agents.	Synthese	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
3	Alexandru Baltag, Sonja Smets	Probabilistic dynamic belief revision.	Synthese	2008	DBLP DOI BibTeX RDF	Conditional belief, Popper functions, Belief revision, Dynamic-epistemic logic
3	Jan van Eijck, Yanjing Wang	Propositional Dynamic Logic as a Logic of Belief Revision.	WoLLIC	2008	DBLP DOI BibTeX RDF	PDL, epistemic dynamic logic, knowledge update, belief revision
3	Dongmo Zhang, Yan Zhang	Logical Properties of Belief-Revision-Based Bargaining Solution.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	bargaining theory, belief revision, automated negotiation
3	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan	Belief revision for AgentSpeak agents.	AAMAS	2006	DBLP DOI BibTeX RDF	AgentSpeak, Jason, belief revision, BDI
3	Bernard Walliser, Denis Zwirn, Hervé Zwirn	Abductive Logics in a Belief Revision Framework.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	explanation, belief revision, Abduction, non-monotonic reasoning
3	Seung Hwan Kang, Sim Kim Lau	Ontology Revision Using the Concept of Belief Revision.	KES	2004	DBLP DOI BibTeX RDF	Ontology Revision, Ontology, Belief Revision, The Semantic Web
3	Seung Hwan Kang, Sim Kim Lau	Ontology Revision Using the Concept of Belief Revision.	KES	2004	DBLP DOI BibTeX RDF	Ontology Revision, Ontology, Belief Revision, the Semantic Web
3	Raymond Y. K. Lau, Peter Bruza, Dawei Song	Belief revision for adaptive information retrieval.	SIGIR	2004	DBLP DOI BibTeX RDF	IR context, logic-based IR, belief revision
3	Raymond Y. K. Lau, Peter van den Brand	Belief Revision and Text Mining for Adaptive Recommender Agents.	ISMIS	2003	DBLP DOI BibTeX RDF	Text Mining, Belief Revision, Recommender Agents
3	K. Suzanne Barber, Joonoo Kim	Belief Revision Process Based on Trust: Agents Evaluating Reputation of Information Sources.	Trust in Cyber-societies	2000	DBLP DOI BibTeX RDF	Multi-agent belief revision, reputation, trust management, Bayesian belief networks
3	Y. B. Karasik	Inventiveness as Belief Revision and a Heuristic Rule of Inventive Design.	IEA/AIE	2000	DBLP DOI BibTeX RDF	innovation modeling, computer aided inventive design, logics in artificial intelligence, belief revision
3	V. Sridhar, M. Narasimha Murty	Belief revision - an axiomatic approach.	Journal of Intelligent and Robotic Systems	1993	DBLP DOI BibTeX RDF	defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach
2	Alexandru Baltag, Sonja Smets	Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points.	WoLLIC	2009	DBLP DOI BibTeX RDF
2	Mary-Anne Williams	Evidence transmutations: gathering admissible evidence using belief revision.	ICAIL	2009	DBLP DOI BibTeX RDF	knowledge representation, belief revision, evidence
2	Yongning Tang, Guang Cheng, Zhiwei Xu, Ehab Al-Shaer	Community-base Fault Diagnosis Using Incremental Belief Revision.	NAS	2009	DBLP DOI BibTeX RDF
2	Li Li, Robert C. Koons, Jianjun Zhang	From the Logical Point of View: The Chain Store Paradox Revisited.	LORI	2009	DBLP DOI BibTeX RDF	Selten chainstore paradox, belief revision, situation theory
2	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision.	Studia Logica	2008	DBLP DOI BibTeX RDF	Representations of belief, logical omniscience, logical locality, belief dynamics, iterated revision, Gärdenfors postulates, framing effect, awareness, bounded rationality, rational choice theory
2	Omar Doukari, Robert Jeansoulin, Eric Würbel	A New Framework for Local Belief Revision.	MICAI	2008	DBLP DOI BibTeX RDF
2	Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger	Iterated Belief Revision in the Face of Uncertain Communication.	DALT	2008	DBLP DOI BibTeX RDF
2	Christoph Beierle, Gabriele Kern-Isberner	A Verified AsmL Implementation of Belief Revision.	ABZ	2008	DBLP DOI BibTeX RDF
2	Liannan Lin, Jinzhao Wu, Xiang Xu	Open Logic Based on Partial-Ordered Partition Model.	TASE	2008	DBLP DOI BibTeX RDF	open logic, requirements engineering, belief revision, Nonmonotonic logic, default reasoning
2	Julien Cojan, Jean Lieber	Conservative Adaptation in Metric Spaces.	ECCBR	2008	DBLP DOI BibTeX RDF	conservative adaptation, case representation, adaptation, belief revision, metric spaces
2	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
2	Eleonora Cresto	A Model for Structural Changes of Belief.	Studia Logica	2008	DBLP DOI BibTeX RDF	Supervaluations, AGM-theory, Radical belief changes, Belief revision
2	Seung Hwan Kang, Sim Kim Lau	Ontology Revision on the Semantic Web: Integration of belief revision theory.	HICSS	2007	DBLP DOI BibTeX RDF
2	Omar Doukari, Eric Würbel, Robert Jeansoulin	A New Model for Belief Representation and Belief Revision Based on Inconsistencies Locality.	ICTAI	2007	DBLP DOI BibTeX RDF
2	Amalia Amaya	Formal models of coherence and legal epistemology.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	Legal epistemology, Constraint satisfaction, Coherence, Belief revision
2	Giacomo Bonanno	Temporal Interaction of Information and Belief.	Studia Logica	2007	DBLP DOI BibTeX RDF	iterated belief revision, qualitative Bayes rule, plausibility ordering, information
2	Robert Demolombe, Maria del Pilar Pozos Parra	Belief Revision in the Situation Calculus Without Plausibility Levels.	ISMIS	2006	DBLP DOI BibTeX RDF
2	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan	Automating Belief Revision for AgentSpeak.	DALT	2006	DBLP DOI BibTeX RDF
2	Maurice Pagnucco	Knowledge Compilation for Belief Change.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	belief revision and update, common-sense reasoning, knowledge representation and reasoning
2	Yu Sun, Yuefei Sui, Zhiping Li	One Axiomatic System for the Ontology Revision.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Subsumption relation, Default inheritance, Ontologies, Belief revision
2	John Cantwell	A Formal Model of Multi-Agent Belief-Interaction.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	common announcements, belief revision, epistemic logic, dynamic logic, common knowledge
2	Ewa Madalinska-Bugaj, Witold Lukaszewicz	Belief Revision Revisited.	MICAI	2005	DBLP DOI BibTeX RDF
2	Natasha Alechina, Mark Jago, Brian Logan	Resource-Bounded Belief Revision and Contraction.	DALT	2005	DBLP DOI BibTeX RDF
2	Yulin Ding, Yan Zhang	A Logic Approach for LTL System Modification.	ISMIS	2005	DBLP DOI BibTeX RDF	belief revision and update, model checking, temporal reasoning, Logic for Artificial Intelligence, model update
2	John Cantwell	A Formal Model of Multi-Agent Belief-Interaction.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	common announcements, common knoweledge, belief revision, epistemic logic, dynamic logic
2	Dimitris Stavrinoudis, Michalis Nik Xenos, Pavlos Peppas, Dimitris Christodoulakis	Early Estimation of Users' Perception of Software Quality.	Software Quality Journal	2005	DBLP DOI BibTeX RDF	software quality measurements, users opinion, ISO9126, Groves System of Spheres, belief revision, quality characteristics
2	Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo	Reasoning About Requirements Evolution Using Clustered Belief Revision.	SBIA	2004	DBLP DOI BibTeX RDF
2	Fabio Paglieri, Cristiano Castelfranchi	Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS.	ArgMAS	2004	DBLP DOI BibTeX RDF
2	Pei Yang, Yang Gao 0001, Zhaoqian Chen, Shifu Chen	Believability Based Iterated Belief Revision.	PRICAI	2004	DBLP DOI BibTeX RDF
2	Raymond Y. K. Lau, Siu Y. Chan	Towards Belief Revision Logic Based Adaptive and Persuasive Negotiation Agents.	PRICAI	2004	DBLP DOI BibTeX RDF
2	Guillaume Aucher	A Combined System for Update Logic and Belief Revision.	PRIMA	2004	DBLP DOI BibTeX RDF
2	Kevin Lee, Thomas Andreas Meyer	A Classification of Ontology Modification.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Ontologies, Description Logics, Belief Revision
2	Aizhong Lin, Igor Hawryszkiewycz, Brian Henderson-Sellers	Agent Interaction Management and Application in a Virtual Collaborative Environment.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Agent Interaction Management, Agent Business Relationship, Agent Belief Revision, Agent, Agent Interaction, Agent Interaction Protocol
2	M. Jamshid Bagherzadeh, S. Arun-Kumar	Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.	LPAR	2004	DBLP DOI BibTeX RDF	proof method, multi-agent systems, resolution, belief revision, multi-modal logic
2	Churn-Jung Liau	Belief Reasoning, Revision and Fusion by Matrix Algebra.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Belief states, belief reasoning, belief fusion, multi-agent systems, matrix algebra, belief revision
2	Yang Gao 0001, Zhaochun Sun, Ning Li	How to Choose the Optimal Policy in Multi-agent Belief Revision?	RSFDGrC	2003	DBLP DOI BibTeX RDF
2	Raymond Y. K. Lau, Brant Essam, Siu Y. Chan, Zi Huang	Belief Revision for Adaptive Negotiation Agents.	IAT	2003	DBLP DOI BibTeX RDF
2	Raymond Y. K. Lau	Context Sensitive Text Mining and Belief Revision for Adaptive Information Retrieval.	Web Intelligence	2003	DBLP DOI BibTeX RDF
2	Raymond Y. K. Lau	Belief Revision for Adaptive Recommender Agents in E-commerce.	IDEAL	2003	DBLP DOI BibTeX RDF
2	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Insu Song, Pushkar Piggott	Modelling Message Handling System.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Belief revision and update, Ontology, Intelligent agents, Applications, Knowledge acquisition, Knowledge discovery and data mining
2	Churn-Jung Liau	Epistemic Logics for Information Fusion.	ECSQARU	2003	DBLP DOI BibTeX RDF	belief fusion, majority merging, general merging, multi-agent systems, belief revision, epistemic logic, arbitration, database merging
2	James P. Delgrande, Aaron Hunter, Torsten Schaub	COBA: A Consistency-Based Belief Revision System.	JELIA	2002	DBLP DOI BibTeX RDF
2	Gabriele Kern-Isberner	The Principle of Conditional Preservation in Belief Revision.	FoIKS	2002	DBLP DOI BibTeX RDF
2	Ken Satoh, Keiji Yamamoto	Speculative computation with multi-agent belief revision.	AAMAS	2002	DBLP DOI BibTeX RDF
2	César F. Pimentel, Maria R. Cravo	Extending SNePSwD with Permissive Belief Revision.	ICCS	2002	DBLP DOI BibTeX RDF
2	Dongmo Zhang, Norman Y. Foo	Convergency of Learning Process.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	iterated belief change, Belief revision, learning process
2	Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins	Permissive Belief Revision.	EPIA	2001	DBLP DOI BibTeX RDF
2	Benedita Malheiro, Eugenio Oliveira	Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems.	EPIA	2001	DBLP DOI BibTeX RDF
2	Evelina Lamma, Luís Moniz Pereira, Fabrizio Riguzzi	Belief Revision by Lamarckian Evolution.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
2	Didier Dubois	Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
2	Laura Giordano, Valentina Gliozzi, Nicola Olivetti	Belief Revision and the Ramsey Test: A Solution.	AI*IA	2001	DBLP DOI BibTeX RDF
2	Giorgos Flouris, Dimitris Plexousakis	On the Use of Matrices for Belief Revision.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
2	Sandra Roger 0001	Belief Revision on Anaphora Resolution.	CICLing	2001	DBLP DOI BibTeX RDF
2	Benedita Malheiro, Eugenio Oliveira	Solving Conflicting Beliefs with a Distributed Belief Revision Approach.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
2	Paolo Penna	Succinct Representations of Model Based Belief Revision.	STACS	2000	DBLP DOI BibTeX RDF
2	John K. Debenham	Reasoning and Belief Revision in an Agent for Emergent Process Management.	IEA/AIE	2000	DBLP DOI BibTeX RDF
2	David E. Losada, Alvaro Barreiro	Retrieval Situations and Belief Change. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	retrieval situations, situational aspects, relevance test, belief revision operator, retrieval simulation, information retrieval, belief change, information retrieval models, logical representation
2	Didar Zowghi	A Requirements Engineering Process Model Based on Defaults and Revisions. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	requirements engineering process model, artificial intelligence, systems analysis, belief revision, requirements modelling, nonmonotonic logic, default reasoning, formal framework
2	David E. Losada, Alvaro Barreiro	Implementing Document Ranking within a Logical Framework. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	expressive representations, unrestricted propositional formulas, partial document descriptions, information retrieval, belief revision, logical framework, logical model, document ranking, belief maintenance, vector representation
2	Wei Liu, Mary-Anne Williams	A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
2	Gabriele Kern-Isberner	Following Conditional Structures of Knowledge.	KI	1999	DBLP DOI BibTeX RDF	Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals
2	Ján Sefránek	Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning
2	Laura Giordano, Valentina Gliozzi, Nicola Olivetti	A Conditional Logic for Belief Revision.	JELIA	1998	DBLP DOI BibTeX RDF
2	Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais	Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.	AIMSA	1998	DBLP DOI BibTeX RDF
2	Pawel Jachowicz, Randy Goebel	Describing Plan Recognition as Nonmonotonic Reasoning and Belief Revision.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
2	Paolo Liberatore	The Complexity of Iterated Belief Revision.	ICDT	1997	DBLP DOI BibTeX RDF
2	Didar Zowghi, Ray Offen	A Logical Framework for Modeling and Reasoning About the Evolution of Requirements. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution
2	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
2	Kristian G. Olesen	Causal Probabilistic Networks with Both Discrete and Continuous Variables.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	discrete variables, causal probabilistic networks, expert system shell, handling uncertainty by general influence networks, HUGIN, continuous variables, linear additive normally distributed variables, expert systems, knowledge acquisition, knowledge acquisition, inference mechanisms, belief revision, probabilistic reasoning, uncertainty handling
2	Emil Weydert	Doxastic Preference Logic: A New Look at Belief Revision.	JELIA	1990	DBLP DOI BibTeX RDF
2	João P. Martins	Computational issues in belief revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
2	Krzysztof R. Apt, Jean-Marc Pugin	Maintenance of Stratified Databases Viewed as a Belief Revision System.	PODS	1987	DBLP DOI BibTeX RDF
1	Shangmin Luan, Guozhong Dai, Lorenzo Magnani	An approximate approach to belief revision.	Logic Journal of the IGPL	2012	DBLP DOI BibTeX RDF
1	James P. Delgrande, Yi Jin	Parallel belief revision: Revising by sets of formulas.	Artif. Intell.	2012	DBLP DOI BibTeX RDF
1	Marcelo A. Falappa, Alejandro Javier García, Gabriele Kern-Isberner, Guillermo Ricardo Simari	On the evolving relation between Belief Revision and Argumentation.	Knowledge Eng. Review	2011	DBLP DOI BibTeX RDF
1	Holger Andreas	A Structuralist Theory of Belief Revision.	Journal of Logic, Language and Information	2011	DBLP DOI BibTeX RDF
1	Krister Segerberg	In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic.	Proof, Computation and Agency	2011	DBLP DOI BibTeX RDF
1	Pierre Marquis, Nicolas Schwind	Lost in Translation: Language Independence in Propositional Logic Application to Belief Revision and Belief Merging.	IJCAI	2011	DBLP BibTeX RDF
1	Paulo T. Guerra, Renata Wassermann	Belief Revision on Computation Tree Logic.	IJCAI	2011	DBLP BibTeX RDF