Zoekresultaten
Resultaat 1 - 13 (van 13)
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 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
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
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
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
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 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
W. van der Hoek | M. de Rijke Counting objects in generalized quantifier theory, modal logic, and knowledge representation
Non-fictie
Engels | 20 pagina's | Vrije Universiteit Amsterdam, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek