Author:
Gebser Martin,Janhunen Tomi,Kaminski Roland,Schaub Torsten,Tasharrofi Shahab
Publisher
Springer International Publishing
Reference37 articles.
1. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS Press, Amsterdam (2009)
2. Lecture Notes in Computer Science;A Aavani,2012
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JA Navarro,2008
4. Helmert, M.: Concise finite-domain representations for PDDL planning tasks. Artif. Intell. 173(5–6), 503–535 (2009)
5. Schulz, S.: A comparison of different techniques for grounding near-propositional CNF formulae. In: Proceedings of FLAIRS 2002, pp. 72–76. AAAI Press (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decision-Making Support Using Nonmonotonic Probabilistic Reasoning;Intelligent Decision Technologies 2019;2019-07-17
2. Answer Set Programming;KI - Künstliche Intelligenz;2018-06-09
3. Writing Declarative Specifications for Clauses;Logics in Artificial Intelligence;2016