On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Belief revision with unreliable observations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
Knowledge compilation = query rewriting + view synthesis
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Reasoning about Evolving Nonmonotonic Knowledge Bases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hypergraph Transversal Computation and Related Problems in Logic and AI
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
On transformation of authorization policies
Data & Knowledge Engineering
Removing permissions in the flexible authorization framework
ACM Transactions on Database Systems (TODS)
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming
On the semantics of belief revision systems
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
A survey on knowledge compilation
AI Communications
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Trust-enabling decision support system for e-tourism intermediation
International Journal of Networking and Virtual Organisations
Syndication on the Web using a description logic approach
Web Semantics: Science, Services and Agents on the World Wide Web
Extending Knowledge Base Update into First-Order Knowledge Bases
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Rule Calculus: Semantics, Axioms and Applications
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
End-User Assisted Ontology Evolution in Uncertain Domains
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Declarative Semantics for Active Integrity Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
Towards ACL semantics based on commitments and penalties
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
CTL Model Update: Semantics, Computations and Implementation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
Combining Consistency and Confidentiality Requirements in First-Order Databases
ISC '09 Proceedings of the 12th International Conference on Information Security
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
CTL model update for system modifications
Journal of Artificial Intelligence Research
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
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Abductive framework for nonmonotonic theory change
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Prolegomenon to a theory of conservative belief revision
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Journal of Artificial Intelligence Research
Updating action domain descriptions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
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
Updating action domain descriptions
Artificial Intelligence
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Towards closed world reasoning in dynamic open worlds
Theory and Practice of Logic Programming
Foundations of Tree-like Local Model Updates
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
On Semantic Update Operators for Answer-Set Programs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A logic for revision and subjunctive queries
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
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
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
How strong can an agent believe reported information ?
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
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
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
A logic approach for LTL system modification
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
First-order Generalization of the MPMA Belief Update Operator
Fundamenta Informaticae
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
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)
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |