technical reports : prof. dr. J-J.Ch. Meyer
select other reports
this selection
reports (38)
| techrep_id |
file |
title / author |
| UU-CS-2009-014 |
pdf |
A Modal Representation of Strategic Reasoning
Jan Broersen, Rosja Mastop, John-Jules Meyer, Paolo Turrini |
| UU-CS-2008-004 |
pdf |
Currency Systems for Efficient and Equitable Exchange Among Selfish Agents in the Air Traffic Management Domain
Geert Jonker, Frank Dignum and John-Jules Meyer |
| UU-CS-2007-006 |
pdf |
Emotions as Heuristics for Rational Agents
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
| UU-CS-2005-013 |
pdf |
Dynamic logic for plan revision in intelligent agents
M. Birna van Riemsdijk, Frank S. de Boer, and John-Jules Meyer |
| UU-CS-2005-010 |
ps.gz |
Proving Norm Compliancy of Protocols in Electronic Institutions
Huib Aldewereld, Frank Dignum, John-Jules Meyer, and Javier Vázquez-Salceda |
| UU-CS-2004-019 |
ps.gz
pdf |
An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations
V. Dignum, F. Dignum, J.J. Meyer |
| UU-CS-2004-003 |
pdf |
Optimal communication vocubularies in the presence of heterogeneous ontologies
Jurriaan van Diggelen, Robbert Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Meyer |
| UU-CS-2004-002 |
pdf |
Semantics of Plan Revision in Intelligent Agents
M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer |
| UU-CS-1999-30 |
ps.gz
pdf |
An operational semantics for the single agent core of AGENT0
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1999-17 |
ps.gz
pdf |
Open multi-agent systems: Agent communication and integration
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1999-09 |
ps.gz
pdf |
Semantics of communicating agents based on deduction and abduction
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1999-08 |
ps.gz
pdf |
Operational semantics for agent communication languages
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1998-08 |
ps.gz
pdf |
Formalising abilities and opportunities of agents
B. van Linder, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1998-07 |
ps.gz
pdf |
A formal embedding of AgentSpeak(L) in 3APL
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1997-17 |
ps.gz
pdf |
Informational independence: Models and normal forms
L. C. van der Gaag, J-J. Ch. Meyer |
| UU-CS-1997-16 |
ps.gz
pdf |
A language for Modular Information-passing Agents
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1997-14 |
ps.gz
pdf |
Group knowledge isn't always distributed (neither is it always implicit)
W. van der Hoek, B. van Linder, J-J. Ch. Meyer |
| UU-CS-1997-06 |
ps.gz
pdf |
An integrated modal approach to rational agents
W. van der Hoek, B. van Linder, J-J. Ch. Meyer |
| UU-CS-1997-03 |
ps.gz
pdf |
Formalizing motivational attitudes of agents using the KARO framework
B. van Linder, J-J. Ch. Meyer, W. van der Hoek |
| UU-CS-1996-55 |
pdf |
The Role of Deontic Logic in the Specification of Information Languages
J.-J. Ch. Meyer and R.J. Wieringa and F.P.M. Dignum |
| UU-CS-1996-52 |
pdf |
A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge
W. van der Hoek and J.J.-Ch. Meyer |
| UU-CS-1996-47 |
ps.gz
pdf |
The dynamics of probabilistic structural relevance
L. C. van der Gaag, J-J. Ch. Meyer |
| UU-CS-1996-32 |
pdf |
Preferential Action Semantics (Preliminary Report)
J.-J. Ch. Meyer and P. Doherty |
| UU-CS-1996-21 |
ps.gz
pdf |
Characterizing normal forms for informational independence
L. C. van der Gaag, J-J. Ch. Meyer |
| UU-CS-1996-19 |
pdf |
A Knowledge-Based Compositional Proof System for Parallel Processes
M. van Hulst and J.-J.Ch. Meyer |
| UU-CS-1995-38 |
pdf |
Possible World Semantics for Analogous Reasoning
J.-J.Ch. Meyer and J.C. van Leeuwen |
| UU-CS-1995-30 |
pdf |
An Integrated framework for ought-to-be and ought-to-do constraints
P. d'Altan and J.-J.Ch. Meyer and R.J. Wieringa |
| UU-CS-1995-19 |
pdf |
Modal Logics for Representing Incoherent Knowledge
J.J.Ch. Meyer and W. van der Hoek |
| UU-CS-1995-18 |
pdf |
A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07)
J.J.Ch. Meyer and W. van der Hoek |
| UU-CS-1995-08 |
ps.gz
pdf |
Seeing is believing - And so are hearing and jumping
B. van Linder, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1994-54 |
pdf |
Temporalizing Epistemic Default Logic
W. van der Hoek and J.-J. Ch. Meyer and J. Treur |
| UU-CS-1994-53 |
ps.gz
pdf |
Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting
B. van Linder, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1994-48 |
ps.gz
pdf |
The dynamics of default reasoning
B. van Linder, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1994-38 |
pdf |
The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective (Or: Should computer scientists be bothered by the concerns of philosophers?)
J.-J. Ch. Meyer and F.P.M. Dignum and R.J. Wieringa |
| UU-CS-1994-08 |
ps.gz
pdf |
Tests as epistemic updates - pursuit of knowledge
B. van Linder, W. van der Hoek, J-J. Ch. Meyer |
| UU-CS-1994-07 |
pdf |
A Modal Contrastive Logic: The Logic of `But`
J.J.-Ch. Meyer and W. van der Hoek |
| RUU-CS-93-44 |
pdf |
Graded Modal and Epistemic Logic
J.-J. Ch. Meyer and W. van der Hoek |
| RUU-CS-93-30 |
ps.gz
pdf |
Unravelling nondeterminism: On having the ability to choose
W. van der Hoek, B. van Linder, J-J. Ch. Meyer |
| author |
group |
| Aldewereld, dr. H.M. |
all reports |
decision support systems |
all reports |
| Beun, dr. ir. R.J. |
all reports |
multimedia and geometry |
all reports |
| Boer, dr. F.S. de |
all reports |
intelligent systems |
all reports |
| Broersen, dr. ir. J.M. |
all reports |
intelligent systems |
all reports |
| Dastani, dr. M.M. |
all reports |
intelligent systems |
all reports |
| Diggelen, dr. J. van |
all reports |
cognition and communication |
all reports |
| Dignum, dr. F.P.M. |
all reports |
decision support systems |
all reports |
| Dignum, dr. M.V. |
all reports |
cognition and communication |
all reports |
| Eijk, dr. R.M. van |
all reports |
intelligent systems |
all reports |
| Gaag, prof. dr. ir. L.C. van der |
all reports |
decision support systems |
all reports |
| Hindriks, dr. K.V. |
all reports |
intelligent systems |
all reports |
| Hoek, prof. dr. W. van der |
all reports |
intelligent systems |
all reports |
| Hulst, dr. M. van |
all reports |
intelligent systems |
all reports |
| Jonker, dr. G.M. |
all reports |
intelligent systems |
all reports |
| Linder, dr. B. van |
all reports |
intelligent systems |
all reports |
| Meyer, prof. dr. J-J.Ch. |
all reports |
intelligent systems |
all reports |
| Riemsdijk, drs. M.B. van |
all reports |
intelligent systems |
all reports |
| Steunebrink, MSc B.R. |
all reports |
intelligent systems |
all reports |
| Turrini, dr. P. |
all reports |
intelligent systems |
all reports |
| Vazquez Salceda, dr. J. |
all reports |
intelligent systems |
all reports |
BibTeX entries
@TECHREPORT{UUCS2009014,
author = {Broersen, Jan and Mastop, Rosja and Meyer, John-Jules and Turrini, Paolo},
year = 2009,
title = {A Modal Representation of Strategic Reasoning},
number = {UU-CS-2009-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008004,
author = {Jonker, Geert and Dignum, Frank and Meyer, John-Jules},
year = 2008,
title = {Currency Systems for Efficient and Equitable Exchange Among Selfish Agents in the Air Traffic Management Domain},
number = {UU-CS-2008-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007006,
author = {Steunebrink, Bas~R. and Dastani, Mehdi and Meyer, John-Jules~Ch.},
year = 2007,
title = {Emotions as Heuristics for Rational Agents},
number = {UU-CS-2007-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005013,
author = {Riemsdijk, M.~Birna~van and Boer, Frank~S.~de and Meyer, John-Jules},
year = 2005,
title = {Dynamic logic for plan revision in intelligent agents},
number = {UU-CS-2005-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005010,
author = {Aldewereld, Huib and Dignum, Frank and Meyer, John-Jules and Vázquez-Salceda, Javier},
year = 2005,
title = {Proving Norm Compliancy of Protocols in Electronic Institutions},
number = {UU-CS-2005-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-010.ps.gz}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004019,
author = {Dignum, V. and Dignum, F. and Meyer, J.J.},
year = 2004,
title = {An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations},
number = {UU-CS-2004-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-019.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004003,
author = {Diggelen, Jurriaan~van and Beun, Robbert~Jan and Dignum, Frank and Eijk, Rogier~M.~van and Meyer, John-Jules},
year = 2004,
title = {Optimal communication vocubularies in the presence of heterogeneous ontologies},
number = {UU-CS-2004-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004002,
author = {Riemsdijk, M.~Birna~van and Meyer, John-Jules~Ch. and Boer, Frank~S.~de},
year = 2004,
title = {Semantics of Plan Revision in Intelligent Agents},
number = {UU-CS-2004-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199930,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {An operational semantics for the single agent core of AGENT0},
number = {UU-CS-1999-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199917,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Open multi-agent systems: Agent communication and integration},
number = {UU-CS-1999-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199909,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Semantics of communicating agents based on deduction and abduction},
number = {UU-CS-1999-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199908,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1999,
title = {Operational semantics for agent communication languages},
number = {UU-CS-1999-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199808,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1998,
title = {Formalising abilities and opportunities of agents},
number = {UU-CS-1998-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199807,
author = {Hindriks, K.~V. and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1998,
title = {A formal embedding of AgentSpeak(L) in 3APL},
number = {UU-CS-1998-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199717,
author = {Gaag, L.~C.~van~der and Meyer, J-J.~Ch.},
year = 1997,
title = {Informational independence: Models and normal forms},
number = {UU-CS-1997-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199716,
author = {Eijk, R.~M.~van and Boer, F.~S.~de and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1997,
title = {A language for Modular Information-passing Agents},
number = {UU-CS-1997-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199714,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1997,
title = {Group knowledge isn't always distributed (neither is it always implicit)},
number = {UU-CS-1997-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-14.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199706,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1997,
title = {An integrated modal approach to rational agents},
number = {UU-CS-1997-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-06.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199703,
author = {Linder, B.~van and Meyer, J-J.~Ch. and Hoek, W.~van~der},
year = 1997,
title = {Formalizing motivational attitudes of agents using the KARO framework},
number = {UU-CS-1997-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-03.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199655,
author = {Meyer, J.-J.~Ch. and Wieringa, R.J. and Dignum, F.P.M.},
year = 1996,
title = {The Role of Deontic Logic in the Specification of Information Languages},
number = {UU-CS-1996-55},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-55.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199652,
author = {Hoek, W.~van~der and Meyer, J.J.-Ch.},
year = 1996,
title = {A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge},
number = {UU-CS-1996-52},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-52.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199647,
author = {Gaag, L.~C.~van~der and Meyer, J-J.~Ch.},
year = 1996,
title = {The dynamics of probabilistic structural relevance},
number = {UU-CS-1996-47},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-47.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-47.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199632,
author = {Meyer, J.-J.~Ch. and Doherty, P.},
year = 1996,
title = {Preferential Action Semantics (Preliminary Report)},
number = {UU-CS-1996-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199621,
author = {Gaag, L.~C.~van~der and Meyer, J-J.~Ch.},
year = 1996,
title = {Characterizing normal forms for informational independence},
number = {UU-CS-1996-21},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-21.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-21.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199619,
author = {Hulst, M.~van and Meyer, J.-J.Ch.},
year = 1996,
title = {A Knowledge-Based Compositional Proof System for Parallel Processes},
number = {UU-CS-1996-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199538,
author = {Meyer, J.-J.Ch. and Leeuwen, J.C.~van},
year = 1995,
title = {Possible World Semantics for Analogous Reasoning},
number = {UU-CS-1995-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199530,
author = {P., d'Altan and Meyer, J.-J.Ch. and Wieringa, R.J.},
year = 1995,
title = {An Integrated framework for ought-to-be and ought-to-do constraints},
number = {UU-CS-1995-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199519,
author = {Meyer, J.J.Ch. and Hoek, W.~van~der},
year = 1995,
title = {Modal Logics for Representing Incoherent Knowledge},
number = {UU-CS-1995-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199518,
author = {Meyer, J.J.Ch. and Hoek, W.~van~der},
year = 1995,
title = {A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07)},
number = {UU-CS-1995-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199508,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1995,
title = {Seeing is believing - And so are hearing and jumping},
number = {UU-CS-1995-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199454,
author = {Hoek, W.~van~der and Meyer, J.-J.~Ch. and Treur, J.},
year = 1994,
title = {Temporalizing Epistemic Default Logic},
number = {UU-CS-1994-54},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-54.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199453,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting},
number = {UU-CS-1994-53},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-53.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-53.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199448,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {The dynamics of default reasoning},
number = {UU-CS-1994-48},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-48.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-48.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199438,
author = {Meyer, J.-J.~Ch. and Dignum, F.P.M. and Wieringa, R.J.},
year = 1994,
title = {The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective (Or: Should computer scientists be bothered by the concerns of philosophers?)},
number = {UU-CS-1994-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199408,
author = {Linder, B.~van and Hoek, W.~van~der and Meyer, J-J.~Ch.},
year = 1994,
title = {Tests as epistemic updates - pursuit of knowledge},
number = {UU-CS-1994-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199407,
author = {Meyer, J.J.-Ch. and Hoek, W.~van~der},
year = 1994,
title = {A Modal Contrastive Logic: The Logic of `But`},
number = {UU-CS-1994-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9344,
author = {Meyer, J.-J.~Ch. and Hoek, W.~van~der},
year = 1993,
title = {Graded Modal and Epistemic Logic},
number = {RUU-CS-93-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9330,
author = {Hoek, W.~van~der and Linder, B.~van and Meyer, J-J.~Ch.},
year = 1993,
title = {Unravelling nondeterminism: On having the ability to choose},
number = {RUU-CS-93-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-30.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Fri, 24 May 2013 20:28:58 +0200
←
Departement Informatica, Universiteit Utrecht
