Semi-negative abductive logic programs with implicative integrity constraints: semantics and properties

Authors:
Paolo Mancarella;Francesca Toni
Affiliations:
Università di Pisa, Italy;Imperial College London, UK
Venue:
Logic Programs, Norms and Action
Year:
2012

Citing 10
Cited 0

A logic-based calculus of events

New Generation Computing
From logic programming towards multi-agent systems

Annals of Mathematics and Artificial Intelligence
Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Abduction with Negation as Failure for Active and Reactive Rules

AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Status-Based Access Control

ACM Transactions on Information and System Security (TISSEC)
Web Sites Repairing through Abduction

Electronic Notes in Theoretical Computer Science (ENTCS)
Computational logic foundations of KGP agents

Journal of Artificial Intelligence Research
Logic programs with abstract constraint atoms: The role of computations

Artificial Intelligence
The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming
Planning partially for situated agents

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a novel semantics for semi-negative abductive logic programs (i.e. where the only negative literals are abducibles) with implicative integrity constraints (i.e. in the form of implications). This semantics combines answer set programming (with the implicative integrity constraints) and argumentation (for relevant explanations with the logic program, supported by abducibles). We argue that this semantics is better suited than the standard semantics to deal with applications of abductive logic programming and prove some properties of this semantics. We motivate our approach in an agent-based access control policy scenario.