Zoekresultaten
Resultaat 1 - 20 (van 26)
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 Epistemic logic
Non-fictie
Engels | 24 pagina's | Onderwijsinstituut CKI, Universiteit Utrecht, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer | F.P.M. Dignum | R.J. Wieringa The paradoxes of deontic logic revisited: a computer science perspective, or: Should computer scientists be bothered by the concerns of philosophers?
Non-fictie
Engels | 21 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1994
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 A simple solution to the "Deepest" paradox in deontic logic
Non-fictie
Engels | 9 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1985
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 | 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
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
Paul Spruit | R.J. Wieringa | J.-J.Ch. Meyer Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases
Non-fictie
Engels | 66 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1992
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 An analysis of the Yale shooting problem by means of dynamic epistemic logic
Non-fictie
Engels | 10 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
J.-J.Ch. Meyer Free choice permissions and Ross's paradox
internal vs external nondeterminism
Non-fictie
Engels | 9 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1987
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 | 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
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 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