Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Foundations of multimedia database systems
Journal of the ACM (JACM)
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
Composite Distributive Lattices as Annotation Domains for Mediators
Annals of Mathematics and Artificial Intelligence
Annotated Logic Applications for Imperfect Information
Applied Intelligence
A Framework for Automated Reasoning in Multiple-Valued Logics
Journal of Automated Reasoning
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Inference for Annotated Logics over Distributive Lattices
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Extending Disjunctive Logic Programming by T-norms
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Composite Distributive Lattices as Annotation Domains for Mediators
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Information Integration for Electronic Commerce
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Semantics of Normal Logic Programs and Contested Information
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Logic of Argumentation based on Tetralemma with an Eastern Mind
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Any-world assumptions in logic programming
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
A Natural Deduction System for Annotated Predicate Logic
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Autoepistemic Theory and Paraconsistent Logic Program
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Ex contradictione nihil sequitur
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Inconsistency and preservation
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Soft constraints and heuristic constraint correction in entity-relationship modelling
Proceedings of the 2nd international conference on Semantics in databases
Introduction to intelligent elevator control based on EVALPSN
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Intelligent safety verification for multi-car elevator system based on EVALPSN
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
PLINI: a probabilistic logic program framework for inconsistent news information
Logic programming, knowledge representation, and nonmonotonic reasoning
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Lattice-based graded logic: a multimodal approach
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Empirical probabilities in monadic deductive databases
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Routley semantics for answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Proof theory of Nelson's paraconsistent logic: A uniform perspective
Theoretical Computer Science
A discrete event control based on EVALPSN stable model computation
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
How agents should exploit tetralemma with an eastern mind in argumentation
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Foundations of Paraconsistent Resolution
Fundamenta Informaticae
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 5.23 |