Zoekresultaten
Resultaat 1 - 16 (van 16)
J.-J.Ch. Meyer | W. van der Hoek | Gerard Vreeswijk Epistemic logic for computer science
a tutorial
Non-fictie
Engels | 58 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
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
W. van der Hoek | J.-J.Ch. Meyer Explicitating some issues in implicit knowledge
Non-fictie
Engels | 19 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek Non-monotonic reasoning by monotonic means
Non-fictie
Engels | 34 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
W. van der Hoek | J.-J.Ch. Meyer Possible logics for belief
Non-fictie
Engels | 38 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
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 | W. van der Hoek Modal logics for representing incoherent knowledge
Non-fictie
Engels | 4 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
W. van der Hoek | J.-J.Ch. Meyer | Jan Treur Temporalizing epistemic default logic
Non-fictie
Engels | 26 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
B. van Linder | W. van der Hoek | J.-J.Ch. Meyer Tests as epistemic updates
pursuit of knowledge
Non-fictie
Engels | 32 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
B. van Linder | W. van der Hoek | J.-J.Ch. Meyer Actions that make you change your mind
belief revision in an agent-oriented setting
Non-fictie
Engels | 43 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
Gedrukt boek
W. van der Hoek | B. van Linder | J.-J.Ch. Meyer A logic of capabilities
Non-fictie
Engels | 47 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek A cumulative default logic based on epistemic states
Non-fictie
Engels | 30 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek A modal contrastive logic
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
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
J.-J.Ch. Meyer | W. van der Hoek An epistemic logic for defeasible reasoning using a meta-level architecture metaphor
Non-fictie
Engels | 26 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek