An Implementation of Extended P-Log Using XASP

Authors:
Han The Anh;Carroline D. Kencana Ramli;Carlos Viegas Damásio
Affiliations:
CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal 2829-516;CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal 2829-516;CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal 2829-516
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 3
Cited 6

Tabling for non-monotonic programming

Annals of Mathematics and Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties

Fundamenta Informaticae

Elder care via intention recognition and evolution prospection

INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Modularity of P-log programs

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Intention-based decision making with evolution prospection

EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Knowledge representation language p-log --- a short introduction

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Moral reasoning under uncertainty

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction

Intelligent Decision Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a new approach for implementing P-log using XASP, the interface of XSB with Smodels. By using the tabling mechanism of XSB, our system is most of the times faster than P-log. In addition, our implementation has query features not supported by P-log, as well as new set operations for domain definition.