Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : Intelligent Systems

select other reports

this selection

group Intelligent Systems

reports (157)

techrep_id file title / author
UU-CS-2017-014 pdf Visually Embodying Well-Typedness of Algebraic Data Structures through Maramafication
Chide Groenouwe and John-Jules Meyer
UU-CS-2016-006 pdf Making sense of risks: A hybrid argumentative-narrative approach to risk assessment
Bas Hovestad and Floris Bex
UU-CS-2015-003 pdf A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation
Sjoerd Timmer, John-Jules Meyer, Henry Prakken, Silja Renooij and Bart Verheij
UU-CS-2013-004 pdf A formal model of coaching progressive relaxation
Rogier van Eijk
UU-CS-2013-002 pdf A formalisation of argument schemes for case-based reasoning in ASPIC+
Henry Prakken, Adam Wyner, Trevor Bench-Capon and Katie Atkinson
UU-CS-2012-001 pdf Exact algorithms for Kayles
Hans L.Bodlaender, Dieter Kratsch and Sjoerd T.Timmer
UU-CS-2011-002 pdf Modeling Attempt and Action Failure in Probabilistic stit Logic
Jan Broersen
UU-CS-2009-019 pdf An abstract framework for argumentation with structured arguments
Henry Prakken
UU-CS-2009-014 pdf A Modal Representation of Strategic Reasoning
Jan Broersen, Rosja Mastop, John-Jules Meyer, Paolo Turrini
UU-CS-2009-008 pdf Fixed Partitioning and Salient Point with MPEG-7 Cluster Correlograms for Image Categorization
Azizi Abdullah, Remco Veltkamp, Marco Wiering
UU-CS-2009-002 pdf Transcriptierapport Helpdeskgesprekken
Arnout Terpstra, Cliffred van Velzen, Robbert-Jan Beun, Rogier M.van Eijk
UU-CS-2008-039 pdf On alignment of eye behaviour in human-agent interaction
Huub Prüst, Robbert-Jan Beun and Rogier van Eijk
UU-CS-2008-031 pdf A formal model of adjudication dialogues
Henri Prakken
UU-CS-2008-024 pdf Representing causal knowledge in sense-making software for crime analysis
Susan W. van den Braak, Herre van Oostendorp, Henry Prakken and Gerard A. W. Vreeswijk
UU-CS-2008-022 pdf Modularity in Agent Programming Languages: An Illustration in Extended 2APL
Mehdi Dastani, Christian P. Mol, and Bas R. Steunebrink
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-048 pdf Formalising ordinary legal disputes: a case study
Henry Prakken
UU-CS-2007-013 pdf A Dynamic Bayesian Network for Diagnosing Ventilator-Associated Pneumonia in ICU Patients
Theodore Charitos, Linda C. van der Gaag, Stefan Visscher, Karin A.M. Schurink and Peter J.F. Lucas
UU-CS-2007-010 pdf An Algorithm for Computing Semi-Stable Semantics
Martin Caminada
UU-CS-2007-006 pdf Emotions as Heuristics for Rational Agents
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
UU-CS-2007-004 pdf Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming
Martin Caminada and Jonathan Ben-Naim
UU-CS-2006-061 pdf A Landscape of Agent Systems in the Real World
Virginia Dignum, Frank Dignum
UU-CS-2006-060 pdf Towards formal semantics for reorganization
Virginia Dignum, Frank Dignum
UU-CS-2006-033 pdf Repairing Conceptual Mismatches in Dialogue: a Computational Approach
Robbert-Jan Beun and Rogier M. van Eijk
UU-CS-2006-027 pdf Using Closed Sets of Rules for the Entailment of Literals
Martin Caminada
UU-CS-2006-023 pdf On the Issue of Reinstatement in Argumentation
Martin Caminada
UU-CS-2005-048 pdf Learning to Play Board Games using Temporal Difference Methods
Marco Wiering, Jan Peter Patist, Henk Mannen
UU-CS-2005-045 pdf On the Issue of Reinstatement in Argumentation
Martin Caminada
UU-CS-2005-023 pdf Collapse in formal argumentation systems
Martin Caminada
UU-CS-2005-021 ps.gz
pdf
Coherence and Flexibility in Dialogue Games for Argumentation
Henry Prakken
UU-CS-2005-015 pdf Task and Social Coordination in Agent Organizations
Virginia Dignum and Frank Dignum
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-038 pdf Normative Agents in Health Care: Uses and Challenges
Javier Vazquez-Salceda
UU-CS-2004-032 ps.gz
pdf
Set Induced Relations and Relational Semantics
Paul Harrenstein
UU-CS-2004-029 pdf Intelligent Traffic Light Control
Marco Wiering, Jelle van Veenen, Jilles Vreeken, Arne Koopman
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-016 pdf Abstract and Concrete Norms in Institutions
Davide Grossi and Frank Dignum
UU-CS-2004-015 pdf Organizing Multi-Agent Systems
Javier Vázquez-Salceda, Virginia Dignum, Frank Dignum
UU-CS-2004-005 pdf Ontological Feedback in Multiagent Systems
Robbert-Jan Beun, Rogier M. van Eijk, and Huub Prüst
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-2003-055 pdf Feedback in Human Computer Interaction: Resolving Ontological discrepancies
Robbert-Jan Beun and Rogier M. van Eijk
UU-CS-2003-045 pdf Turntaking: a case for agent-based programming
Joris Hulstijn and Gerard A. W. Vreeswijk
UU-CS-2003-034 pdf A simple scheme to structure and process the information of parties in online forms of alternative dispute resolution
Gerard Vreeswijk
UU-CS-2003-032 ps.gz
pdf
A Rule of Adaptation for OO
Cees Pierik and Frank S. de Boer
UU-CS-2003-021 pdf Post-Processing for MCMC
Edwin de Jong, Marco Wiering, and Madalina Drugan
UU-CS-2003-010 ps.gz
pdf
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Cees Pierik, Frank S. de Boer
UU-CS-2003-002 ps.gz
pdf
Towards an environment for the verification of annotated object-oriented programs
Frank S. de Boer, Cees Pierik
UU-CS-2002-046 pdf Proceedings of the 12th Belgian-Dutch Conference on Machine Learning
Marco Wiering (editor)
UU-CS-2002-029 ps.gz
pdf
Model-based reinforcement learning in dynamic environments
Marco A. Wiering
UU-CS-2002-003 ps.gz
pdf
Hierarchical mixtures of naive Bayes classifiers
Marco A. Wiering
UU-CS-2000-14 ps.gz
pdf
Resolution and binary decision diagrams cannot simulate each other polynomially
J. F. Groote, H. Zantema
UU-CS-2000-13 ps.gz
pdf
An embedding of ConGolog in 3APL
K. V. Hindriks, Y. Lesperance, H. Levesque
UU-CS-2000-12 ps.gz
pdf
A probabilistic and decision-theoretic approach to the management of infectious disease at the ICU
P. J. F. Lucas, N. de Bruijn, K. Schurink, A. Hoepelman
UU-CS-2000-06 ps.gz
pdf
Binary decision diagrams by shared rewriting
J. van de Pol, H. Zantema
UU-CS-2000-04 ps.gz
pdf
Termination of Term Rewriting
H. Zantema
UU-CS-1999-45 ps.gz
pdf
Focused quantification of a belief network using sensitivity analysis
N. B. Peek, V. M. H. Coupe, J. Ottenkamp
UU-CS-1999-44 ps.gz
pdf
Using sensitivity analysis for efficient quantification of a belief network
V. M. H. Coupe, N. B. Peek, J. Ottenkamp, J. D. F. Habbema
UU-CS-1999-43 ps.gz
pdf
A specialized POMDP form and algorithm for clinical patient management
N. B. Peek
UU-CS-1999-42 ps.gz
pdf
Explicit temporal models for decision-theoretic planning of clinical management
N. B. Peek
UU-CS-1999-38 ps.gz
pdf
Logic engineering in medicine
P. J. F. Lucas
UU-CS-1999-34 ps.gz
pdf
Certainty-factor-like structures in Bayesian belief networks
P. J. F. Lucas
UU-CS-1999-31 ps.gz
pdf
Sizes of decision tables and decision trees
H. Zantema, H. L. Bodlaender
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-22 ps.gz
pdf
The termination hierarchy for term rewriting
H. Zantema
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-1999-06 ps.gz
pdf
Improving antibiotic therapy of ventilator associated pneumonia using a probabilistic approach
N. de Bruijn, P. J. F. Lucas, K. Schurink, A. Hoepelman
UU-CS-1999-05 ps.gz
pdf
An intelligent system for pacemaker reprogramming
P. J. F. Lucas, A. Tholen, G. van Oort
UU-CS-1999-04 ps.gz
pdf
A diagnostic advice system based on pathophysiological models of diseases
W. J. ter Burg, P. J. F. Lucas, E. ter Braak
UU-CS-1999-02 ps.gz
pdf
Finding small equivalent decision trees is hard
H. Zantema, H. L. Bodlaender
UU-CS-1998-38 ps.gz
pdf
Prognostic methods in medicine
P. J. F. Lucas, A. Abu-Hanna
UU-CS-1998-33 ps.gz
pdf
Computer-based decision support in the management of primary gastric non-Hodgkin lymphoma
P. J. F. Lucas, H. Boot, B. G. Taal
UU-CS-1998-32 pdf De evaluatie van kennissytemen.
P.J.F. Lucas
UU-CS-1998-14 ps.gz
pdf
Decision trees: equivalence and propositional operations
H. Zantema
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-1998-02 ps.gz
pdf
Predictive probabilistic models for treatment planning in paediatric cardiology
N. B. Peek
UU-CS-1998-01 ps.gz
pdf
Trade-offs in decision-theoretic planning
N. B. Peek, P. J. F. Lucas
UU-CS-1997-34 ps.gz
pdf
Recovery of nonmonotonic theories
C. Witteveen, W. van der Hoek
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-13 ps.gz
pdf
Recursively defined (quasi) orders on terms
M. C. F. Ferreira
UU-CS-1997-10 ps.gz
pdf
Symbolic diagnosis and its formalisation
P. J. F. Lucas
UU-CS-1997-08 ps.gz
pdf
Termination of context-sensitive rewriting
H. Zantema
UU-CS-1997-07 ps.gz
pdf
Proving innermost normalisation automatically
T. Arts, J. Giesl
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-1997-02 ps.gz
pdf
Developing a decision-theoretic network for a congenital heart disease
N. B. Peek, J. Ottenkamp
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-46 ps.gz
pdf
Knowledge acquisition for decision-theoretic expert systems
P. J. F. Lucas
UU-CS-1996-45 ps.gz
pdf
Relative undecidability in term rewriting
A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema
UU-CS-1996-44 ps.gz
pdf
Automatically proving termination where simplification orderings fail
T. Arts, J. Giesl
UU-CS-1996-42 ps.gz
pdf
A theory of diagnosis as hypothesis refinement
P. J. F. Lucas
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-1996-18 ps.gz
pdf
Modelling interactions for diagnosis
P. J. F. Lucas
UU-CS-1996-16 ps.gz
pdf
Interleaved contractions
W. van der Hoek, M. de Rijke
UU-CS-1996-15 ps.gz
pdf
Transforming termination by self-labelling
A. Middeldorp, H. Ohsaki, H. Zantema
UU-CS-1996-07 ps.gz
pdf
Termination of constructor systems
T. Arts, J. Giesl
UU-CS-1996-06 pdf A Compositional Proof System for Asynchronously Communicating Processes
F.S. de Boer and M. van Hulst
UU-CS-1996-05 pdf A Proof Theory of Asynchronously Communicating Sequential Processes
F.S. de Boer and N. Francez and M. van Hulst and F.A. Stomp
UU-CS-1996-03 ps.gz
pdf
Non-looping rewriting
H. Zantema, A. Geser
UU-CS-1995-40 ps.gz
pdf
A dynamic logic of iterated belief change
B. van Linder
UU-CS-1995-39 pdf Semantic Based Theory Revision in Nonmonotonic Logic
C. Witteveen and W. van der Hoek
UU-CS-1995-38 pdf Possible World Semantics for Analogous Reasoning
J.-J.Ch. Meyer and J.C. van Leeuwen
UU-CS-1995-32 ps.gz
pdf
A technique for automatically proving termination of constructor systems
T. Arts
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-17 ps.gz
pdf
Termination of constructor systems using semantic unification
T. Arts, H. Zantema
UU-CS-1995-11 ps.gz
pdf
A Case-Based Filter for Diagnostic Belief Networks
N. B. Peek, L. C. van der Gaag
UU-CS-1995-10 ps.gz
pdf
A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration
W. J. Fokkink, H. Zantema
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-56 pdf Revision by Communication: Program by Consulting Weaker Semantics
C. Witteveen and W. van der Hoek
UU-CS-1994-55 ps.gz
pdf
Total termination of term rewriting is undecidable
H. Zantema
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-47 ps.gz
pdf
Dummy elimination: making termination easier
M. C. F. Ferreira, H. Zantema
UU-CS-1994-46 ps.gz
pdf
Well-foundedness of term orderings
M. C. F. Ferreira, H. Zantema
UU-CS-1994-45 ps.gz
pdf
A proof system for asynchronously communicating deterministic processes
F. S. de Boer, M. van Hulst
UU-CS-1994-44 ps.gz
pdf
A complete characterization of termination of 0^p 1^q -> 1^r 0^s
H. Zantema, A. Geser
UU-CS-1994-43 ps.gz
pdf
Rewrite systems for integer arithmetic
H. R. Walters, H. Zantema
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-37 ps.gz
pdf
Een theorie voor het bestuderen van information retrieval modellen (in Dutch)
T. W. C. Huibers, B. van Linder, P. D. Bruza
UU-CS-1994-28 ps.gz
pdf
Syntactical analysis of total termination
M. C. F. Ferreira, H. Zantema
UU-CS-1994-20 ps.gz
pdf
Termination of logic programs via labelled term rewrite systems
T. Arts, H. Zantema
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-41 ps.gz
pdf
Simple termination revisited
A. Middeldorp, H. Zantema
RUU-CS-93-40 ps.gz
pdf
Basic process algebra with iteration: completeness of its equational axioms
W. J. Fokkink, H. Zantema
RUU-CS-93-32 pdf Honesty in Partial Logic
W. van der Hoek, J. Jaspars and E. Thijsse
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
RUU-CS-93-24 ps.gz
pdf
Termination of term rewriting by semantic labelling
H. Zantema
RUU-CS-92-44 pdf On blocks; locality and asynchronous communication (extended abstract)
F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten
RUU-CS-92-43 pdf Derivation lengths in terms rewriting from interpretations in the naturals
V.C.S. Meeussen and H. Zantema
RUU-CS-92-42 pdf Total termination of term rewriting
M.C.F. Ferreira and H. Zantema
RUU-CS-92-38 pdf Termination of term rewriting by semantic labelling
H. Zantema
RUU-CS-92-14 pdf Termination of term rewriting by interpretation
H. Zantema
RUU-CS-91-46 pdf A paradigm for asynchronous communication and its application to concurrent constraint programming
F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
RUU-CS-91-42 pdf Classifying termination of term rewriting
H. Zantema
RUU-CS-91-24 pdf Embedding as a tool for language comparison, On the CSP hierarchy
F.S. de Boer and C. Palamidessi
RUU-CS-91-18 pdf Termination of term rewriting, from many-sorted to one-sorted
H. Zantema
RUU-CS-91-10 pdf A fully abstract model for Concurrent Constraint Programming
F.S. de Boer and C. Palamidessi
RUU-CS-90-40 pdf The failure of failures towards a paradigm for asynchronous communication
F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten
RUU-CS-90-28 pdf Longest segment problems
H. Zantema
RUU-CS-89-15 pdf Minimizing sums of addition chains
H. Zantema
RUU-CS-88-32 pdf Majority voting; characterization and algorithms
H. Zantema
RUU-CS-88-24 pdf Binary structures in program transformations
H. Zantema

