Combining answer set programming and prolog: the ASP-PROLOG system

Authors:
Enrico Pontelli;Tran Cao Son;Ngoc-Hieu Nguyen
Affiliations:
Department of Computer Science, New Mexico State University,;Department of Computer Science, New Mexico State University,;Department of Computer Science, New Mexico State University,
Venue:
Logic programming, knowledge representation, and nonmonotonic reasoning
Year:
2011

Citing 18
Cited 1

Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence
Answer set programming and plan generation

Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
The USA-Advisor: A Case Study in Answer Set Planning

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Bounded LTL model checking with stable models

Theory and Practice of Logic Programming
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Theory and Practice of Logic Programming
Justifications for logic programs under answer set semantics

Theory and Practice of Logic Programming
Adding time and intervals to procedural and hierarchical control specifications

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Logic Programming for Multiagent Planning with Negotiation

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Using answer set programming and lambda calculus to characterize natural language sentences with normatives and exceptions

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search

Journal of Artificial Intelligence Research
Logic programming for finding models in the logics of knowledge and its applications: A case study

Theory and Practice of Logic Programming
Approximation of action theories and its application to conformant planning

Artificial Intelligence
Detecting inconsistencies in large biological networks with answer set programming

Theory and Practice of Logic Programming
Integrating an answer set solver into prolog: ASP-PROLOG

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
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

ASP-Prolog for negotiation among dishonest agents

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a framework for combining Answer Set Programming and Prolog, as developed in the ASP-PROLOGsystem. The paper focuses on the development of a model-theoretical account for ASP-PROLOG. It also illustrates the use of ASP-PROLOG in several practical applications in knowledge representation and reasoning, common-sense reasoning, and planning.