Treffer: Multivalued Action Languages with Constraints in CLP(FD)
Title:
Multivalued Action Languages with Constraints in CLP(FD)
Authors:
Source:
Lecture Notes in Computer Science ISBN: 9783540746089
Publisher Information:
Springer Berlin Heidelberg, 2007.
Publication Year:
2007
Subject Terms:
Action description languages, Constraint logic programming, Knowledge representation, Planning, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Action Description Languages, Knowledge Representation, Constraint Logic Programming, Action description languages, Action languages, CLP (FD), Conditional effects, Constraint logic programming (CLIP), Finite domains, Heidelberg (CO), international conferences, Planning Domains, prototype implementations
Document Type:
Buch
Part of book or chapter of book<br />Article<br />Conference object
File Description:
application/pdf
Language:
English
ISSN:
1475-3081
1471-0684
1471-0684
DOI:
10.1007/978-3-540-74610-2_18
DOI:
10.1017/s1471068410000013
Access URL:
http://www.dimi.uniud.it/dovier/PAPERS/iclp07.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000013
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/multivalued-action-languages-with-constraints-in-clpfd1/006C2429E96E7BA9C8B4E1532A670D9E
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#DovierFP07
http://www.dmi.unipg.it/~formis/iclp07.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://link.springer.com/content/pdf/10.1007%2F978-3-540-74610-2_18.pdf
https://hdl.handle.net/11390/881936
https://hdl.handle.net/11391/172863
https://doi.org/10.1007/978-3-540-74610-2_18
https://hdl.handle.net/11391/172227
https://doi.org/10.1017/S1471068410000013
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1471068410000013
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/multivalued-action-languages-with-constraints-in-clpfd1/006C2429E96E7BA9C8B4E1532A670D9E
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#DovierFP07
http://www.dmi.unipg.it/~formis/iclp07.pdf
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_18
https://link.springer.com/content/pdf/10.1007%2F978-3-540-74610-2_18.pdf
https://hdl.handle.net/11390/881936
https://hdl.handle.net/11391/172863
https://doi.org/10.1007/978-3-540-74610-2_18
https://hdl.handle.net/11391/172227
https://doi.org/10.1017/S1471068410000013
Rights:
Cambridge Core User Agreement
Accession Number:
edsair.doi.dedup.....8e66f0bb3e864075b8a0d44e622a28f3
Database:
OpenAIRE
Weitere Informationen
Action description languages, such asand ℬ (Gelfond and Lifschitz,Electronic Transactions on Artificial Intelligence, 1998, vol. 2, pp. 193—210), are expressive instruments introduced for formalizing planning domains and planning problem instances. The paper starts by proposing a methodology to encode an action language (with conditional effects and static causal laws), a slight variation of ℬ, usingConstraint Logic Programming over Finite Domains. The approach is then generalized to raise the use of constraints to the level of the action language itself. A prototype implementation has been developed, and the preliminary results are presented and discussed.