Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Developing a Declarative Rule Language for Applications in Product Configuration
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
Why are there so many loop formulas?
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Efficient haplotype inference with answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A meta-programming technique for debugging answer-set programs
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
International Journal of Reconfigurable Computing - Special issue on selected papers from ReConFig 2008
Debugging ASP programs by means of ASP
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
A lightweight component caching scheme for satisfiability solvers
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Detecting inconsistencies in large biological networks with answer set programming
Theory and Practice of Logic Programming
Justifications for logic programs under answer set semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
An ASP-based system for team-building in the gioia-tauro seaport
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Effective preprocessing in SAT through variable and clause elimination
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
| Hi-index | 0.00 |
Michael Gelfond's application of Answer Set Programming (ASP) in the context of NASA's space shuttle has opened the door of the ivory tower. His project has not only given our community self-confidence and served us as a reference for grant agencies and neighboring fields, but ultimately it helped freeing. the penguins making them exclaim "Yes, we can [fly]!". The community has taken up this wonderful assist to establish ASP as a prime tool for declarative problem solving in the area of Knowledge Representation and Reasoning. Despite this success, however, ASP has not yet attracted broad attention outside this area. This paper aims at identifying some current challenges that our field has to overcome in the mid-run to ultimately become a full-fledged technology in Informatics.