plasp 3: Towards Effective ASP Planning-Reference-Cited by-同舟云学术

plasp 3: Towards Effective ASP Planning

Published:2017 Issue: Volume: Page:286-300
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Dimopoulos Yannis,Gebser Martin,Lühne Patrick,Romero Javier,Schaub Torsten

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-61660-5_26

Reference17 articles.

1. Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Logic-Based Artificial Intelligence, pp. 257–279. Kluwer (2000)

2. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS (2009)

3. Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., Schaub, T.: Answer set programming modulo acyclicity. Fundamenta Informaticae 147(1), 63–91 (2016)

4. Lecture Notes in Computer Science;Y Dimopoulos,1997

5. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: Technical Communications, ICLP, pp. 2:1–2:15. OASIcs (2016)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04

2. Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming;Theory and Practice of Logic Programming;2020-12-14

3. plasp 3: Towards Effective ASP Planning;Theory and Practice of Logic Programming;2019-01-18

4. telingo = ASP + Time;Logic Programming and Nonmonotonic Reasoning;2019

5. An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots;Logic Programming and Nonmonotonic Reasoning;2019