Zoekresultaten
Resultaat 1 - 20 (van 65)
J.-J.Ch. Meyer Agenttechnologie
computers die 'denken'
Nederlands | 21 pagina's | IVIO-Uitgeverij, Lelystad | 2008
Gedrukt boek
J.-J.Ch. Meyer Tractatus logico-informaticus
een verhandeling betreffende logische aspecten van de informatica
Non-fictie
Nederlands | 35 pagina's | Vrije Universiteit [etc.], Amsterdam [etc.] | 1990
Gedrukt boek
J.-J.Ch. Meyer Formal methods in knowledge representation
Non-fictie
Nederlands | University of Nijmegen, Department of Informatics, Faculty of Mathematics and Informatics, Nijmegen | 1989
Gedrukt boek
J.-J.Ch. Meyer Formele methoden in kennisrepresentatie
Non-fictie
Nederlands | 10 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
J.-J.Ch. Meyer Intelligent agents
issues and logics
Non-fictie
Engels | 34 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 2002
Gedrukt boek
J.-J.Ch. Meyer Dynamic logic for reasoning about actions and agents
Non-fictie
Engels | 30 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer Epistemic logic
Non-fictie
Engels | 24 pagina's | Onderwijsinstituut CKI, Universiteit Utrecht, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek | B. van Linder A logical approach to the dynamics of commitments
Non-fictie
Engels | 37 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Linda van der Gaag | J.-J.Ch. Meyer Informational independence: models and normal forms
Non-fictie
Engels | 4 pagina's | Universiteit Utrecht, Utrecht | 1997
Gedrukt boek
B. van Linder | J.-J.Ch. Meyer | W. van der Hoek Formalising motivational attitudes of agents using the KARO framework
Non-fictie
Engels | 29 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer An integrated modal approach to rational agents
Non-fictie
Engels | 4 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer Group knowledge isn't always distributed (neither is it always implicit)
Non-fictie
Engels | 28 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1997
Gedrukt boek
Linda van der Gaag | J.-J.Ch. Meyer The dynamics of probabilistic structural relevance
Non-fictie
Engels | 12 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
Linda van der Gaag | J.-J.Ch. Meyer Characterising normal forms for informational independence
Non-fictie
Engels | 6 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer A complete epistemic logic for multiple agents
combining distributed and common knowledge
Non-fictie
Engels | 33 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
J.-J.Ch. Meyer | P. Doherty Preferential action semantics
(preliminary report)
Non-fictie
Engels | 13 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
J.-J.Ch. Meyer | R.J. Wieringa | F.P.M. Dignum The role of deontic logic in the specification of information systems
Non-fictie
Engels | 35 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
M. van Hulst | J.-J.Ch. Meyer A knowledge-based compositional proof system for parallel processes
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1996
Gedrukt boek
J.-J.Ch. Meyer | J.C. van Leeuwen Possible world semantics for analogous reasoning
Non-fictie
Engels | 20 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek A modal contrastive logic
the logic of 'But'/ J.J.Ch. Meyer and W. van der Hoek
Non-fictie
Engels | 4 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek