Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving-Reference-Cited by-同舟云学术

Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

Published:2015 Issue: Volume: Page:17-32
ISSN:0302-9743
Container-title:Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
language:
Short-container-title:

Author:

Gebser Martin,Kaminski Roland,Obermeier Philipp,Schaub Torsten

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-14726-0_2

Reference18 articles.

1. Bobrow, D. (ed.): Special issue on nonmonotonic logic, vol. 13. Artificial Intelligence (1980)

2. Brewka, G.: Nonmonotonic Reasoning: From Theoretical Foundation to Efficient Computation. Dissertation, Universität Hamburg (1989), revised version appeared as: Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1990)

3. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)

4. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Communications of the ACM 54(12), 92–103 (2011)

5. Butko, N., Lehmann, K., Ramenzoni, V.: Ricochet Robots — a case study for human complex problem solving. In: Proceedings of the Annual Santa Fe Institute Summer School on Complex Systems (CSSS 2005) (2005)

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

1. Designing Reactive Route Change Rules with Human Factors in Mind: A UATM System Perspective;Lecture Notes in Networks and Systems;2024

2. Ricochet Robots with Infinite Horizontal Board is Turing-complete;Journal of Information Processing;2023

3. Multi-shot ASP solving with clingo;Theory and Practice of Logic Programming;2018-07-10

4. Stream Reasoning with LARS;KI - Künstliche Intelligenz;2018-05-17

5. $${\varvec{teaspoon}}$$: solving the curriculum-based course timetabling problems with answer set programming;Annals of Operations Research;2018-01-22