A. C. Kakas. ACLP: Integrating Abduction and Constraint Solving. In Proceedings of NMR2000, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Distributed Medical Diagnosis with Abductive Logic Agents - Ciampolini, Mello, Storari (Correct)
....set of hypotheses. Despite the choice of using the Kakas Mancarella abductive proof procedure for agent abductive reasoning, it is worth to notice that the ALIAS architecture is not strictly bound to it: the same high level features of the system could exploit di#erent abduction algorithms ([6, 8]. 2.3 The LAILA Language The ALIAS agent behavior is expressed by means of the Language for AbductIve Logic Agents (LAILA, for short) This language allows to model agent actions and interactions in a In this context, local means performed within the agent that is demonstrating the query. ....
A. C. Kakas, ACLP: integrating abduction and constraint solving. Proc. NMR'00, Breckenridge, CO, 2000.
Using Abductive Logic Agents for Legal Justification - Ciampolini, Torroni (2002) (Correct)
.... set be A = fsomeone else killed knott; peyer killed knottg It is worth noticing, however, that despite this implementation choice, the ALIAS architecture is not strictly bound to the KM proof procedure: the same high level features of the system could exploit di erent abduction algorithms ([7, 13]. In this context, local means performed within the agent that demonstrates the query. 8 plus all negated literals. The two agents therefore form a bunch together, B = fA 0 ; A 1 g. In order to demonstrate the goal (observation) found knott s body, agent A 0 applies its rst clause ....
A. C. Kakas. ACLP: integrating abduction and constraint solving. In Proceedings NMR'00, Breckenridge, CO, 2000.
Abduction in Logic Programming - Denecker, Kakas Self-citation (Kakas) (Correct)
....abductive reductions to be pruned early by setting new suitable CLP constraints on the abductive solution that is constructed. The framework of ACLP has also been integrated with Inductive Logic Programming to allow a form of machine learning under incomplete information [62] The ACLP system [60, 49], developed at the University of Cyprus, implements the ACLP framework of ALP for a restricted sub language of the full ACLP framework. Currently, the system is implemented as a metainterpreter on top of the CLP language of ECLiPSe using the CLP constraint solver of ECLiPSe to handle constraints ....
A. C. Kakas. ACLP: Integrating Abduction and Constraint Solving. In Proceedings of NMR2000, 2000.
Abduction in Logic Programming - Kakas, Denecker (2001) (1 citation) Self-citation (Kakas) (Correct)
....centered around problems of diagnosis and robot control. 4.3 ALP Systems and their Applications At the implementational level, several general purpose abductive logic programming systems are in development and have been used in recent experiments and initial applications. 13 The ACLP system [52, 42], developed at the University of Cyprus, implements the ACLP framework of ALP for a restricted sub language of the full ACLP framework. Currently, the ACLP system is implemented as a meta interpreter on top of the CLP language of ECLiPSe using the CLP constraint solver of ECLiPSe to handle ....
A. C. Kakas. ACLP: Integrating Abduction and Constraint Solving. In Proceedings of NMR
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC