Home Advanced Search

Advanced Search - Page 1

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Thomas Eiter, Michael Fink, Daria Stepanova (auth.), Wolfgang Faber, Domenico Lembo (eds.)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
  • PDF
  • English
  • Year: 1997
  • Author: Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Michael Kearns (auth.), Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)
Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Ofer Arieli, Marc Denecker (auth.), Thomas Eiter, Klaus-Dieter Schewe (eds.)
Discovery Science: 6th International Conference, DS 2003, Sapporo, Japan, October 17-19, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Thomas Eiter, Kazuhisa Makino (auth.), Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto (eds.)
Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Toby Walsh (auth.), Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.)