Encoding domain knowledge for prositional planning
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Computing Stable Models: Worst-Case Performance Estimates
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Testing the Equivalence of Logic Programs under Stable Model Semantics
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
aspps - An Implementation of Answer-Set Programming with Propositional Schemata
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Bounded LTL Model Checking with Stable Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Logic programming with ordered disjunction
Eighteenth national conference on Artificial intelligence
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Computing stable models: worst-case performance estimates
Theory and Practice of Logic Programming
Weight constraints as nested expressions
Theory and Practice of Logic Programming
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
My work with Victor Marek: a mathematician looks at answer set programming
Annals of Mathematics and Artificial Intelligence
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Weight Constraint Programs with Functions
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Support for context-aware monitoring in home healthcare
Journal of Ambient Intelligence and Smart Environments
Semantic classifications of queries to relational databases
Proceedings of the 2nd international conference on Semantics in databases
Integrating answer set reasoning with constraint solving techniques
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Formalization of psychological knowledge in answer set programming and its application
Theory and Practice of Logic Programming
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Reasoning support for risk prediction and prevention in independent living
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
ASP as a cognitive modeling tool: short-term memory and long-term memory
Logic programming, knowledge representation, and nonmonotonic reasoning
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
Rule-based complex event processing for food safety and public health
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Application of answer set programming for public health data integration and analysis
ARES'11 Proceedings of the IFIP WG 8.4/8.9 international cross domain conference on Availability, reliability and security for business, enterprise and health information systems
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
CMODELS: SAT-based disjunctive answer set solver
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Using answer set programming for the automatic compilation of assessment tests
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence
Reasoning about the intentions of agents
Logic Programs, Norms and Action
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Toward question answering in travel domains
Correct Reasoning
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
Hi-index | 0.00 |