indexed authors

author group
Abdullah, dr. A. bin all reports Multimedia and Geometry all reports
Abu-Hanna, dr. A. all reports Intelligent Systems all reports
Aldewereld, dr. H.M. all reports Decision Support Systems all reports
Arts, dr. T. all reports Intelligent Systems all reports
Beun, dr. ir. R.J. all reports Multimedia and Geometry all reports
Bex, dr. F.J. all reports Intelligent Systems all reports
Bodlaender, prof. dr. H.L. all reports Algorithmic Systems all reports
Boer, dr. F.S. de all reports Intelligent Systems all reports
Braak, dr. S.W. van den all reports Intelligent Systems all reports
Broersen, dr. ir. J.M. all reports Intelligent Systems all reports
Bruijn, N.C. de all reports Guests and Others all reports
Caminada, drs. M.W.A. all reports Intelligent Systems all reports
Charitos, dr. ir. T. all reports Decision Support 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 Intelligent Systems all reports
Dignum, dr. M.V. all reports Cognition and Communication all reports
Drugan, dr. ir. M.M. all reports Decision Support Systems all reports
Eijk, dr. R.M. van all reports Intelligent Systems all reports
Ferreira, dr. M.C.F. all reports Intelligent Systems all reports
Gaag, prof. dr. ir. L.C. van der all reports Decision Support Systems all reports
Groenouwe, ir. C.N. all reports Intelligent Systems all reports
Grossi, dr. D. all reports Intelligent Systems all reports
Harrenstein, dr. B.P. all reports Intelligent 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
Huibers, prof. dr. T.W.C. all reports Algorithmic Systems all reports
Hulst, dr. M. van all reports Intelligent Systems all reports
Hulstijn, dr. J. all reports Intelligent Systems all reports
Jong, dr. ir. E.D. de all reports Algorithmic Data Analysis all reports
Jonker, dr. G.M. all reports Intelligent Systems all reports
Kok, prof. dr. J.N. all reports Games and Virtual Worlds all reports
Koopman, dr. ing. A.C.M. all reports Algorithmic Data Analysis all reports
Kratsch, prof. dr. D. all reports Guests and Others all reports
Linder, dr. B. van all reports Intelligent Systems all reports
Lucas, dr. P.J.F. all reports Intelligent Systems all reports
Meyer, prof. dr. J-J.Ch. all reports Intelligent Systems all reports
Mol, MSc C.P. all reports Intelligent Systems all reports
Oostendorp, dr. H. van all reports Multimedia and Geometry all reports
Peek, dr. N.B. all reports Intelligent Systems all reports
Pierik, dr. C. all reports Intelligent Systems all reports
Prakken, prof. dr. mr. H. all reports Intelligent Systems all reports
Prüst, dr. H.H.A.M. all reports Organisation and Information all reports
Renooij, dr. S. all reports Decision Support Systems all reports
Riemsdijk, drs. M.B. van all reports Intelligent Systems all reports
Steunebrink, MSc B.R. all reports Intelligent Systems all reports
Thijsse, dr. E.G.C. all reports Guests and Others all reports
Timmer, MSc S.T. 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
Veltkamp, prof. dr. R.C. all reports Multimedia and Geometry all reports
Vreeken, dr. J. all reports Algorithmic Data Analysis all reports
Vreeswijk, dr. G.A.W. all reports Intelligent Systems all reports
Wiering, dr. M.A. all reports Intelligent Systems all reports
Witteveen, dr. C. all reports Intelligent Systems all reports
Zantema, dr. H. all reports Intelligent Systems all reports

