Search results for "Revision"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Klaus Fochler, Andreas H. Schmidt, Rainer Paffrath	IT-Revision 3.0 - Herausforderungen für die interne IT-Revision.	HMD Prax. Wirtsch.	2013	DBLP BibTeX RDF
25	Oliver Christ, Christoph Weber, Toshihiko Sato	Evaluation of fostering students' creativity in preparing aided recalls for revision courses using electronic revision and recapitulation tools 2.0.	Behav. Inf. Technol.	2012	DBLP DOI BibTeX RDF
25	Emil Weydert	Conditional Ranking Revision - Iterated Revision with Sets of Conditionals.	J. Philos. Log.	2012	DBLP DOI BibTeX RDF
25	Hans Rott	Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision.	J. Philos. Log.	2012	DBLP DOI BibTeX RDF
25	Stephen H. Muggleton, Aline Paes, Vítor Santos Costa, Gerson Zaverucha	Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.	ILP	2009	DBLP DOI BibTeX RDF
25	Patrick Taillandier	Révision automatique des connaissances guidant l'exploration informée d'arbres d'états : application au contexte de la généralisation de données géographiques. (Automatic revision of knowledge guiding informed search tree exploration : application to the context of geographic data generalisation).		2008	RDF
25	Mauro Mazzieri, Aldo Franco Dragoni	Ontology Revision as Non-Prioritized Belief Revision.	ESOE	2007	DBLP BibTeX RDF
25	Moshe Looks, Ronald Prescott Loui, Barry Z. Cynamon	Dynamics of Rule Revision and Strategy Revision in Legislative Games.	JURIX	2005	DBLP BibTeX RDF
25	Seung Hwan Kang, Sim Kim Lau	A Framework of Ontology Revision on the Semantic Web: A Belief Revision Approach.	iiWAS	2005	DBLP BibTeX RDF
25	Seung Hwan Kang, Sim Kim Lau	The Use of the Belief Revision Concept to Ontology Revision.	PACIS	2004	DBLP BibTeX RDF
25	Dov M. Gabbay, Gabriella Pigozzi, John Woods 0001	Controlled Revision - An algorithmic approach for belief revision.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
25	Luc Poittevin	Un outil générique de conception et de révision coopérative de Bases de Connaissances s'appuyant sur la notion de situation. (A Knowledge Base Modelling and Cooperative Revision Tool based on the Concept of Situation).		1998	RDF
25	Aldo Franco Dragoni, Paolo Giorgini, Marco Baffetti	Distributed Belief Revision vs. Belief Revision in a Multi-Agent Environment: First Results of a Simulation Experiment.	MAAMAW	1997	DBLP DOI BibTeX RDF
25	Isabelle Crampé	Révision interactive dans une base de connaissance à objets. (Interactive revision in object-based knowledge bases).		1997	RDF
25	Cara MacNish, Mary-Anne Williams	From belief revision to design revision: Applying theory change to changing requirements.	PRICAI Workshops	1996	DBLP DOI BibTeX RDF
24	Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothian, Somayajulu Sripada, Luc Lamontagne	Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions.	ICCBR	2009	DBLP DOI BibTeX RDF
24	David E. Emery, Rich Hilliard	Updating IEEE 1471: Architecture Frameworks and Other Topics.	WICSA	2008	DBLP DOI BibTeX RDF	architectural concerns, architecture, standards, views, viewpoints, stakeholders, ISO, architectural description, architecture frameworks, IEEE
24	Timothy William Cleaver, Abdul Sattar 0001	Quantifying Commitment.	PRICAI	2008	DBLP DOI BibTeX RDF	Agents, Knowledge Representation, Reasoning
24	Aline Paes, Gerson Zaverucha, Vítor Santos Costa	Revising First-Order Logic Theories from Examples Through Stochastic Local Search.	ILP	2007	DBLP DOI BibTeX RDF
24	Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa	PFORTE: Revising Probabilistic FOL Theories.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
24	Gert de Cooman	Belief models: An order-theoretic investigation.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 03B05, 03B22, 03B48, 06A12, 60A05, 06A06
24	Bengt Carlsson, Dejan Baca	Software Security Analysis - Execution Phase Audit.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
24	James P. Delgrande, Torsten Schaub	Two Approaches to Merging Knowledge Bases.	JELIA	2004	DBLP DOI BibTeX RDF
24	Dongmo Zhang, Norman Y. Foo	Axiomatic Analysis of Negotiation Protocols.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
24	Pascal Leroy	An Invitation to Ada 2005.	Ada-Europe	2003	DBLP DOI BibTeX RDF
24	Mehdi Dastani, Leendert W. N. van der Torre	Specifying the Merging of Desires into Goals in the Context of Beliefs.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
24	Abhaya C. Nayak, Norman Y. Foo	Reasoning without Minimality.	PRICAI	1998	DBLP DOI BibTeX RDF
24	Mary-Anne Williams	On the Logic of Theory Base Change.	JELIA	1994	DBLP DOI BibTeX RDF
24	Fred A. Maymir-Ducharme	Ada 9X Real-Time Scheduling Alternatives.	Ada-Europe	1991	DBLP DOI BibTeX RDF
24	Nicholas Asher	Discourse representation theory and belief dynamics.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
23	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
23	Arnaud Gorgeon, E. Burton Swanson	Organizing the vision for web 2.0: a study of the evolution of the concept in Wikipedia.	Int. Sym. Wikis	2009	DBLP DOI BibTeX RDF	organization vision, web 2.0, Wikipedia, phases, revision history
23	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
23	Eleonora Cresto	A Model for Structural Changes of Belief.	Stud Logica	2008	DBLP DOI BibTeX RDF	Supervaluations, AGM-theory, Radical belief changes, Belief revision
23	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part I: The General Framework.	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
23	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
23	Julien Cojan, Jean Lieber	Conservative Adaptation in Metric Spaces.	ECCBR	2008	DBLP DOI BibTeX RDF	conservative adaptation, case representation, adaptation, belief revision, metric spaces
23	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
23	Giacomo Bonanno	Temporal Interaction of Information and Belief.	Stud Logica	2007	DBLP DOI BibTeX RDF	iterated belief revision, qualitative Bayes rule, plausibility ordering, information
23	Amalia Amaya	Formal models of coherence and legal epistemology.	Artif. Intell. Law	2007	DBLP DOI BibTeX RDF	Legal epistemology, Constraint satisfaction, Coherence, Belief revision
23	Roberto Therón, Antonio González Torres, Francisco José García-Peñalvo, Pablo Santos	The Use of Information Visualization to Support Software Configuration Management.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	Time line, Polyfocal display, Revision Tree, Interaction, Information visualization, Software Configuration Management (SCM), Focus + context
23	Neil Tennant	Contracting Intuitionistic Theories.	Stud Logica	2005	DBLP DOI BibTeX RDF	partial meet contraction, safe contraction, contraction, intuitionistic logic, revision, classical logic
23	Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch	Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.	Stud Logica	2005	DBLP DOI BibTeX RDF	Revision Theory, Circular Definitions, Inductive definitions
23	Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Belief Liberation (and Retraction).	Stud Logica	2005	DBLP DOI BibTeX RDF	AGM theory, withdrawal, Inclusion postulate, contraction, Belief revision
23	Dimitris Stavrinoudis, Michalis Nik Xenos, Pavlos Peppas, Dimitris Christodoulakis	Early Estimation of Users' Perception of Software Quality.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	software quality measurements, users opinion, ISO9126, Groves System of Spheres, belief revision, quality characteristics
23	Yulin Ding, Yan Zhang 0003	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
23	Peter Roeper	A Sequent Formulation of Conditional Logic Based on Belief Change Operations.	Stud Logica	2004	DBLP DOI BibTeX RDF	epistemic state, expansion, revision, belief change, conditional logic
23	Pearl Pu, Boi Faltings	Decision Tradeoff Using Example-Critiquing and Constraint Programming.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	constructive preference elicitation, preference revision, agile preference model, preference-based search, user-involved decision tradeoff, example critiquing interfaces, user studies, configuration, soft constraints, electronic catalogs
23	Aizhong Lin, Igor T. 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
23	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
23	Marcus Alanen, Ivan Porres	Difference and Union of Models.	UML	2003	DBLP DOI BibTeX RDF	delta calculation, revision control, UML, metamodelling
23	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
23	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
23	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
23	Didar Zowghi	A Requirements Engineering Process Model Based on Defaults and Revisions.	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
23	David E. Losada, Alvaro Barreiro	Implementing Document Ranking within a Logical Framework.	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
23	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
23	Didar Zowghi, Ray Offen	A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.	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
23	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
23	Cees Witteveen, Wiebe van der Hoek	Revising and Updating Using a Back-Up Semantics.	JELIA	1996	DBLP DOI BibTeX RDF	Updating, Nonmonotonic Reasoning, Theory Revision
23	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
20	Andrew G. West, Sampath Kannan, Insup Lee 0001	STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
20	Bryan O'Sullivan	Making sense of revision-control systems.	Commun. ACM	2009	DBLP DOI BibTeX RDF
20	Yongning Tang, Guang Cheng 0001, Zhiwei Xu 0001, Ehab Al-Shaer	Community-base Fault Diagnosis Using Incremental Belief Revision.	NAS	2009	DBLP DOI BibTeX RDF
20	José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.	Efficient Allocation of Verification Resources using Revision History Information.	DDECS	2008	DBLP DOI BibTeX RDF
20	François Fages, Sylvain Soliman	Model Revision from Temporal Logic Properties in Computational Systems Biology.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
20	Guido Governatori, Antonino Rotolo	Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.	DEON	2008	DBLP DOI BibTeX RDF
20	Jia-Jiunn Lo, Ying-Chieh Wang, Shiou-Wen Yeh	WRITE: Writing Revision Instrument for Teaching English.	Edutainment	2008	DBLP DOI BibTeX RDF	online annotation, error feedback, writing instruction, error correction, error analysis, computer assisted language learning (CALL)
20	Omar Doukari, Éric Würbel, Robert Jeansoulin	A New Model for Belief Representation and Belief Revision Based on Inconsistencies Locality.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
20	Éric Grégoire	Knowledge Refinement Through Revision.	IRI	2007	DBLP DOI BibTeX RDF
20	Robert Demolombe, Maria del Pilar Pozos Parra	Belief Revision in the Situation Calculus Without Plausibility Levels.	ISMIS	2006	DBLP DOI BibTeX RDF
20	Ewa Madalinska-Bugaj, Witold Lukaszewicz	Belief Revision Revisited.	MICAI	2005	DBLP DOI BibTeX RDF
20	Vinod Ramachandran, Ivan Vukovic	Performance analysis of CDMA 1x EV-DO revision A enhanced access channel.	MSWiM	2005	DBLP DOI BibTeX RDF	access channel, delay, throughput, collisions, backoff
20	Martine Ceberio, Hiroshi Hosobe, Ken Satoh	Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.	CLIMA	2005	DBLP DOI BibTeX RDF
20	Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo	Reasoning About Requirements Evolution Using Clustered Belief Revision.	SBIA	2004	DBLP DOI BibTeX RDF
20	Raymond Y. K. Lau, Siu Y. Chan	Towards Belief Revision Logic Based Adaptive and Persuasive Negotiation Agents.	PRICAI	2004	DBLP DOI BibTeX RDF
20	Guillaume Aucher	A Combined System for Update Logic and Belief Revision.	PRIMA	2004	DBLP DOI BibTeX RDF
20	Mohua Banerjee	Rough Truth, Consequence, Consistency and Belief Revision.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
20	Inna Pivkina, Enrico Pontelli, Tran Cao Son	Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.	CLIMA	2004	DBLP DOI BibTeX RDF
20	Andrea Bracciali, Paolo Torroni	A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction.	CLIMA	2004	DBLP DOI BibTeX RDF
20	Jun Zhou 0001, Walter F. Bischof, Terry Caelli	Understanding Human-Computer Interactions in Map Revision.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
20	Raymond Y. K. Lau	Belief Revision for Adaptive Recommender Agents in E-commerce.	IDEAL	2003	DBLP DOI BibTeX RDF
20	Christoph Beierle, Gabriele Kern-Isberner	Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
20	Raymond Y. K. Lau, Brant Essam, Siu Y. Chan, Zi Huang	Belief Revision for Adaptive Negotiation Agents.	IAT	2003	DBLP DOI BibTeX RDF
20	Fernanda Araújo Baião, Marta Mattoso, Jude W. Shavlik, Gerson Zaverucha	Applying Theory Revision to the Design of Distributed Databases.	ILP	2003	DBLP DOI BibTeX RDF
20	Michael Borth	Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems.	KI	2002	DBLP DOI BibTeX RDF
20	Ken Satoh, Keiji Yamamoto	Speculative computation with multi-agent belief revision.	AAMAS	2002	DBLP DOI BibTeX RDF
20	Sandra Roger 0001	Belief Revision on Anaphora Resolution.	CICLing	2001	DBLP DOI BibTeX RDF
20	Didier Dubois, Henri Prade, Philippe Smets	"Not Impossible" vs. "Guaranteed Possible" in Fusion and Revision.	ECSQARU	2001	DBLP DOI BibTeX RDF
20	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	An Analysis-Revision Cycle to Evolve Requirements Specifications.	ASE	2001	DBLP DOI BibTeX RDF
20	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti	Belief Revision and the Ramsey Test: A Solution.	AI*IA	2001	DBLP DOI BibTeX RDF
20	Friedrich Steimann	A Radical Revision of UML's Role Concept.	UML	2000	DBLP DOI BibTeX RDF
20	John K. Debenham	Reasoning and Belief Revision in an Agent for Emergent Process Management.	IEA/AIE	2000	DBLP DOI BibTeX RDF
20	Michael Imhoff, Ursula Gather, Katharina Morik	Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities.	KI	1999	DBLP DOI BibTeX RDF
20	Corine Cossart, Catherine Tessier	Filtering vs Revision and Update: Let Us Debate!.	ESCQARU	1999	DBLP DOI BibTeX RDF
20	Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli	Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process.	AI*IA	1999	DBLP DOI BibTeX RDF
20	Wei Liu 0006, 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
20	Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais	Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.	AIMSA	1998	DBLP DOI BibTeX RDF
20	Riccardo Bellazzi, Stefania Montani, Luigi Portinale	Retrieval in a Prototype-Based Case Library: A Case Study in Diabetes Therapy Revision.	EWCBR	1998	DBLP DOI BibTeX RDF
20	Floriana Esposito, Donato Malerba, Giovanni Semeraro, Stefano Ferilli	Knowledge Revision for Document Understanding.	ISMIS	1997	DBLP DOI BibTeX RDF