Home Advanced Search

Advanced Search - Page 1

Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Nuel Belnap (auth.), Ron van der Meyden, Leendert van der Torre (eds.)
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2011
  • Author: Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.)
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2011
  • Author: Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.)
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2011
  • Author: Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.)
Logics for Emerging Applications of Databases
  • PDF
  • English
  • Year: 2004
  • Author: Nils Klarlund, Thomas Schwentick (auth.), Jan Chomicki, Ron van der Meyden, Gunter Saake (eds.)
Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre (auth.), Francesca Rossi, Alexis Tsoukias (eds.)
Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre (auth.), Francesca Rossi, Alexis Tsoukias (eds.)
Data and Applications Security and Privacy XXVI: 26th Annual IFIP WG 11.3 Conference, DBSec 2012, Paris, France, July 11-13,2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Leendert van der Torre (auth.), Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia-Alfaro (eds.)
Algorithmic Decision Theory: First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre (auth.), Francesca Rossi, Alexis Tsoukias (eds.)
Trusting Agents for Trusting Electronic Societies: Theory and Applications in HCI and E-Commerce
  • PDF
  • English
  • Year: 2005
  • Author: Guido Boella, Leendert van der Torre (auth.), Rino Falcone, Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh (eds.)
search