Information and Computing Sciences
Technical reports: Intelligent Systems
reports (203)
techrep_id file title / author UU-CS-2017-019 Reasoning on Architecture Design
Pim de Jong, Marlies van Steenbergen, Jan Martijn van der Werf and Floris BexUU-CS-2017-014 Visually Embodying Well-Typedness of Algebraic Data Structures through Maramafication
Chide Groenouwe and John-Jules MeyerUU-CS-2016-006 Making sense of risks: A hybrid argumentative-narrative approach to risk assessment
Bas Hovestad and Floris BexUU-CS-2015-003 A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation
Sjoerd Timmer, John-Jules Meyer, Henry Prakken, Silja Renooij and Bart VerheijUU-CS-2014-024 Sensitivity of Multi-dimensional Bayesian Classifiers
Janneke Bolt and Silja RenooijUU-CS-2013-004 A formal model of coaching progressive relaxation
Rogier van EijkUU-CS-2013-002 A formalisation of argument schemes for case-based reasoning in ASPIC+
Henry Prakken, Adam Wyner, Trevor Bench-Capon and Katie AtkinsonUU-CS-2012-001 Exact algorithms for Kayles
Hans L.Bodlaender, Dieter Kratsch and Sjoerd T.TimmerUU-CS-2011-025 Efficient sensitivity analysis in hidden Markov models
Silja RenooijUU-CS-2011-002 Modeling Attempt and Action Failure in Probabilistic stit Logic
Jan BroersenUU-CS-2009-019 An abstract framework for argumentation with structured arguments
Henry PrakkenUU-CS-2009-014 A Modal Representation of Strategic Reasoning
Jan Broersen, Rosja Mastop, John-Jules Meyer, Paolo TurriniUU-CS-2009-008 Fixed Partitioning and Salient Point with MPEG-7 Cluster Correlograms for Image Categorization
Azizi Abdullah, Remco Veltkamp, Marco WieringUU-CS-2009-002 Transcriptierapport Helpdeskgesprekken
Arnout Terpstra, Cliffred van Velzen, Robbert-Jan Beun, Rogier M.van EijkUU-CS-2008-040 Evidence and Scenario Sensitivities in Naive Bayesian Classifiers
Silja Renooij en Linda van der GaagUU-CS-2008-039 On alignment of eye behaviour in human-agent interaction
Huub Prüst, Robbert-Jan Beun and Rogier van EijkUU-CS-2008-031 A formal model of adjudication dialogues
Henri PrakkenUU-CS-2008-024 Representing causal knowledge in sense-making software for crime analysis
Susan W. van den Braak, Herre van Oostendorp, Henry Prakken and Gerard A. W. VreeswijkUU-CS-2008-022 Modularity in Agent Programming Languages: An Illustration in Extended 2APL
Mehdi Dastani, Christian P. Mol, and Bas R. SteunebrinkUU-CS-2008-015 Aligning Bayesian Network Classifiers With MedicaL Contexts
Linda C. van der Gaag, Silja Renooij, Ad Feelders, Arend de Groote, Marinus J.C. Eijkemans, Frank J. Broekmans, Bart C.J.M. FauserUU-CS-2008-004 Currency Systems for Efficient and Equitable Exchange Among Selfish Agents in the Air Traffic Management Domain
Geert Jonker, Frank Dignum and John-Jules MeyerUU-CS-2007-048 Formalising ordinary legal disputes: a case study
Henry PrakkenUU-CS-2007-013 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. LucasUU-CS-2007-010 An Algorithm for Computing Semi-Stable Semantics
Martin CaminadaUU-CS-2007-006 Emotions as Heuristics for Rational Agents
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. MeyerUU-CS-2007-004 Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming
Martin Caminada and Jonathan Ben-NaimUU-CS-2006-061 A Landscape of Agent Systems in the Real World
Virginia Dignum, Frank DignumUU-CS-2006-060 Towards formal semantics for reorganization
Virginia Dignum, Frank DignumUU-CS-2006-034 Enhanced Qualitative Probabilistic Networks for Resolving Trade-offs
Silja Renooij and Linda C. van der GaagUU-CS-2006-033 Repairing Conceptual Mismatches in Dialogue: a Computational Approach
Robbert-Jan Beun and Rogier M. van EijkUU-CS-2006-027 Using Closed Sets of Rules for the Entailment of Literals
Martin CaminadaUU-CS-2006-023 On the Issue of Reinstatement in Argumentation
Martin CaminadaUU-CS-2006-005 ps.gz Descisiveness in Loopy Propagation
Janneke H. Bolt, Linda C. van der GaagUU-CS-2005-048 Learning to Play Board Games using Temporal Difference Methods
Marco Wiering, Jan Peter Patist, Henk MannenUU-CS-2005-045 On the Issue of Reinstatement in Argumentation
Martin CaminadaUU-CS-2005-023 Collapse in formal argumentation systems
Martin CaminadaUU-CS-2005-021 ps.gz Coherence and Flexibility in Dialogue Games for Argumentation
Henry PrakkenUU-CS-2005-015 Task and Social Coordination in Agent Organizations
Virginia Dignum and Frank DignumUU-CS-2005-013 Dynamic logic for plan revision in intelligent agents
M. Birna van Riemsdijk, Frank S. de Boer, and John-Jules MeyerUU-CS-2005-010 ps.gz Proving Norm Compliancy of Protocols in Electronic Institutions
Huib Aldewereld, Frank Dignum, John-Jules Meyer, and Javier Vázquez-SalcedaUU-CS-2004-038 Normative Agents in Health Care: Uses and Challenges
Javier Vazquez-SalcedaUU-CS-2004-032 ps.gz Set Induced Relations and Relational Semantics
Paul HarrensteinUU-CS-2004-029 Intelligent Traffic Light Control
Marco Wiering, Jelle van Veenen, Jilles Vreeken, Arne KoopmanUU-CS-2004-019 ps.gz An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations
V. Dignum, F. Dignum, J.J. MeyerUU-CS-2004-016 Abstract and Concrete Norms in Institutions
Davide Grossi and Frank DignumUU-CS-2004-015 Organizing Multi-Agent Systems
Javier Vázquez-Salceda, Virginia Dignum, Frank DignumUU-CS-2004-006 ps.gz Introducing Situational Signs in Qualitative Probabilistic Networks
Janneke H. Bolt, Linda C. van der Gaag, Silja RenooijUU-CS-2004-005 Ontological Feedback in Multiagent Systems
Robbert-Jan Beun, Rogier M. van Eijk, and Huub PrüstUU-CS-2004-003 Optimal communication vocubularies in the presence of heterogeneous ontologies
Jurriaan van Diggelen, Robbert Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules MeyerUU-CS-2004-002 Semantics of Plan Revision in Intelligent Agents
M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de BoerUU-CS-2003-055 Feedback in Human Computer Interaction: Resolving Ontological discrepancies
Robbert-Jan Beun and Rogier M. van EijkUU-CS-2003-047 ps.gz Evolutionary Markov chain Monte Carlo
Madalina M. Drugan, Dirk ThierensUU-CS-2003-046 ps.gz Convergence Time Analysis for the Multi-objective Counting Ones Problem
Dirk ThierensUU-CS-2003-045 Turntaking: a case for agent-based programming
Joris Hulstijn and Gerard A. W. VreeswijkUU-CS-2003-032 ps.gz A Rule of Adaptation for OO
Cees Pierik and Frank S. de BoerUU-CS-2003-021 Post-Processing for MCMC
Edwin de Jong, Marco Wiering, and Madalina DruganUU-CS-2003-010 ps.gz A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
Cees Pierik, Frank S. de BoerUU-CS-2003-002 ps.gz Towards an environment for the verification of annotated object-oriented programs
Frank S. de Boer, Cees PierikUU-CS-2002-056 ps.gz Adaptive mutation rate control schemes in genetic algorithms
Dirk ThierensUU-CS-2002-055 ps.gz Predictive measures for problem representation and genetic operator design
Dirk ThierensUU-CS-2002-054 ps.gz Random Keys on ICE: Marginal Product Factorized Probability Distributions in Permutation Optimization
Peter A. N. Bosman, Dirk ThierensUU-CS-2002-053 ps.gz Permutation Optimization by Iterated Estimation of Random Keys Marginal Product Factorizations
Peter A. N. Bosman and Dirk ThierensUU-CS-2002-052 ps.gz A Thorough Documentation of Obtained Results on Real-Valued Continious and Combinatorial Multi-Objective Optimization Problems Using Diversity Preserving Mixture-Based Iterated Density Estimation Evolutionary Algorithms
Peter A. N. Bosman, Dirk ThierensUU-CS-2002-046 Proceedings of the 12th Belgian-Dutch Conference on Machine Learning
Marco Wiering (editor)UU-CS-2002-029 ps.gz Model-based reinforcement learning in dynamic environments
Marco A. WieringUU-CS-2002-024 Context-specific Sign-propagation in Qualitative Probabilistic Networks
Silja Renooij, Linda C. van der Gaag, Simon ParsonsUU-CS-2002-015 ps.gz On the design and analysis of competent GAs
Steven van Dijk, Dirk Thierens, Mark de BergUU-CS-2002-003 ps.gz Hierarchical mixtures of naive Bayes classifiers
Marco A. WieringUU-CS-2001-59 ps.gz Multi-objective mixture based iterated density estimation evolutionary algorithms
Dirk Thierens and Peter A. N. BosmanUU-CS-2001-53 Exploiting gradient information in continuous iterated density estimation evolutionary algorithms
Peter A. N. Bosman and Dirk ThierensUU-CS-2001-52 New IDEAs and more ICE by learning and using unconditional permutation factorizations
Peter A. N. Bosman and Dirk ThierensUU-CS-2001-51 Advancing continuous IDEAs with mixed distributions and factorization selection metrics
Peter A. N. Bosman and Dirk ThierensUU-CS-2001-50 Crossing the road to efficient IDEAs for permutation problems
Peter A. N. Bosman and Dirk ThierensUU-CS-2001-01 ps.gz Probabilities for a probabilistic network: A case-study in Oesophageal Carcinoma
L. C. van der Gaag, S. Renooij, C. L. M. Witteman, B. M. P. Aleman, B. G. TaalUU-CS-2000-45 ps.gz Mixed IDEAs
P. A. N. Bosman, D. ThierensUU-CS-2000-36 ps.gz Negative log-likelihood and statistical hypothesis testing as the basis of model selection in IDEAs
P. A. N. Bosman, D. ThierensUU-CS-2000-32 ps.gz Using genetic algorithms for solving hard problems in GIS
S. van Dijk, D. Thierens, M. T. de BergUU-CS-2000-26 ps.gz Expanding from discrete to continuous estimation of distribution algorithms: The IDEA
P. A. N. Bosman, D. ThierensUU-CS-2000-18 ps.gz Pivotal pruning of trade-offs in QPNs
S. Renooij, L. C. van der Gaag, S. Parsons, S. GreenUU-CS-2000-17 ps.gz Exploiting non-monotonic influences in qualitative belief networks
S. Renooij, L. C. van der GaagUU-CS-2000-16 ps.gz Evaluation of a probabilistic model for staging of oesophageal carcinoma
L. C. van der Gaag, S. Renooij, B. M. P. Aleman, B. G. TaalUU-CS-2000-15 ps.gz Continuous iterated density estimation evolutionary algorithms within the IDEA framework
P. A. N. Bosman, D. ThierensUU-CS-2000-14 ps.gz Resolution and binary decision diagrams cannot simulate each other polynomially
J. F. Groote, H. ZantemaUU-CS-2000-13 ps.gz An embedding of ConGolog in 3APL
K. V. Hindriks, Y. Lesperance, H. LevesqueUU-CS-2000-12 ps.gz 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. HoepelmanUU-CS-2000-11 ps.gz IDEAs based on the normal kernels probability density function
P. A. N. Bosman, D. ThierensUU-CS-2000-06 ps.gz Binary decision diagrams by shared rewriting
J. van de Pol, H. ZantemaUU-CS-2000-04 ps.gz Termination of Term Rewriting
H. ZantemaUU-CS-1999-49 ps.gz A case study of a multiobjective elitist recombinative genetic algorithm with coevolutionary sharing
M. Neef, D. Thierens, H. ArciszweskiUU-CS-1999-48 ps.gz On the scalability of simple genetic algorithms
D. ThierensUU-CS-1999-47 ps.gz Estimating the significant non-linearities in the genome problem-coding
D. ThierensUU-CS-1999-46 ps.gz An algorithmic framework for density estimation based evolutionary algorithms
P. A. N. Bosman, D. ThierensUU-CS-1999-45 ps.gz Focused quantification of a belief network using sensitivity analysis
N. B. Peek, V. M. H. Coupe, J. OttenkampUU-CS-1999-44 ps.gz Using sensitivity analysis for efficient quantification of a belief network
V. M. H. Coupe, N. B. Peek, J. Ottenkamp, J. D. F. HabbemaUU-CS-1999-43 ps.gz A specialized POMDP form and algorithm for clinical patient management
N. B. PeekUU-CS-1999-42 ps.gz Explicit temporal models for decision-theoretic planning of clinical management
N. B. PeekUU-CS-1999-38 ps.gz Logic engineering in medicine
P. J. F. LucasUU-CS-1999-34 ps.gz Certainty-factor-like structures in Bayesian belief networks
P. J. F. LucasUU-CS-1999-31 ps.gz Sizes of decision tables and decision trees
H. Zantema, H. L. BodlaenderUU-CS-1999-30 ps.gz An operational semantics for the single agent core of AGENT0
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1999-23 ps.gz Enhancing QPNs for trade-off resolution
S. Renooij, L. C. van der GaagUU-CS-1999-22 ps.gz The termination hierarchy for term rewriting
H. ZantemaUU-CS-1999-19 ps.gz Talking probabilities: communicating probabilistic information with words and numbers
S. Renooij, C. L. M. WittemanUU-CS-1999-17 ps.gz Open multi-agent systems: Agent communication and integration
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1999-15 ps.gz How to elicit many probabilities
L. C. van der Gaag, S. Renooij, C. L. M. Witteman, B. M. P. Aleman, B. G. TaalUU-CS-1999-11 ps.gz On the modelling of evolutionary algorithms
P. A. N. Bosman, D. ThierensUU-CS-1999-10 ps.gz Linkage information processing in distribution estimation algorithms
P. A. N. Bosman, D. ThierensUU-CS-1999-09 ps.gz Semantics of communicating agents based on deduction and abduction
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1999-08 ps.gz Operational semantics for agent communication languages
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1999-06 ps.gz Improving antibiotic therapy of ventilator associated pneumonia using a probabilistic approach
N. de Bruijn, P. J. F. Lucas, K. Schurink, A. HoepelmanUU-CS-1999-05 ps.gz An intelligent system for pacemaker reprogramming
P. J. F. Lucas, A. Tholen, G. van OortUU-CS-1999-04 ps.gz A diagnostic advice system based on pathophysiological models of diseases
W. J. ter Burg, P. J. F. Lucas, E. ter BraakUU-CS-1999-02 ps.gz Finding small equivalent decision trees is hard
H. Zantema, H. L. BodlaenderUU-CS-1998-49 ps.gz Domino convergence, drift, and the temporal-salience structure of problems
D. Thierens, D. E. Goldberg, A. G. PereiraUU-CS-1998-48 ps.gz Selection schemes, elitist recombination, and selection intensity
D. ThierensUU-CS-1998-47 ps.gz Dimensional analysis of Allele-Wise mixing revisited
D. ThierensUU-CS-1998-46 ps.gz Non-redundant genetic coding of neural networks
D. ThierensUU-CS-1998-41 ps.gz Robust genetic algorithms for high quality map labeling
S. van Dijk, D. Thierens, M. T. de BergUU-CS-1998-38 ps.gz Prognostic methods in medicine
P. J. F. Lucas, A. Abu-HannaUU-CS-1998-33 ps.gz Computer-based decision support in the management of primary gastric non-Hodgkin lymphoma
P. J. F. Lucas, H. Boot, B. G. TaalUU-CS-1998-32 De evaluatie van kennissytemen.
P.J.F. LucasUU-CS-1998-14 ps.gz Decision trees: equivalence and propositional operations
H. ZantemaUU-CS-1998-08 ps.gz Formalising abilities and opportunities of agents
B. van Linder, W. van der Hoek, J-J. Ch. MeyerUU-CS-1998-07 ps.gz A formal embedding of AgentSpeak(L) in 3APL
K. V. Hindriks, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1998-03 ps.gz Decision making in qualitative influence diagrams
S. Renooij, L. C. van der GaagUU-CS-1998-02 ps.gz Predictive probabilistic models for treatment planning in paediatric cardiology
N. B. PeekUU-CS-1998-01 ps.gz Trade-offs in decision-theoretic planning
N. B. Peek, P. J. F. LucasUU-CS-1997-34 ps.gz Recovery of nonmonotonic theories
C. Witteveen, W. van der HoekUU-CS-1997-17 ps.gz Informational independence: Models and normal forms
L. C. van der Gaag, J-J. Ch. MeyerUU-CS-1997-16 ps.gz A language for Modular Information-passing Agents
R. M. van Eijk, F. S. de Boer, W. van der Hoek, J-J. Ch. MeyerUU-CS-1997-14 ps.gz Group knowledge isn't always distributed (neither is it always implicit)
W. van der Hoek, B. van Linder, J-J. Ch. MeyerUU-CS-1997-13 ps.gz Recursively defined (quasi) orders on terms
M. C. F. FerreiraUU-CS-1997-10 ps.gz Symbolic diagnosis and its formalisation
P. J. F. LucasUU-CS-1997-08 ps.gz Termination of context-sensitive rewriting
H. ZantemaUU-CS-1997-07 ps.gz Proving innermost normalisation automatically
T. Arts, J. GieslUU-CS-1997-06 ps.gz An integrated modal approach to rational agents
W. van der Hoek, B. van Linder, J-J. Ch. MeyerUU-CS-1997-03 ps.gz Formalizing motivational attitudes of agents using the KARO framework
B. van Linder, J-J. Ch. Meyer, W. van der HoekUU-CS-1997-02 ps.gz Developing a decision-theoretic network for a congenital heart disease
N. B. Peek, J. OttenkampUU-CS-1996-55 The Role of Deontic Logic in the Specification of Information Languages
J.-J. Ch. Meyer and R.J. Wieringa and F.P.M. DignumUU-CS-1996-52 A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge
W. van der Hoek and J.J.-Ch. MeyerUU-CS-1996-47 ps.gz The dynamics of probabilistic structural relevance
L. C. van der Gaag, J-J. Ch. MeyerUU-CS-1996-46 ps.gz Knowledge acquisition for decision-theoretic expert systems
P. J. F. LucasUU-CS-1996-45 ps.gz Relative undecidability in term rewriting
A. Geser, A. Middeldorp, E. Ohlebusch, H. ZantemaUU-CS-1996-44 ps.gz Automatically proving termination where simplification orderings fail
T. Arts, J. GieslUU-CS-1996-42 ps.gz A theory of diagnosis as hypothesis refinement
P. J. F. LucasUU-CS-1996-32 Preferential Action Semantics (Preliminary Report)
J.-J. Ch. Meyer and P. DohertyUU-CS-1996-21 ps.gz Characterizing normal forms for informational independence
L. C. van der Gaag, J-J. Ch. MeyerUU-CS-1996-19 A Knowledge-Based Compositional Proof System for Parallel Processes
M. van Hulst and J.-J.Ch. MeyerUU-CS-1996-18 ps.gz Modelling interactions for diagnosis
P. J. F. LucasUU-CS-1996-16 ps.gz Interleaved contractions
W. van der Hoek, M. de RijkeUU-CS-1996-15 ps.gz Transforming termination by self-labelling
A. Middeldorp, H. Ohsaki, H. ZantemaUU-CS-1996-07 ps.gz Termination of constructor systems
T. Arts, J. GieslUU-CS-1996-06 A Compositional Proof System for Asynchronously Communicating Processes
F.S. de Boer and M. van HulstUU-CS-1996-05 A Proof Theory of Asynchronously Communicating Sequential Processes
F.S. de Boer and N. Francez and M. van Hulst and F.A. StompUU-CS-1996-03 ps.gz Non-looping rewriting
H. Zantema, A. GeserUU-CS-1995-40 ps.gz A dynamic logic of iterated belief change
B. van LinderUU-CS-1995-39 Semantic Based Theory Revision in Nonmonotonic Logic
C. Witteveen and W. van der HoekUU-CS-1995-38 Possible World Semantics for Analogous Reasoning
J.-J.Ch. Meyer and J.C. van LeeuwenUU-CS-1995-32 ps.gz A technique for automatically proving termination of constructor systems
T. ArtsUU-CS-1995-30 An Integrated framework for ought-to-be and ought-to-do constraints
P. d'Altan and J.-J.Ch. Meyer and R.J. WieringaUU-CS-1995-19 Modal Logics for Representing Incoherent Knowledge
J.J.Ch. Meyer and W. van der HoekUU-CS-1995-18 A Modal Contrastive Logic: The Logic of `But' (revised version of UU-CS-1994-07)
J.J.Ch. Meyer and W. van der HoekUU-CS-1995-17 ps.gz Termination of constructor systems using semantic unification
T. Arts, H. ZantemaUU-CS-1995-11 ps.gz A Case-Based Filter for Diagnostic Belief Networks
N. B. Peek, L. C. van der GaagUU-CS-1995-10 ps.gz A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration
W. J. Fokkink, H. ZantemaUU-CS-1995-08 ps.gz Seeing is believing - And so are hearing and jumping
B. van Linder, W. van der Hoek, J-J. Ch. MeyerUU-CS-1994-56 Revision by Communication: Program by Consulting Weaker Semantics
C. Witteveen and W. van der HoekUU-CS-1994-55 ps.gz Total termination of term rewriting is undecidable
H. ZantemaUU-CS-1994-54 Temporalizing Epistemic Default Logic
W. van der Hoek and J.-J. Ch. Meyer and J. TreurUU-CS-1994-53 ps.gz Actions that Make you Change your Mind --- Belief Revision in an Agent-Oriented Setting
B. van Linder, W. van der Hoek, J-J. Ch. MeyerUU-CS-1994-48 ps.gz The dynamics of default reasoning
B. van Linder, W. van der Hoek, J-J. Ch. MeyerUU-CS-1994-47 ps.gz Dummy elimination: making termination easier
M. C. F. Ferreira, H. ZantemaUU-CS-1994-46 ps.gz Well-foundedness of term orderings
M. C. F. Ferreira, H. ZantemaUU-CS-1994-45 ps.gz A proof system for asynchronously communicating deterministic processes
F. S. de Boer, M. van HulstUU-CS-1994-44 ps.gz A complete characterization of termination of 0^p 1^q -> 1^r 0^s
H. Zantema, A. GeserUU-CS-1994-43 ps.gz Rewrite systems for integer arithmetic
H. R. Walters, H. ZantemaUU-CS-1994-38 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. WieringaUU-CS-1994-37 ps.gz Een theorie voor het bestuderen van information retrieval modellen (in Dutch)
T. W. C. Huibers, B. van Linder, P. D. BruzaUU-CS-1994-28 ps.gz Syntactical analysis of total termination
M. C. F. Ferreira, H. ZantemaUU-CS-1994-20 ps.gz Termination of logic programs via labelled term rewrite systems
T. Arts, H. ZantemaUU-CS-1994-08 ps.gz Tests as epistemic updates - pursuit of knowledge
B. van Linder, W. van der Hoek, J-J. Ch. MeyerUU-CS-1994-07 A Modal Contrastive Logic: The Logic of `But`
J.J.-Ch. Meyer and W. van der HoekRUU-CS-93-44 Graded Modal and Epistemic Logic
J.-J. Ch. Meyer and W. van der HoekRUU-CS-93-41 ps.gz Simple termination revisited
A. Middeldorp, H. ZantemaRUU-CS-93-40 ps.gz Basic process algebra with iteration: completeness of its equational axioms
W. J. Fokkink, H. ZantemaRUU-CS-93-32 Honesty in Partial Logic
W. van der Hoek, J. Jaspars and E. ThijsseRUU-CS-93-30 ps.gz Unravelling nondeterminism: On having the ability to choose
W. van der Hoek, B. van Linder, J-J. Ch. MeyerRUU-CS-93-24 ps.gz Termination of term rewriting by semantic labelling
H. ZantemaRUU-CS-92-44 On blocks; locality and asynchronous communication (extended abstract)
F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. RuttenRUU-CS-92-43 Derivation lengths in terms rewriting from interpretations in the naturals
V.C.S. Meeussen and H. ZantemaRUU-CS-92-42 Total termination of term rewriting
M.C.F. Ferreira and H. ZantemaRUU-CS-92-38 Termination of term rewriting by semantic labelling
H. ZantemaRUU-CS-92-14 Termination of term rewriting by interpretation
H. ZantemaRUU-CS-91-46 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. RuttenRUU-CS-91-42 Classifying termination of term rewriting
H. ZantemaRUU-CS-91-24 Embedding as a tool for language comparison, On the CSP hierarchy
F.S. de Boer and C. PalamidessiRUU-CS-91-18 Termination of term rewriting, from many-sorted to one-sorted
H. ZantemaRUU-CS-91-10 A fully abstract model for Concurrent Constraint Programming
F.S. de Boer and C. PalamidessiRUU-CS-90-40 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. RuttenRUU-CS-90-28 Longest segment problems
H. ZantemaRUU-CS-89-15 Minimizing sums of addition chains
H. ZantemaRUU-CS-88-32 Majority voting; characterization and algorithms
H. ZantemaRUU-CS-88-24 Binary structures in program transformations
H. Zantema
BibTeX entries
@TECHREPORT{UUCS2017019,
author = {Jong, Pim~de and Steenbergen, Marlies~van and Werf, Jan~Martijn~van~der and Bex, Floris},
year = 2017,
title = {Reasoning on Architecture Design},
number = {UU-CS-2017-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2017/2017-019.pdf}},
pubcat = {techreport}
}
@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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2015/2015-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014024,
author = {Bolt, Janneke and Renooij, Silja},
year = 2014,
title = {Sensitivity of Multi-dimensional Bayesian Classifiers},
number = {UU-CS-2014-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2014/2014-024.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2012/2012-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011025,
author = {Renooij, Silja},
year = 2011,
title = {Efficient sensitivity analysis in hidden Markov models},
number = {UU-CS-2011-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2011/2011-025.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2009/2009-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008040,
author = {Gaag, Silja~Renooij~en~Linda~van~der},
year = 2008,
title = {Evidence and Scenario Sensitivities in Naive Bayesian Classifiers},
number = {UU-CS-2008-040},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2008/2008-040.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2008/2008-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008015,
author = {Gaag, Linda~C.~van~der and Renooij, Silja and Feelders, Ad and Groote, Arend~de and Eijkemans, Marinus~J.C. and Broekmans, Frank~J. and Fauser, Bart~C.J.M.},
year = 2008,
title = {Aligning Bayesian Network Classifiers With MedicaL Contexts},
number = {UU-CS-2008-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2008/2008-015.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2006/2006-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006034,
author = {Renooij, Silja and Gaag, Linda~C.~van~der},
year = 2006,
title = {Enhanced Qualitative Probabilistic Networks for Resolving Trade-offs},
number = {UU-CS-2006-034},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2006/2006-034.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2006/2006-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006005,
author = {Bolt, Janneke~H. and Gaag, Linda~C.~van~der},
year = 2006,
title = {Descisiveness in Loopy Propagation},
number = {UU-CS-2006-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2006/2006-005.ps.gz}},
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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2005/2005-021.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2004/2004-032.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2004/2004-019.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2004/2004-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004006,
author = {Bolt, Janneke~H. and Gaag, Linda~C.~van~der and Renooij, Silja},
year = 2004,
title = {Introducing Situational Signs in Qualitative Probabilistic Networks},
number = {UU-CS-2004-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2004/2004-006.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2004/2004-006.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003047,
author = {Drugan, Madalina~M. and Thierens, Dirk},
year = 2003,
title = {Evolutionary Markov chain Monte Carlo
},
number = {UU-CS-2003-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-047.ps.gz}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003046,
author = {Thierens, Dirk},
year = 2003,
title = {Convergence Time Analysis for the Multi-objective Counting Ones Problem},
number = {UU-CS-2003-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-046.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-046.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-045.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-032.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-010.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-002.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2003/2003-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002056,
author = {Thierens, Dirk},
year = 2002,
title = {Adaptive mutation rate control schemes in genetic algorithms},
number = {UU-CS-2002-056},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-056.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-056.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002055,
author = {Thierens, Dirk},
year = 2002,
title = {Predictive measures for problem representation and genetic operator design},
number = {UU-CS-2002-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-055.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002054,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2002,
title = {Random Keys on ICE: Marginal Product Factorized Probability Distributions in Permutation Optimization},
number = {UU-CS-2002-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-054.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002053,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2002,
title = {Permutation Optimization by Iterated Estimation of Random Keys Marginal Product Factorizations},
number = {UU-CS-2002-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-053.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002052,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2002,
title = {A Thorough Documentation of Obtained Results on Real-Valued Continious and Combinatorial Multi-Objective Optimization Problems Using Diversity Preserving Mixture-Based Iterated Density Estimation Evolutionary Algorithms},
number = {UU-CS-2002-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-052.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-052.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-029.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002024,
author = {Renooij, Silja and Gaag, Linda~C.~van~der and Parsons, Simon},
year = 2002,
title = {Context-specific Sign-propagation in Qualitative Probabilistic Networks},
number = {UU-CS-2002-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002015,
author = {Dijk, Steven~van and Thierens, Dirk and Berg, Mark~de},
year = 2002,
title = {On the design and analysis of competent GAs},
number = {UU-CS-2002-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-015.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-015.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-003.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2002/2002-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200159,
author = {Thierens, Dirk and Bosman, Peter~A.~N.},
year = 2001,
title = {Multi-objective mixture based iterated density estimation evolutionary algorithms},
number = {UU-CS-2001-59},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-59.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-59.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200153,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2001,
title = {Exploiting gradient information in continuous iterated density estimation evolutionary algorithms},
number = {UU-CS-2001-53},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-53.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200152,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2001,
title = {New IDEAs and more ICE by learning and using unconditional permutation factorizations},
number = {UU-CS-2001-52},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-52.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200151,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2001,
title = {Advancing continuous IDEAs with mixed distributions and factorization selection metrics},
number = {UU-CS-2001-51},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-51.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200150,
author = {Bosman, Peter~A.~N. and Thierens, Dirk},
year = 2001,
title = {Crossing the road to efficient IDEAs for permutation problems},
number = {UU-CS-2001-50},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-50.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200101,
author = {Gaag, L.~C.~van~der and Renooij, S. and Witteman, C.~L.~M. and Aleman, B.~M.~P. and Taal, B.~G.},
year = 2001,
title = {Probabilities for a probabilistic network: A case-study in Oesophageal Carcinoma},
number = {UU-CS-2001-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-01.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2001/2001-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200045,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 2000,
title = {Mixed IDEAs},
number = {UU-CS-2000-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-45.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-45.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200036,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 2000,
title = {Negative log-likelihood and statistical hypothesis testing as the basis of model selection in IDEAs},
number = {UU-CS-2000-36},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-36.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-36.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200032,
author = {Dijk, S.~van and Thierens, D. and Berg, M.~T.~de},
year = 2000,
title = {Using genetic algorithms for solving hard problems in GIS},
number = {UU-CS-2000-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-32.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200026,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 2000,
title = {Expanding from discrete to continuous estimation of distribution algorithms: The IDEA},
number = {UU-CS-2000-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-26.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200018,
author = {Renooij, S. and Gaag, L.~C.~van~der and Parsons, S. and Green, S.},
year = 2000,
title = {Pivotal pruning of trade-offs in QPNs},
number = {UU-CS-2000-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-18.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200017,
author = {Renooij, S. and Gaag, L.~C.~van~der},
year = 2000,
title = {Exploiting non-monotonic influences in qualitative belief networks},
number = {UU-CS-2000-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-17.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200016,
author = {Gaag, L.~C.~van~der and Renooij, S. and Aleman, B.~M.~P. and Taal, B.~G.},
year = 2000,
title = {Evaluation of a probabilistic model for staging of oesophageal carcinoma},
number = {UU-CS-2000-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-16.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200015,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 2000,
title = {Continuous iterated density estimation evolutionary algorithms within the IDEA framework},
number = {UU-CS-2000-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-15.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-15.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-14.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-13.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-12.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-12.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200011,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 2000,
title = {IDEAs based on the normal kernels probability density function},
number = {UU-CS-2000-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-11.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-11.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-06.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-04.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-2000/2000-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199949,
author = {Neef, M. and Thierens, D. and Arciszweski, H.},
year = 1999,
title = {A case study of a multiobjective elitist recombinative genetic algorithm with coevolutionary sharing},
number = {UU-CS-1999-49},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-49.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-49.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199948,
author = {Thierens, D.},
year = 1999,
title = {On the scalability of simple genetic algorithms},
number = {UU-CS-1999-48},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-48.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-48.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199947,
author = {Thierens, D.},
year = 1999,
title = {Estimating the significant non-linearities in the genome problem-coding},
number = {UU-CS-1999-47},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-47.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-47.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199946,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 1999,
title = {An algorithmic framework for density estimation based evolutionary algorithms},
number = {UU-CS-1999-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-46.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-46.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-45.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-44.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-43.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-42.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-38.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-34.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-31.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-30.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199923,
author = {Renooij, S. and Gaag, L.~C.~van~der},
year = 1999,
title = {Enhancing QPNs for trade-off resolution},
number = {UU-CS-1999-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-23.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-23.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-22.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-22.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199919,
author = {Renooij, S. and Witteman, C.~L.~M.},
year = 1999,
title = {Talking probabilities: communicating probabilistic information with words and numbers},
number = {UU-CS-1999-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-19.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-19.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-17.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199915,
author = {Gaag, L.~C.~van~der and Renooij, S. and Witteman, C.~L.~M. and Aleman, B.~M.~P. and Taal, B.~G.},
year = 1999,
title = {How to elicit many probabilities},
number = {UU-CS-1999-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-15.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199911,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 1999,
title = {On the modelling of evolutionary algorithms},
number = {UU-CS-1999-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-11.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199910,
author = {Bosman, P.~A.~N. and Thierens, D.},
year = 1999,
title = {Linkage information processing in distribution estimation algorithms},
number = {UU-CS-1999-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-10.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-10.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-09.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-08.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-06.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-05.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-04.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-02.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1999/1999-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199849,
author = {Thierens, D. and Goldberg, D.~E. and Pereira, A.~G.},
year = 1998,
title = {Domino convergence, drift, and the temporal-salience structure of problems},
number = {UU-CS-1998-49},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-49.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-49.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199848,
author = {Thierens, D.},
year = 1998,
title = {Selection schemes, elitist recombination, and selection intensity},
number = {UU-CS-1998-48},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-48.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-48.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199847,
author = {Thierens, D.},
year = 1998,
title = {Dimensional analysis of Allele-Wise mixing revisited},
number = {UU-CS-1998-47},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-47.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-47.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199846,
author = {Thierens, D.},
year = 1998,
title = {Non-redundant genetic coding of neural networks},
number = {UU-CS-1998-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-46.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199841,
author = {Dijk, S.~van and Thierens, D. and Berg, M.~T.~de},
year = 1998,
title = {Robust genetic algorithms for high quality map labeling},
number = {UU-CS-1998-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-41.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-41.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-38.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-33.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-14.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-08.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-07.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199803,
author = {Renooij, S. and Gaag, L.~C.~van~der},
year = 1998,
title = {Decision making in qualitative influence diagrams},
number = {UU-CS-1998-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-03.ps.gz}},
urlpdf = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-03.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-02.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1998/1998-01.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-34.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-17.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-16.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-14.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-13.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-10.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-08.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-07.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-06.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-03.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1997/1997-02.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-47.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-46.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-45.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-44.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-42.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-21.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-18.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-16.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-15.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-07.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1996/1996-03.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-40.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-32.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-17.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-11.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-10.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1995/1995-08.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-55.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-53.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-48.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-47.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-46.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-45.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-44.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-43.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-37.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-28.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-20.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1994/1994-08.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1993/1993-41.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1993/1993-40.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1993/1993-30.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1993/1993-24.ps.gz}},
urlpdf = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.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 = {{https://ics-archive.science.uu.nl/research/techreps/repo/CS-1988/1988-24.pdf}},
pubcat = {techreport}
}