Home Advanced Search

Advanced Search - Page 1

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Stefan Edelkamp, Alessio Lomuscio
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Mark A. Brown (auth.), Alessio Lomuscio, Donald Nute (eds.)
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2005
  • Author: Bożena Woźna, Alessio Lomuscio (auth.), João Leite, Paolo Torroni (eds.)
Intelligent Agents VI. Agent Theories, Architectures, and Languages: 6th International Workshop, ATAL’99, Orlando, Florida, USA, July 15-17, 1999. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Michael Wooldridge, Alessio Lomuscio (auth.), Nicholas R. Jennings, Yves Lespérance (eds.)
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessio Ferrari, Daniele Grasso (auth.), Stefan Kowalewski, Marco Roveri (eds.)
KI 2011: Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jörg Hoffmann (auth.), Joscha Bach, Stefan Edelkamp (eds.)
KI 2011: Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jörg Hoffmann (auth.), Joscha Bach, Stefan Edelkamp (eds.)
Algorithmic Intelligence. Towards an Algorithmic Foundation for Artificial Intelligence
  • PDF
  • English
  • Year: 2023
  • Author: Stefan Edelkamp
Algorithmic Intelligence: Towards an Algorithmic Foundation for Artificial Intelligence
  • PDF
  • English
  • Year: 2023
  • Author: Stefan Edelkamp
search