A-System: Problem Solving through Abduction Export

@inproceedings{citeulike:1438917, abstract = {System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search in terms of two tightly coupled processes: a reduction process of the highlevel logical representation to a lower-level constraint store and a lower-level constraint solving process. A set of initial \"proof of principle\" experiments demonstrate the versatility of the approach stemming from its declarative...}, author = {Kakas, Antonis C. and Van Nuffelen, Bert and Denecker, Marc}, booktitle = {IJCAI}, citeulike-article-id = {1438917}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3663}, keywords = {abduction, alp, problem-solving}, pages = {591--596}, posted-at = {2007-07-06 09:49:21}, priority = {2}, title = {A-System: Problem Solving through Abduction}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3663}, year = {2001} }

TY - CONF ID - citeulike:1438917 L3 - citeulike-article-id:1438917 N2 - System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search in terms of two tightly coupled processes: a reduction process of the highlevel logical representation to a lower-level constraint store and a lower-level constraint solving process. A set of initial "proof of principle" experiments demonstrate the versatility of the approach stemming from its declarative... EP - 596 TI - A-System: Problem Solving through Abduction T2 - IJCAI SP - 591 KW - abduction KW - alp KW - problem-solving AU - Kakas, Antonis AU - Van Nuffelen, Bert AU - Denecker, Marc PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3663 ER -