Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Connectionist Inductive Learning and Logic Programming System
Applied Intelligence
Entrenchment versus Dependence: Coherence and Foundations in Belief Change
Journal of Logic, Language and Information
SPLAW: a computable language for agent-oriented programming
ACM SIGPLAN Notices
Logic and choice: a perspective on belief revision and nonmonotonic reasoning
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Belief Expansion, Contextual Fit, and the Reliability of Information Sources
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
A Dynamic Scheduling Algorithm for Real-Time Expert Systems
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Conditional Logic for Belief Revision
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Considerations on Updates of Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)
PAKDD '99 Proceedings of the Third Pacific-Asia Conference on Methodologies for Knowledge Discovery and Data Mining
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ranking functions and rankings on languages
Artificial Intelligence
Additive consolidation for dialogue game
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
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
Social choice theory, belief merging, and strategy-proofness
Information Fusion
Rough Dialogue and Implication Lattices
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic (TOCL)
Database querying under changing preferences
Annals of Mathematics and Artificial Intelligence
The measurement of ranks and the laws of iterated contraction
Artificial Intelligence
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Formal models of coherence and legal epistemology
Artificial Intelligence and Law
Belief operations for motivated BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Rational choice and AGM belief revision
Artificial Intelligence
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Visibility and Focus: An Extended Framework for Granular Reasoning
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Representing and aggregating conflicting beliefs
Journal of Artificial Intelligence Research
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Representation theorems for multiple belief changes
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic reasoning and multiple belief revision
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Ranking functions and rankings on languages
Artificial Intelligence
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
A Kripkean semantics for dynamic logic programming
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
Implementing iterated belief change via prime implicates
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
Norm-system revision: theory and application
Artificial Intelligence and Law
Query rewriting for inconsistent DL-lite ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
How our beliefs contribute to interpret actions
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Rough contraction through partial meets
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
Preference revision via declarative debugging
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Iterative modification and incremental evaluation of preference queries
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
A combined system for update logic and belief revision
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Transactions on Rough Sets V
Knowledge compilation for belief change
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Rough Dialogue and Implication Lattices
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Hi-index | 0.00 |