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