Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
An argument-based approach to reasoning with specificity
Artificial Intelligence
Preference logic grammars: fixed point semantics and application to data standardization
Artificial Intelligence
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
Querying with Intrinsic Preferences
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Preferring and Updating in Abductive Multi-agent Systems
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
User Preference Information in Query Answering
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Dynamic Decision-Making in Logic Programming and Game Theory
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Complexity of Logic Program Updates
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Compilation of Updates plus Preferences
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
plp: A Generic Compiler for Ordered Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alternating Fixpoint Theory for Logic Programs with Priority
CL '00 Proceedings of the First International Conference on Computational Logic
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models
Proceedings of the 17th International Conference on Logic Programming
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Complexity of argument-based default reasoning with specificity
AI Communications
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Graphs and colorings for answer set programming with preferences
Fundamenta Informaticae
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Two results for prioritized logic programming
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Neural-symbolic intuitionistic reasoning
Design and application of hybrid intelligent systems
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Adaptive agent negotiation via argumentation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Implementing prioritized logic programming
AI Communications
Complexity of argument-based default reasoning with specificity
AI Communications
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Deontic logics for prioritized imperatives
Artificial Intelligence and Law
A framework for prioritized reasoning based on the choice evaluation
Proceedings of the 2007 ACM symposium on Applied computing
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
An introduction to fuzzy answer set programming
Annals of Mathematics and Artificial Intelligence
Prioritized conditional imperatives: problems and a new proposal
Autonomous Agents and Multi-Agent Systems
Consistent Data Integration in P2P Deductive Databases
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
A Revised Qualitative Choice Logic for Handling Prioritized Preferences
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Default Logics with Preference Order: Principles and Characterisations
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Logic Programs with Multiple Chances
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Translating Preferred Answer Set Programs to Propositional Logic
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the semantics of logic programs with preferences
Journal of Artificial Intelligence Research
Entailment semantics for rules with priorities
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Strong equivalence for logic programs with preferences
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A preference-based framework for updating logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Verifying business process compliance by reasoning about actions
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Data exchange beyond complete data
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
nomore: a system for computing preferred answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Preferences in answer set programming
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
On the semantics of logic programs with preferences
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An ontology-based two-level clustering for supporting e-commerce agents' activities
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Aggregates and preferences in logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
A new approach for preference-based argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Preference-Based argumentation handling dynamic preferences built on prioritized logic programming
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Preference-Based argumentation capturing prioritized logic programming
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Graphs and Colorings for Answer Set Programming with Preferences
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
A selective semantics for logic programs with preferences
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Restoring consistency in p2p deductive databases
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Rich preference-based argumentation frameworks
International Journal of Approximate Reasoning
Hi-index | 0.01 |