ACM Transactions on Database Systems (TODS)
An algebra for composing access control policies
ACM Transactions on Information and System Security (TISSEC)
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Resolution for Skeptical Stable Model Semantics
Journal of Automated Reasoning
Splitting Finite Default Theories: A Comparison of Two Approaches
Journal of Logic, Language and Information
Reasoning with Infinite Stable Models II: Disjunctive Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Omega-Restricted Logic Programs
LPNMR '01 Proceedings of the 6th 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
On the Computational Aspect of Rule Based Database Updates
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Diagnostic reasoning with A-Prolog
Theory and Practice of Logic Programming
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
Two results for prioritized logic programming
Theory and Practice of Logic Programming
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Reasoning with infinite stable models
Artificial Intelligence
Making assumptions in the automated derivation
Information Sciences: an International Journal
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
On the existence of stable models of non-stratified 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)
Issues in parallel execution of non-monotonic reasoning systems
Parallel Computing
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics
ACM Transactions on Computational Logic (TOCL)
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic (TOCL)
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
A common view on strong, uniform, and other notions of equivalence in answer-set programming*
Theory and Practice of Logic Programming
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Semantic forgetting in answer set programming
Artificial Intelligence
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Engineering an Incremental ASP Solver
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Composing Normal Programs with Function Symbols
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relativized Hyperequivalence of Logic Programs for Modular Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On finitely recursive programs1
Theory and Practice of Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Extended asp tableaux and rule redundancy in normal logic programs1
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
On Negative Unfolding in the Answer Set Semantics
Logic-Based Program Synthesis and Transformation
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Modular Nonmonotonic Logic Programming Revisited
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Magic sets for data integration
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Answer set planning under action costs
Journal of Artificial Intelligence Research
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Minimal change and maximal coherence for epistemic logic program updates
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Modularity aspects of disjunctive stable models
Journal of Artificial Intelligence Research
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Decomposition of declarative knowledge bases with external functions
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Symmetric splitting in the general theory of stable models
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Computer Languages, Systems and Structures
Relativized hyperequivalence of logic programs for modular programming
Theory and Practice of Logic Programming
Modularity aspects of disjunctive stable models
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Modularity in SMODELS programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A Kripkean semantics for dynamic logic programming
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
On finitely recursive programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Temporal equilibrium logic: a first approach
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
A comparison of two approaches to splitting default theories
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A normal form for linear temporal equilibrium logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Planning for multiagent using ASP-prolog
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Logic programming, knowledge representation, and nonmonotonic reasoning
Splitting an argumentation framework
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Loop formulas for splitable temporal logic programs
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Pushing efficient evaluation of HEX programs by modular decomposition
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
External sources of computation for answer set solvers
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
An algebraic account of modularity in ID-logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
On the logic and computation of partial equilibrium models
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Decidable fragments of logic programming with value invention
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
Solving alternating boolean equation systems in answer set programming
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Reasoning and planning with cooperative actions for multiagents using answer set programming
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
First-Order encodings for modular nonmonotonic datalog programs
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Splitting argumentation frameworks: an empirical evaluation
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Fundamenta Informaticae - Logic, Language, Information and Computation
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Parameterized splitting: a simple modification-based approach
Correct Reasoning
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Qualifying Answers According to User Needs and Preferences
Fundamenta Informaticae
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Normal and strong expansion equivalence for argumentation frameworks
Artificial Intelligence
Hi-index | 0.00 |