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.)
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.)
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
Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić (eds.)
Design and Safety Assessment of Critical Systems
  • PDF
  • English
  • Year: 2010
  • Author: Marco Bozzano, Adolfo Villafiorita
search