-
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
Behnke, Gregor 2019 Universität Ulm
-
Logic for Programming and Automated Reasoning – 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Ganzinger, Harald 1999 Springer Nature Switzerland
-
Programming Languages and Systems – 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
2019 Springer International Publishing
-
Programming Languages and Systems – 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Hu, Zhenjiang 2009 Springer International Publishing
-
Computer Science Logic – 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
Flum, Jörg 2003 Springer International Publishing
-
Computer Science Logic – 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
Clote, Peter 2001 Springer International Publishing
-
Logic, Language, Information and Computation – 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings
Ono, Hiroakira 2009 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer Berlin Heidelberg
-
Computer Science Logic – 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
Marcinkowski, Jerzy 2004 Springer Berlin Heidelberg
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
-
Automated Reasoning – 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Gramlich, Bernhard ; Miller, Dale ; Sattler, Ulrike 2012 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
2012 Springer Berlin Heidelberg
-
Logic, Language, Information and Computation – 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
2011 Springer Berlin Heidelberg
-
Programming Languages and Systems – 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Yang, Hongseok 2011 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Baader, Franz 2005 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings
Ghilardi, Silvio 2000 Springer Berlin Heidelberg