Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Programming in Lua, Second Edition
Programming in Lua, Second Edition
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Solution Enumeration for Projected Boolean Search Problems
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
On the Input Language of ASP Grounder Gringo
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
GrinGo: a new grounder for answer set programming
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Finite model computation via answer set programming
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Comparing the effectiveness of reasoning formalisms for partial models
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Temporal logic for process specification and recognition
Intelligent Service Robotics
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Search methods for tile sets in patterned DNA self-assembly
Journal of Computer and System Sciences
Complexity-sensitive decision procedures for abstract argumentation
Artificial Intelligence
| Hi-index | 0.00 |
We describe the major new features emerging from a significant redesign of the grounder gringo, building upon a grounding algorithm based on semi-naive database evaluation. Unlike previous versions, rules only need to be safe rather than domain-restricted.