Zoekresultaten
Resultaat 1 - 20 (van 28)
W. van der Hoek Modalities for reasoning about knowledge and quantities
Non-fictie
Engels | 213 pagina's | Elinkwijk, Utrecht | 1992
Gedrukt boek
W. van der Hoek On the semantics of graded modalities
Non-fictie
Engels | 39 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
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. Jaspars | Elias Thijsse Honesty in partial logic
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
W. van der Hoek | M. de Rijke Generalized quantifiers and model logic
Non-fictie
Engels | 28 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1991
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
W. van der Hoek Some considerations on the logic PFD
Non-fictie
Engels | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1990
Gedrukt boek
W. van der Hoek Systems for knowledge and beliefs
Non-fictie
Engels | 34 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1989
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
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
Cees Witteveen | W. van der Hoek Recovery of nonmonotonic theories
Non-fictie
Engels | 21 pagina's | Delft University of Technology, Delft | 1997
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
Cees Witteveen | W. van der Hoek Using a back-up semantics for revising and updating nonmonotonic databases
Non-fictie
Engels | 21 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1996
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
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
Cees Witteveen | W. van der Hoek Nonmonotonic theory revision in logic programming
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Cees Witteveen | W. van der Hoek Semantic based theory revision in nonmonotonic logic
Non-fictie
Engels | 17 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
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
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