BibTeX entries

@TECHREPORT{UUCS2017014,
author = {Groenouwe, Chide and Meyer, John-Jules},
year = 2017,
title = {Visually Embodying Well-Typedness of Algebraic Data Structures through Maramafication},
number = {UU-CS-2017-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016006,
author = {Hovestad, Bas and Bex, Floris},
year = 2016,
title = {Making sense of risks: A hybrid argumentative-narrative approach to risk assessment},
number = {UU-CS-2016-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015003,
author = {Timmer, Sjoerd and Meyer, John-Jules and Prakken, Henry and Renooij, Silja and Verheij, Bart},
year = 2015,
title = {A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation},
number = {UU-CS-2015-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013004,
author = {Eijk, Rogier~van},
year = 2013,
title = {A formal model of coaching progressive relaxation},
number = {UU-CS-2013-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013002,
author = {Prakken, Henry and Wyner, Adam and Bench-Capon, Trevor and Atkinson, Katie},
year = 2013,
title = {A formalisation of argument schemes for case-based reasoning in ASPIC+},
number = {UU-CS-2013-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012001,
author = {L.Bodlaender, Hans and Kratsch, Dieter and T.Timmer, Sjoerd},
year = 2012,
title = {Exact algorithms for Kayles},
number = {UU-CS-2012-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011002,
author = {Broersen, Jan},
year = 2011,
title = {Modeling Attempt and Action Failure in Probabilistic stit Logic},
number = {UU-CS-2011-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009019,
author = {Prakken, Henry},
year = 2009,
title = {An abstract framework for argumentation with structured arguments},
number = {UU-CS-2009-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-019.pdf}},
pubcat = {techreport}
}
@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{UUCS2009008,
author = {Abdullah, Azizi and Veltkamp, Remco and Wiering, Marco},
year = 2009,
title = {Fixed Partitioning and Salient Point with MPEG-7 Cluster Correlograms for Image Categorization},
number = {UU-CS-2009-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009002,
author = {Terpstra, Arnout and Velzen, Cliffred~van and Beun, Robbert-Jan and Eijk, Rogier~M.van},
year = 2009,
title = {Transcriptierapport Helpdeskgesprekken},
number = {UU-CS-2009-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008039,
author = {Prüst, Huub and Beun, Robbert-Jan and Eijk, Rogier~van},
year = 2008,
title = {On alignment of eye behaviour in human-agent interaction},
number = {UU-CS-2008-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008031,
author = {Prakken, Henri},
year = 2008,
title = {A formal model of adjudication dialogues},
number = {UU-CS-2008-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008024,
author = {Braak, Susan~W.~van~den and Oostendorp, Herre~van and Prakken, Henry and Vreeswijk, Gerard~A.~W.},
year = 2008,
title = {Representing causal knowledge in sense-making software for crime analysis},
number = {UU-CS-2008-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008022,
author = {Dastani, Mehdi and Mol, Christian~P. and Steunebrink, Bas~R.},
year = 2008,
title = {Modularity in Agent Programming Languages: An Illustration in Extended 2APL},
number = {UU-CS-2008-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-022.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{UUCS2007048,
author = {Prakken, Henry},
year = 2007,
title = {Formalising ordinary legal disputes: a case study},
number = {UU-CS-2007-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007013,
author = {Charitos, Theodore and Gaag, Linda~C.~van~der and Visscher, Stefan and Schurink, Karin~A.M. and Lucas, Peter~J.F.},
year = 2007,
title = {A Dynamic Bayesian Network for Diagnosing Ventilator-Associated Pneumonia in ICU Patients},
number = {UU-CS-2007-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007010,
author = {Caminada, Martin},
year = 2007,
title = {An Algorithm for Computing Semi-Stable Semantics},
number = {UU-CS-2007-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-010.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{UUCS2007004,
author = {Caminada, Martin and Ben-Naim, Jonathan},
year = 2007,
title = {Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming},
number = {UU-CS-2007-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006061,
author = {Dignum, Virginia and Dignum, Frank},
year = 2006,
title = {A Landscape of Agent Systems in the Real World},
number = {UU-CS-2006-061},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-061.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006060,
author = {Dignum, Virginia and Dignum, Frank},
year = 2006,
title = {Towards formal semantics for reorganization},
number = {UU-CS-2006-060},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006033,
author = {Beun, Robbert-Jan and Eijk, Rogier~M.~van},
year = 2006,
title = {Repairing Conceptual Mismatches in Dialogue: a Computational Approach},
number = {UU-CS-2006-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006027,
author = {Caminada, Martin},
year = 2006,
title = {Using Closed Sets of Rules for the Entailment of Literals},
number = {UU-CS-2006-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006023,
author = {Caminada, Martin},
year = 2006,
title = {On the Issue of Reinstatement in Argumentation},
number = {UU-CS-2006-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005048,
author = {Wiering, Marco and Patist, Jan~Peter and Mannen, Henk},
year = 2005,
title = {Learning to Play Board Games using Temporal Difference Methods},
number = {UU-CS-2005-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005045,
author = {Caminada, Martin},
year = 2005,
title = {On the Issue of Reinstatement in Argumentation},
number = {UU-CS-2005-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005023,
author = {Caminada, Martin},
year = 2005,
title = {Collapse in formal argumentation systems},
number = {UU-CS-2005-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005021,
author = {Prakken, Henry},
year = 2005,
title = {Coherence and Flexibility in Dialogue Games for Argumentation},
number = {UU-CS-2005-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-021.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005015,
author = {Dignum, Virginia and Dignum, Frank},
year = 2005,
title = {Task and Social Coordination in Agent Organizations},
number = {UU-CS-2005-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-015.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{UUCS2004038,
author = {Vazquez-Salceda, Javier},
year = 2004,
title = {Normative Agents in Health Care: Uses and Challenges},
number = {UU-CS-2004-038},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-038.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004032,
author = {Harrenstein, Paul},
year = 2004,
title = {Set Induced Relations and Relational Semantics},
number = {UU-CS-2004-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-032.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004029,
author = {Wiering, Marco and Veenen, Jelle~van and Vreeken, Jilles and Koopman, Arne},
year = 2004,
title = {Intelligent Traffic Light Control},
number = {UU-CS-2004-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-029.pdf}},
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{UUCS2004016,
author = {Grossi, Davide and Dignum, Frank},
year = 2004,
title = {Abstract and Concrete Norms in Institutions},
number = {UU-CS-2004-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004015,
author = {Vázquez-Salceda, Javier and Dignum, Virginia and Dignum, Frank},
year = 2004,
title = {Organizing Multi-Agent Systems},
number = {UU-CS-2004-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004005,
author = {Beun, Robbert-Jan and Eijk, Rogier~M.~van and Prüst, Huub},
year = 2004,
title = {Ontological Feedback in Multiagent Systems},
number = {UU-CS-2004-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-005.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{UUCS2003055,
author = {Beun, Robbert-Jan and Eijk, Rogier~M.~van},
year = 2003,
title = {Feedback in Human Computer Interaction: Resolving Ontological discrepancies},
number = {UU-CS-2003-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003045,
author = {Hulstijn, Joris and Vreeswijk, Gerard~A.~W.},
year = 2003,
title = {Turntaking: a case for agent-based programming},
number = {UU-CS-2003-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003034,
author = {Vreeswijk, Gerard},
year = 2003,
title = {A simple scheme to structure and process the information of parties in online forms of alternative dispute resolution},
number = {UU-CS-2003-034},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-034.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003032,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Rule of Adaptation for OO},
number = {UU-CS-2003-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003021,
author = {Jong, Edwin~de and Wiering, Marco and Drugan, Madalina},
year = 2003,
title = {Post-Processing for MCMC},
number = {UU-CS-2003-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003010,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
number = {UU-CS-2003-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003002,
author = {Boer, Frank~S.~de and Pierik, Cees},
year = 2003,
title = {Towards an environment for the verification of annotated object-oriented programs},
number = {UU-CS-2003-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002046,
author = {Wiering, Marco (editor)},
year = 2002,
title = {Proceedings of the 12th Belgian-Dutch Conference on Machine Learning},
number = {UU-CS-2002-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002029,
author = {Wiering, Marco~A.},
year = 2002,
title = {Model-based reinforcement learning in dynamic environments},
number = {UU-CS-2002-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-029.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002003,
author = {Wiering, Marco~A.},
year = 2002,
title = {Hierarchical mixtures of naive Bayes classifiers},
number = {UU-CS-2002-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-003.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200014,
author = {Groote, J.~F. and Zantema, H.},
year = 2000,
title = {Resolution and binary decision diagrams cannot simulate each other polynomially},
number = {UU-CS-2000-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-14.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200013,
author = {Hindriks, K.~V. and Lesperance, Y. and Levesque, H.},
year = 2000,
title = {An embedding of ConGolog in 3APL},
number = {UU-CS-2000-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-13.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200012,
author = {Lucas, P.~J.~F. and Bruijn, N.~de and Schurink, K. and Hoepelman, A.},
year = 2000,
title = {A probabilistic and decision-theoretic approach to the management of infectious disease at the ICU},
number = {UU-CS-2000-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-12.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-12.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200006,
author = {Pol, J.~van~de and Zantema, H.},
year = 2000,
title = {Binary decision diagrams by shared rewriting},
number = {UU-CS-2000-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-06.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200004,
author = {Zantema, H.},
year = 2000,
title = {Termination of Term Rewriting},
number = {UU-CS-2000-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-04.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199945,
author = {Peek, N.~B. and Coupe, V.~M.~H. and Ottenkamp, J.},
year = 1999,
title = {Focused quantification of a belief network using sensitivity analysis},
number = {UU-CS-1999-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-45.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-45.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199944,
author = {Coupe, V.~M.~H. and Peek, N.~B. and Ottenkamp, J. and Habbema, J.~D.~F.},
year = 1999,
title = {Using sensitivity analysis for efficient quantification of a belief network},
number = {UU-CS-1999-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-44.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199943,
author = {Peek, N.~B.},
year = 1999,
title = {A specialized POMDP form and algorithm for clinical patient management},
number = {UU-CS-1999-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-43.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199942,
author = {Peek, N.~B.},
year = 1999,
title = {Explicit temporal models for decision-theoretic planning of clinical management},
number = {UU-CS-1999-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-42.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-42.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199938,
author = {Lucas, P.~J.~F.},
year = 1999,
title = {Logic engineering in medicine},
number = {UU-CS-1999-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-38.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199934,
author = {Lucas, P.~J.~F.},
year = 1999,
title = {Certainty-factor-like structures in Bayesian belief networks},
number = {UU-CS-1999-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-34.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199931,
author = {Zantema, H. and Bodlaender, H.~L.},
year = 1999,
title = {Sizes of decision tables and decision trees},
number = {UU-CS-1999-31},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-31.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-31.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{UUCS199922,
author = {Zantema, H.},
year = 1999,
title = {The termination hierarchy for term rewriting},
number = {UU-CS-1999-22},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-22.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-22.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{UUCS199906,
author = {Bruijn, N.~de and Lucas, P.~J.~F. and Schurink, K. and Hoepelman, A.},
year = 1999,
title = {Improving antibiotic therapy of ventilator associated pneumonia using a probabilistic approach},
number = {UU-CS-1999-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-06.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199905,
author = {Lucas, P.~J.~F. and Tholen, A. and Oort, G.~van},
year = 1999,
title = {An intelligent system for pacemaker reprogramming},
number = {UU-CS-1999-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-05.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199904,
author = {Burg, W.~J.~ter and Lucas, P.~J.~F. and Braak, E.~ter},
year = 1999,
title = {A diagnostic advice system based on pathophysiological models of diseases},
number = {UU-CS-1999-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-04.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199902,
author = {Zantema, H. and Bodlaender, H.~L.},
year = 1999,
title = {Finding small equivalent decision trees is hard},
number = {UU-CS-1999-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199838,
author = {Lucas, P.~J.~F. and Abu-Hanna, A.},
year = 1998,
title = {Prognostic methods in medicine},
number = {UU-CS-1998-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-38.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199833,
author = {Lucas, P.~J.~F. and Boot, H. and Taal, B.~G.},
year = 1998,
title = {Computer-based decision support in the management of primary gastric non-Hodgkin lymphoma},
number = {UU-CS-1998-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-33.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199832,
author = {Lucas, P.J.F.},
year = 1998,
title = {De evaluatie van kennissytemen.},
number = {UU-CS-1998-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199814,
author = {Zantema, H.},
year = 1998,
title = {Decision trees: equivalence and propositional operations},
number = {UU-CS-1998-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-14.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-14.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{UUCS199802,
author = {Peek, N.~B.},
year = 1998,
title = {Predictive probabilistic models for treatment planning in paediatric cardiology},
number = {UU-CS-1998-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199801,
author = {Peek, N.~B. and Lucas, P.~J.~F.},
year = 1998,
title = {Trade-offs in decision-theoretic planning},
number = {UU-CS-1998-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1998/1998-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199734,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1997,
title = {Recovery of nonmonotonic theories},
number = {UU-CS-1997-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-34.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-34.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{UUCS199713,
author = {Ferreira, M.~C.~F.},
year = 1997,
title = {Recursively defined (quasi) orders on terms},
number = {UU-CS-1997-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-13.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-13.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199710,
author = {Lucas, P.~J.~F.},
year = 1997,
title = {Symbolic diagnosis and its formalisation},
number = {UU-CS-1997-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199708,
author = {Zantema, H.},
year = 1997,
title = {Termination of context-sensitive rewriting},
number = {UU-CS-1997-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-08.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199707,
author = {Arts, T. and Giesl, J.},
year = 1997,
title = {Proving innermost normalisation automatically},
number = {UU-CS-1997-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-07.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{UUCS199702,
author = {Peek, N.~B. and Ottenkamp, J.},
year = 1997,
title = {Developing a decision-theoretic network for a congenital heart disease},
number = {UU-CS-1997-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-02.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{UUCS199646,
author = {Lucas, P.~J.~F.},
year = 1996,
title = {Knowledge acquisition for decision-theoretic expert systems},
number = {UU-CS-1996-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-46.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199645,
author = {Geser, A. and Middeldorp, A. and Ohlebusch, E. and Zantema, H.},
year = 1996,
title = {Relative undecidability in term rewriting},
number = {UU-CS-1996-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-45.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-45.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199644,
author = {Arts, T. and Giesl, J.},
year = 1996,
title = {Automatically proving termination where simplification orderings fail},
number = {UU-CS-1996-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-44.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199642,
author = {Lucas, P.~J.~F.},
year = 1996,
title = {A theory of diagnosis as hypothesis refinement},
number = {UU-CS-1996-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-42.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-42.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{UUCS199618,
author = {Lucas, P.~J.~F.},
year = 1996,
title = {Modelling interactions for diagnosis},
number = {UU-CS-1996-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-18.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199616,
author = {Hoek, W.~van~der and Rijke, M.~de},
year = 1996,
title = {Interleaved contractions},
number = {UU-CS-1996-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199615,
author = {Middeldorp, A. and Ohsaki, H. and Zantema, H.},
year = 1996,
title = {Transforming termination by self-labelling},
number = {UU-CS-1996-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-15.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199607,
author = {Arts, T. and Giesl, J.},
year = 1996,
title = {Termination of constructor systems},
number = {UU-CS-1996-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199606,
author = {Boer, F.S.~de and Hulst, M.~van},
year = 1996,
title = {A Compositional Proof System for Asynchronously Communicating Processes},
number = {UU-CS-1996-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199605,
author = {Boer, F.S.~de and Francez, N. and Hulst, M.~van and Stomp, F.A.},
year = 1996,
title = {A Proof Theory of Asynchronously Communicating Sequential Processes},
number = {UU-CS-1996-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199603,
author = {Zantema, H. and Geser, A.},
year = 1996,
title = {Non-looping rewriting},
number = {UU-CS-1996-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-03.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199540,
author = {Linder, B.~van},
year = 1995,
title = {A dynamic logic of iterated belief change},
number = {UU-CS-1995-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-40.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199539,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1995,
title = {Semantic Based Theory Revision in Nonmonotonic Logic},
number = {UU-CS-1995-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-39.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{UUCS199532,
author = {Arts, T.},
year = 1995,
title = {A technique for automatically proving termination of constructor systems},
number = {UU-CS-1995-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-32.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-32.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{UUCS199517,
author = {Arts, T. and Zantema, H.},
year = 1995,
title = {Termination of constructor systems using semantic unification},
number = {UU-CS-1995-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-17.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199511,
author = {Peek, N.~B. and Gaag, L.~C.~van~der},
year = 1995,
title = {A Case-Based Filter for Diagnostic Belief Networks},
number = {UU-CS-1995-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-11.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199510,
author = {Fokkink, W.~J. and Zantema, H.},
year = 1995,
title = {A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration},
number = {UU-CS-1995-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-10.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{UUCS199456,
author = {Witteveen, C. and Hoek, W.~van~der},
year = 1994,
title = {Revision by Communication: Program by Consulting Weaker Semantics},
number = {UU-CS-1994-56},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-56.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199455,
author = {Zantema, H.},
year = 1994,
title = {Total termination of term rewriting is undecidable},
number = {UU-CS-1994-55},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-55.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-55.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{UUCS199447,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Dummy elimination: making termination easier},
number = {UU-CS-1994-47},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-47.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-47.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199446,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Well-foundedness of term orderings},
number = {UU-CS-1994-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-46.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199445,
author = {Boer, F.~S.~de and Hulst, M.~van},
year = 1994,
title = {A proof system for asynchronously communicating deterministic processes},
number = {UU-CS-1994-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-45.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-45.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199444,
author = {Zantema, H. and Geser, A.},
year = 1994,
title = {A complete characterization of termination of 0^p 1^q -> 1^r 0^s},
number = {UU-CS-1994-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-44.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199443,
author = {Walters, H.~R. and Zantema, H.},
year = 1994,
title = {Rewrite systems for integer arithmetic},
number = {UU-CS-1994-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-43.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-43.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{UUCS199437,
author = {Huibers, T.~W.~C. and Linder, B.~van and Bruza, P.~D.},
year = 1994,
title = {Een theorie voor het bestuderen van information retrieval modellen            (in Dutch)},
number = {UU-CS-1994-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-37.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199428,
author = {Ferreira, M.~C.~F. and Zantema, H.},
year = 1994,
title = {Syntactical analysis of total termination},
number = {UU-CS-1994-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-28.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-28.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199420,
author = {Arts, T. and Zantema, H.},
year = 1994,
title = {Termination of logic programs via labelled term rewrite systems},
number = {UU-CS-1994-20},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-20.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-20.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{RUUCS9341,
author = {Middeldorp, A. and Zantema, H.},
year = 1993,
title = {Simple termination revisited},
number = {RUU-CS-93-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-41.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9340,
author = {Fokkink, W.~J. and Zantema, H.},
year = 1993,
title = {Basic process algebra with iteration: completeness of its equational axioms},
number = {RUU-CS-93-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-40.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9332,
author = {Hoek, W.~van~der and Jaspars, J. and Thijsse, E.},
year = 1993,
title = {Honesty in Partial Logic},
number = {RUU-CS-93-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-32.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}
}
@TECHREPORT{RUUCS9324,
author = {Zantema, H.},
year = 1993,
title = {Termination of term rewriting by semantic labelling},
number = {RUU-CS-93-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-24.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-24.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9244,
author = {Boer, F.S.~de and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
year = 1992,
title = {On blocks; locality and asynchronous communication (extended abstract)},
number = {RUU-CS-92-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9243,
author = {Meeussen, V.C.S. and Zantema, H.},
year = 1992,
title = {Derivation lengths in terms rewriting from interpretations in the naturals},
number = {RUU-CS-92-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9242,
author = {Ferreira, M.C.F. and Zantema, H.},
year = 1992,
title = {Total termination of term rewriting},
number = {RUU-CS-92-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-42.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9238,
author = {Zantema, H.},
year = 1992,
title = {Termination of term rewriting by semantic labelling},
number = {RUU-CS-92-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9214,
author = {Zantema, H.},
year = 1992,
title = {Termination of term rewriting by interpretation},
number = {RUU-CS-92-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9146,
author = {Boer, F.~S.~de and Kok, J.~N. and Palamidessi, C. and Rutten, J.~J.~M.~M.},
year = 1991,
title = {A paradigm for asynchronous communication and its application to concurrent constraint programming},
number = {RUU-CS-91-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9142,
author = {Zantema, H.},
year = 1991,
title = {Classifying termination of term rewriting},
number = {RUU-CS-91-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-42.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9124,
author = {Boer, F.S.~de and Palamidessi, C.},
year = 1991,
title = {Embedding as a tool for language comparison, On the CSP hierarchy},
number = {RUU-CS-91-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-24.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9118,
author = {Zantema, H.},
year = 1991,
title = {Termination of term rewriting, from many-sorted to one-sorted},
number = {RUU-CS-91-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9110,
author = {Boer, F.S.~de and Palamidessi, C.},
year = 1991,
title = {A fully abstract model for Concurrent Constraint Programming},
number = {RUU-CS-91-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9040,
author = {Boer, F.S.~de and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
year = 1990,
title = {The failure of failures towards a paradigm for asynchronous communication},
number = {RUU-CS-90-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9028,
author = {Zantema, H.},
year = 1990,
title = {Longest segment problems},
number = {RUU-CS-90-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-28.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8915,
author = {Zantema, H.},
year = 1989,
title = {Minimizing sums of addition chains},
number = {RUU-CS-89-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8832,
author = {Zantema, H.},
year = 1988,
title = {Majority voting; characterization and algorithms},
number = {RUU-CS-88-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8824,
author = {Zantema, H.},
year = 1988,
title = {Binary structures in program transformations},
number = {RUU-CS-88-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-24.pdf}},
pubcat = {techreport}
}