Menu

John-Jules Ch Meyer

9 published titles

Deontic logic in computer science : normative system specification

(Contributor)

1 edition

  • ISBN: 0471937436
  • Wiley
  • 1993
  • Details

Epistemic logic for AI and computer science

1 edition

  • ISBN: 052146014X
  • Cambridge University Press
  • 1995
  • Details

Formal models of agents : ESPRIT Project ModelAge Final Workshop, selected papers

(Contributor)

1 edition

  • ISBN: 3540670270
  • Springer
  • 1999
  • Details

Dynamics and management of reasoning processes

(Contributor)

1 edition

  • ISBN: 1402001932
  • Kluwer Academic
  • 2001
  • Details

Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers

(Contributor)

1 edition

  • ISBN: 3540438580
  • Springer
  • 2002
  • Details

Agent-based defeasible control in dynamic environments

(Contributor)

1 edition

  • ISBN: 1402008341
  • Kluwer Academic
  • 2002
  • Details

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers

(Contributor)

1 edition

  • ISBN: 3540219897
  • Springer
  • 2004
  • Details

Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings

(Contributor)

1 edition

  • ISBN: 9783540358428
  • Springer
  • 2006
  • Details

Specification and verification of multi-agent systems

(Contributor)

1 edition

  • ISBN: 9781441969842
  • Springer
  • 2010
  • Details

obnb.uk is a Good Stuff website.