Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Optimizing the Computation of Heuristics for Answer Set Programming Systems
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
Representing Transition Systems by Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Transformations of Logic Programs Related to Causality and Planning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
Extending Elementary Formal Systems
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
A Unifying Approach to HTML Wrapper Representation and Learning
DS '00 Proceedings of the Third International Conference on Discovery Science
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Advanced elementary formal systems
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Nonmonotonic reasoning by inhibition nets II
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
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
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Annals of Mathematics and Artificial Intelligence
Graphs and colorings for answer set programming
Theory and Practice of Logic Programming
Loop formulas for circumscription
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Temporal phylogenetic networks and logic programming
Theory and Practice of Logic Programming
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Parametric connectives in Disjunctive Logic Programming
AI Communications
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
Dialectical Explanations in Defeasible Argumentation
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On Warranted Inference in Possibilistic Defeasible Logic Programming
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Decision Rules and Arguments in Defeasible Decision Making
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
SAT-based answer set programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reasoning from desires to intentions: a dialectical framework
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Answer set planning under action costs
Journal of Artificial Intelligence Research
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Loop formulas for circumscription
Artificial Intelligence
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Towards the computation of stable probabilistic model semantics
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
An application of defeasible logic programming to decision making in a robotic environment
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Forgetting in logic programs with ordered disjunction
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Defeasible reasoning and partial order planning
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Defeasible argumentation support for an extended BDI architecture
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Counterexample guided abstraction refinement algorithm for propositional circumscription
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Backing and undercutting in defeasible logic programming
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Approximating answer sets of unitary lifschitz-woo programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Process representation and reasoning using a logic formalism with object-oriented features
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Flexible pattern discovery with (extended) disjunctive logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Assertions, conditionals, and defaults
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Applying answer set programming to points-to analysis of object-oriented language
ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing
Learning directed relational models with recursive dependencies
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Temporal logic for process specification and recognition
Intelligent Service Robotics
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |