Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference58 articles.
1. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The Sciff abductive proof-procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Proceedings, volume 3673 of Lecture Notes in Computer Science, pp. 135–147. Springer (2005)
2. Alferes, J.J.: Preserving strong equivalence while forgetting. In: Logics in Artificial Intelligence - 14Th European Conference, JELIA 2014, Proceedings, Volume 8761 of Lecture Notes in Computer Science, pp. 412–425. Springer (2014)
3. ASP. Answer set programming solvers online (incomplete list), 2016.
http://assat.cs.ust.hk
,
http://www.cs.utexas.edu/users/tag/ccalc/
,
http://www.cs.utexas.edu/users/tag/cmodels/
,
http://www.cs.uky.edu/ai/
,
http://www.dbai.tuwien.ac.at/proj/dlv
,
http://www.potassco.org
,
http://www.tcs.hut.fi/Software/smodels
4. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
5. Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. Acta Informatica 20, 207–226 (1983)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献