ACLP: Integrating Abduction and Constraint Solving

@article{Kakas2000ACLPIA,
  title={ACLP: Integrating Abduction and Constraint Solving},
  author={Antonis C. Kakas},
  journal={CoRR},
  year={2000},
  volume={cs.AI/0003020}
}
ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). It forms a general highlevel knowledge representation environment for abductive problems in Artificial Intelligence and other areas. In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving facilitating its application to complex problems. The ACLP system is… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 15 extracted citations

Reconciliation of temporal semantic heterogeneity in evolving information systems

Ingénierie des Systèmes d'Information • 2009
View 3 Excerpts
Highly Influenced

Effective data integration in the presence of temporal semantic conflicts

Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. • 2004
View 3 Excerpts
Highly Influenced

An Improved Role-Based Access to Android Applications with JCHR

2014 Ninth International Conference on Availability, Reliability and Security • 2014
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Similar Papers

Loading similar papers…