Search results for "Revision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Dongmo Zhang	Properties of Iterated Multiple Belief Revision.	LPNMR	2004	DBLP DOI BibTeX RDF	Iterated belief revision, multiple belief revision, belief revision
102	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
102	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
92	V. Wiktor Marek, Miroslaw Truszczynski	Revision Specifications by Means of Programs.	JELIA	1994	DBLP DOI BibTeX RDF
91	Anurag Maskey, Mitch Cherniack	Replay-based approaches to revision processing in stream query engines.	SSPS	2008	DBLP DOI BibTeX RDF	revision processing, streams, corrections, revisions
84	César F. Pimentel, Maria R. Cravo	Extending SNePSwD with Permissive Belief Revision.	ICCS	2002	DBLP DOI BibTeX RDF
83	Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle	Revision of Non-Monotonic Theories.	JELIA	1994	DBLP DOI BibTeX RDF	Logic Programming, Revision, Non-monotonic Reasoning
78	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
76	Guilin Qi, Qiu Ji, Peter Haase 0001	A Conflict-Based Operator for Mapping Revision.	ISWC	2009	DBLP DOI BibTeX RDF
76	Gabriele Kern-Isberner	The Principle of Conditional Preservation in Belief Revision.	FoIKS	2002	DBLP DOI BibTeX RDF
76	Richard Booth 0001	On the Logic of Iterated Non-prioritised Revision.	WCII	2002	DBLP DOI BibTeX RDF
76	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski	Annotated Revision Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
72	Richard W. Selby	Enabling Reuse-Based Software Development of Large-Scale Systems.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	empirical study, software metrics, Software reuse, experimentation, software measurement, large-scale systems, mining software repositories, software faults, software changes
70	Richard Booth 0001, Eva Richter	On Revising Fuzzy Belief Bases.	Stud Logica	2005	DBLP DOI BibTeX RDF	base revision, partial meet, fuzzy logic, Belief revision
68	Ana Luísa Duboc, Aline Paes, Gerson Zaverucha	Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.	ILP	2008	DBLP DOI BibTeX RDF
68	Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán	New Revision Algorithms.	ALT	2004	DBLP DOI BibTeX RDF
68	Pei Yang, Yang Gao 0001, Zhaoqian Chen, Shifu Chen	Believability Based Iterated Belief Revision.	PRICAI	2004	DBLP DOI BibTeX RDF
68	Sébastien Konieczny, Ramón Pino Pérez	Some Operators for Iterated Revision.	ECSQARU	2001	DBLP DOI BibTeX RDF
68	Stefan Wrobel	On the Proper Definition of Minimality in Specialization and Theory Revision.	ECML	1993	DBLP DOI BibTeX RDF
67	Omar Doukari, Éric 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
67	Natasha Alechina, Mark Jago, Brian Logan 0001	Preference-based belief revision for rule-based agents.	Synth.	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
67	Yu Sun 0005, 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
67	Mahat Khelfallah, Belaid Benhamou	Two Revision Methods Based on Constraints: Application to a Flooding Problem.	AISC	2004	DBLP DOI BibTeX RDF	Linear constraints, Geographic information, Revision
66	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
63	Björn Hartmann, Sean Follmer, Antonio Ricciardi, Timothy Cardenas, Scott R. Klemmer	d.note: revising user interfaces through change tracking, annotations, and alternatives.	CHI	2010	DBLP DOI BibTeX RDF	interaction design tools, prototyping, annotation, revision
60	Mariette Sérayet, Pierre Drap, Odile Papini	Encoding the Revision of Partially Preordered Information in Answer Set Programming.	ECSQARU	2009	DBLP DOI BibTeX RDF
60	Guilin Qi, Peter Haase 0001, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna Völker	A Kernel Revision Operator for Terminologies - Algorithms and Evaluation.	ISWC	2008	DBLP DOI BibTeX RDF
60	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	RR	2008	DBLP DOI BibTeX RDF
60	Yisong Wang, Mingyi Zhang 0002	Revision Programs with Explicit Negation.	ICTAC	2004	DBLP DOI BibTeX RDF
60	Chan Le Duc, Nhan Le Thanh	Combining Revision Production Rules and Description Logics.	KES	2003	DBLP DOI BibTeX RDF
60	João C. P. da Silva, Sheila R. M. Veloso	Representing Belief Revision through Default Theories.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
60	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski	Revision Programming = Logic Programming + Integrity Constraints.	CSL	1998	DBLP DOI BibTeX RDF
59	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision.	Stud 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
59	Dongmo Zhang, Yan Zhang 0003	Logical Properties of Belief-Revision-Based Bargaining Solution.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	bargaining theory, belief revision, automated negotiation
59	Raymond Y. K. Lau, Peter Bruza, Dawei Song 0001	Belief revision for adaptive information retrieval.	SIGIR	2004	DBLP DOI BibTeX RDF	IR context, logic-based IR, belief revision
57	Seung Hwan Kang, Sim Kim Lau	Ontology Revision on the Semantic Web: Integration of belief revision theory.	HICSS	2007	DBLP DOI BibTeX RDF
56	Gerhard Schurz	Abductive Belief Revision in Science.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
56	Caroline Semmling, Heinrich Wansing	Reasoning About Belief Revision.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
56	Erik J. Olsson	Functional vs. Relational Approaches to Belief Revision.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
56	Paul Thagard, Scott Findlay	Changing Minds About Climate Change: Belief Revision, Coherence, and Emotion.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
56	Bengt Hansson	A Note on Theory Change and Belief Revision.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
52	Omar Doukari, Robert Jeansoulin, Éric Würbel	A New Framework for Local Belief Revision.	MICAI	2008	DBLP DOI BibTeX RDF
52	Guilin Qi, Weiru Liu, David A. Bell	Knowledge Base Revision in Description Logics.	JELIA	2006	DBLP DOI BibTeX RDF
52	Fabio Paglieri, Cristiano Castelfranchi	Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS.	ArgMAS	2004	DBLP DOI BibTeX RDF
52	Andreas Herzig, Sébastien Konieczny, Laurent Perrussel	On Iterated Revision in the AGM Framework.	ECSQARU	2003	DBLP DOI BibTeX RDF
52	Yang Gao 0001, Zhaochun Sun, Ning Li	How to Choose the Optimal Policy in Multi-agent Belief Revision?	RSFDGrC	2003	DBLP DOI BibTeX RDF
52	James P. Delgrande, Aaron Hunter 0001, Torsten Schaub	COBA: A Consistency-Based Belief Revision System.	JELIA	2002	DBLP DOI BibTeX RDF
52	Benedita Malheiro, Eugénio Oliveira	Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems.	EPIA	2001	DBLP DOI BibTeX RDF
52	João P. Martins	Computational issues in belief revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
51	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
51	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
51	Raymond Y. K. Lau, Peter D. Bruza, Dawei Song 0001	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
51	Jean Lieber	Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation.	ICCBR	2007	DBLP DOI BibTeX RDF	knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning
51	Omar Doukari, Robert Jeansoulin	Space-contained conflict revision, for geographic information.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	Reiter diagnosis, local-to-global extension, belief revision
51	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001	Belief revision for AgentSpeak agents.	AAMAS	2006	DBLP DOI BibTeX RDF	AgentSpeak, Jason, belief revision, BDI
51	Robert Jeansoulin, Éric Würbel	An anytime revision operator for large and uncertain geographic data sets.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Geomatics, Geographic information systems, Belief revision, Approximate reasoning, Spatial constraints, Non-classical logics
51	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
51	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
51	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
51	V. Sridhar, M. Narasimha Murty	Belief revision - an axiomatic approach.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach
50	Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores	An Environment for the Collaborative Revision of Digital Theses.	CRIWG	2000	DBLP DOI BibTeX RDF	collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus
50	Raymond Lau 0001, 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
48	Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams	A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule.	ISMIS	2009	DBLP DOI BibTeX RDF
48	Michael D. Ekstrand, John Riedl	rv you're dumb: identifying discarded work in Wiki article history.	Int. Sym. Wikis	2009	DBLP DOI BibTeX RDF	article history, visualization, Wiki, Wikipedia
48	Richard Booth 0001, Thomas Andreas Meyer	On the Dynamics of Total Preorders: Revising Abstract Interval Orders.	ECSQARU	2007	DBLP DOI BibTeX RDF
48	K. Suzanne Barber, Joonoo Kim	Soft Security: Isolating Unreliable Agents from Society.	Trust, Reputation, and Security	2002	DBLP DOI BibTeX RDF
44	Luciano Caroprese, Miroslaw Truszczynski	Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.	JELIA	2008	DBLP DOI BibTeX RDF
44	Guilin Qi, Weiru Liu, David A. Bell	A revision-based approach to handling inconsistency in description logics.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Semantic web, Knowledge representation, Description logics, Stratification, Inconsistency handling
44	Guilin Qi, Weiru Liu, David A. Bell	Multiple Semi-revision in Possibilistic Logic.	ECSQARU	2005	DBLP DOI BibTeX RDF
44	César F. Pimentel, Maria R. Cravo	Affective Revision.	EPIA	2005	DBLP DOI BibTeX RDF
44	Yasuo Kudo, Tetsuya Murai	A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams.	KES	2004	DBLP DOI BibTeX RDF
44	Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel	An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS.	JELIA	2004	DBLP DOI BibTeX RDF
44	Ljupco Todorovski, Saso Dzeroski	Theory Revision in Equation Discovery.	Discovery Science	2001	DBLP DOI BibTeX RDF
44	Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins	Permissive Belief Revision.	EPIA	2001	DBLP DOI BibTeX RDF
44	Giorgos Flouris, Dimitris Plexousakis	On the Use of Matrices for Belief Revision.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
44	Paolo Liberatore	Compilability and compact representations of revision of Horn knowledge bases.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	compilability, compact representations
44	Benedita Malheiro, Eugénio Oliveira	Solving Conflicting Beliefs with a Distributed Belief Revision Approach.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
44	Nobuhiro Morita, Makoto Haraguchi, Yoshiaki Okubo	A Method of Similarity-Driven Knowledge Revision for Type Specializations.	ALT	1999	DBLP DOI BibTeX RDF
44	Cees Witteveen, Wiebe van der Hoek	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF
44	Li-Yan Yuan, Jia-Huai You	Knowledge Base Revision Using Circumscription.	DOOD	1993	DBLP DOI BibTeX RDF
44	Karl Schlechta	Some results on theory revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
44	Christopher W. Fraser, Eugene W. Myers	An Editor for Revision Control.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
44	Emmanuel J. Genot	The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Sven Ove Hansson	Changing the Scientific Corpus.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Peter Gärdenfors, Frank Zenker	Using Conceptual Spaces to Model the Dynamics of Empirical Theories.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Horacio L. Arló-Costa, Arthur Paul Pedersen	Social Norms, Rational Choice and Belief Change.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Isaac Levi	Knowledge as True Belief.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	David Westlund	Rational Belief Changes for Collective Agents.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Jonas Nilsson, Sten Lindström	Rationality in Flux - Formal Representations of Methodological Change.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Sebastian Enqvist	A Structuralist Framework for the Logic of Theory Change.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Hans Rott	Idealizations, Intertheory Explanations and Conditionals.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
44	Raúl Carnota, Ricardo Rodriguez	AGM Theory and Artificial Intelligence.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
43	Hans Rott	A New Psychologism in Logic? Reflections from the Point of View of Belief Revision.	Stud Logica	2008	DBLP DOI BibTeX RDF	doxastic states, logic, Psychologism, belief revision, normativity, belief change
43	Patrick Taillandier, Cécile Duchêne, Alexis Drogoul	Knowledge revision in systems based on an informed tree search strategy: application to cartographic generalisation.	CSTST	2008	DBLP DOI BibTeX RDF	cartographic generalisation, informed tree search strategy, knowledge revision, problem solving
43	Mikalai Sabel	Structuring wiki revision history.	Int. Sym. Wikis	2007	DBLP DOI BibTeX RDF	wiki, Wikipedia, revision history
43	Chris Parnin, Carsten Görg, Spencer Rugaber	Enriching revision history with interactions.	MSR	2006	DBLP DOI BibTeX RDF	data mining, interaction history, revision history
43	V. Benjamin Livshits, Thomas Zimmermann 0001	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
43	Florentino Fernández Riverola, Fernando Díaz 0001, Juan M. Corchado	Using Rough Sets Theory and Minimum Description Length Principle to Improve a beta-TSK Fuzzy Revision Method for CBR Systems.	SBIA	2004	DBLP DOI BibTeX RDF	TSK fuzzy models, automated revision stage, rough sets, minimum description length, CBR
43	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
42	Ronen Feldman, Yair Liberzon, Binyamin Rosenfeld, Yonatan Schler, Jonathan Stoppi	A framework for specifying explicit bias for revision of approximate information extraction rules.	KDD	2000	DBLP DOI BibTeX RDF	user guided revision, information extraction, text mining, theory revision