The complexity of logic-based abduction
Journal of the ACM (JACM)
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An algorithm to evaluate quantified Boolean formulae
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
On theory revision with queries
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Journal of Automated Reasoning
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Tableaux for Reasoning About Atomic Updates
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Spatial Information Revision: A Comparison between 3 Approaches
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Considerations on Compositional Update Operators
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
CL '00 Proceedings of the First International Conference on Computational Logic
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Fast algorithms for revision of some special propositional knowledge bases
Journal of Computer Science and Technology
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
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
Logical Preference Representation and Combinatorial Vote
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Early Estimation of Users' Perception of Software Quality
Software Quality Control
Minimal-change integrity maintenance using tuple deletions
Information and Computation
A survey on knowledge compilation
AI Communications
An unbiased approach to iterated fusion by weakening
Information Fusion
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Local-search Extraction of MUSes
Constraints
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Supporting Execution-Level Business Process Modeling with Semantic Technologies
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Distance-Based Semantics for C-Structure Belief Revision
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Default Logic Patch for Default Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Dealing Automatically with Exceptions by Introducing Specificity in ASP
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Belief Revision with Bounded Treewidth
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Does This Set of Clauses Overlap with at Least One MUS?
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Horn complements: towards horn-to-horn belief revision
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
An architectural approach to ensuring consistency in hierarchical execution
Journal of Artificial Intelligence Research
CTL model update for system modifications
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The complexity of belief update
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Boosting a complete technique to find MSS and MUS thanks to a local search oracle
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Causal theories of action: a computational core
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Learning partially observable deterministic action models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Relating belief revision and circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of theory revision
Artificial Intelligence
Next steps in propositional horn contraction
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
MUST: provide a finer-grained explanation of unsatisfiability
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Efficient combination of decision procedures for MUS computation
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
Updating action domain descriptions
Artificial Intelligence
Horn Belief Change: A Contraction Core
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A comparison of merging operators in possibilistic logic
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Inconsistency-tolerant semantics for description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Artificial Intelligence
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Query rewriting for inconsistent DL-lite ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
A CSP solver focusing on FAC variables
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Capturing instance level ontology evolution for DL-lite
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
ICDT'07 Proceedings of the 11th international conference on Database Theory
Interest based negotiation automation
ICIC'06 Proceedings of the 2006 international conference on Computational Intelligence and Bioinformatics - Volume Part III
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
A syntactical approach to belief update
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Enforcing logically weaker knowledge in classical logic
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Cooperative situation assessment in a maritime scenario
International Journal of Intelligent Systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the complexity of dealing with inconsistency in description logic ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Considerations on belief revision in an action theory
Correct Reasoning
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
A Model-Theoretic Approach to Belief Change in Answer Set Programming
ACM Transactions on Computational Logic (TOCL)
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Journal of Computer and System Sciences
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
A general framework for computing maximal contractions
Frontiers of Computer Science: Selected Publications from Chinese Universities
A reasoning platform based on the MI shapley inconsistency value
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Preserving partial solutions while relaxing constraint networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Do hard SAT-related reasoning tasks become easier in the Krom fragment?
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Horn clause contraction functions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |