Author:
Gebser Martin,Kaminski Roland,Kaufmann Benjamin,Ostrowski Max,Schaub Torsten,Thiele Sven
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Kautz, H., Selman, B.: Planning as satisfiability. In: Proc. of ECAI 1992, pp. 359–363. Wiley, Chichester (1992)
3. Clarke, E., Biere, A., Raimi, R., Zhu, Y.: Bounded model checking using satisfiability solving. Formal Methods in System Design 19(1), 7–34 (2001)
4. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)
5. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. on AI 3(6), 193–210 (1998)
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Past-Present Temporal Programs over Finite Traces;Logics in Artificial Intelligence;2023
2. Graph-based construction of minimal models;Artificial Intelligence;2022-12
3. How to Build Your Own ASP-based System?!;Theory and Practice of Logic Programming;2021-12-13
4. Abstraction for non-ground answer set programs;Artificial Intelligence;2021-11
5. How to Split a Logic Program;Electronic Proceedings in Theoretical Computer Science;2021-09-17