Publications

Please note: This page contains links to PostScript files of articles that may be covered by copyright. You may browse the articles at your convenience. (In the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, or distributing these files, however, may violate the copyright protection law. We recommend that the user abides international law in accessing this article list.

2017
  • N.H. Luong, A. Bouter, M.C. van der Meer, Y. Niatsetski, C. Witteveen, A. Bel, T. Alderliesten, and P.A.N. Bosman (2017). Efficient, Effective, and Insightful Tackling of the High-Dose-Rate Brachytherapy Treatment Planning Problem for Prostate Cancer using Evolutionary Multi-Objective Optimization Algorithms.. In Proceedings of the Medical Applications of Genetic and Evolutionary Computation MedGEC Workshop at the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • M. Virgolin, T. Alderliesten, C. Witteveen, and P.A.N. Bosman (2017). Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building block learning. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • A. Bouter, T. Alderliesten, C. Witteveen, P.A.N. Bosman (2017). Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • A. Bouter, N. H. Luong, C. Witteveen, T.Alderliesten, P.A.N. Bosman (2017). The Multi-Objective Real-Valued Gene-Pool Optimal Mixing Evolutionary Algorithm. In Proceedings of the Genetic and Evolutionary Computation Conference - GECCO-2017. [ Bibtex ]
  • K.S. Mountakis, T. Klos, C. Witteveen (2017). Dynamic Temporal Decoupling. In D. Salvagnin, M. Lombardi (Eds.), Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming. Lecture Notes in Computer Science, Springer. [ Bibtex ]
  • K.S. Mountakis, T. Klos, C. Witteveen (2017). Stochastic task networks: Trading performance for stability. In D. Salvagnin, M. Lombardi (Eds.), Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming. Lecture Notes in Computer Science, Springer. [ Bibtex ]
  • Germán Morales-España and Laura Ramírez-Elizondo and Hobbs, Benjamin F. (2017). Hidden power system inflexibilities imposed by traditional unit commitment formulations. Applied Energy 191:223--238. [ Bibtex ]
2016
  • D. van der Meer and G. R. Chandra Mouli and G. Morales-Espana and L. Ramirez Elizondo and P. Bauer (2016). Energy Management System with PV Power Forecast to Optimally Charge EVs at the Workplace. IEEE Transactions on Industrial Informatics PP(99):1-1. [ Bibtex ]
  • C Witteveen (2016). Optimising Flexibility for Simple Temporal Networks. In Proceedings of the 8th International Conference on Agents and Artificial Intelligence, pp. 524-531,, Rome, Italy. [ Bibtex ]
  • M. Virgolin, I.W.E.M. van Dijk, J. Wiersma, C.M. Ronckers, C. Witteveen, C.R.N. Rasch, A. Bel, T. Alderliesten and P.A.N. Bosman. (2016). Learning to Associate Distances with Historical Patient Data to Enable Fine-grained Studying of Late Adverse Effects of Paediatric Radiotherapy: Data, Methodology, and First Results.. In Proceedings of the International Conference on the use of Computers in Radiation Therapy - ICCR-2016.. [ Bibtex ]
  • Polevoy, Gleb and Mathijs M. de Weerdt and Jonker, Catholijn (2016). The convergence of reciprocation. In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pp. 1431--1432, Singapore, Singapore. International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
2015
  • Daan Wilmer and Tomas Klos (2015). Robustness of Partial Order Schedules: Understanding the Chaining Algorithm. In Proceedings Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA). [ Bibtex ]
  • Simon Mountakis, Tomas Klos, Cees Witteveen and Bob Huisman (2015). Exact and Heuristic Methods for Trading Off Makespan and Stability in Stochastic Project Scheduling. In Proceedings Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA). [ Bibtex ]
  • Novak, Peter and Witteveen, Cees (2015). Context-aware reconfiguration of large-scale surveillance systems: argumentative approach. Argument & Computation. [ Bibtex ]
  • Cap, Michal and Novak, Peter and Kleiner, Alexander and Selecky, Martin and Pechoucek, Michal (2015). Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots. IEEE Transactions on Automation Science and Engineering Special Issue Networked Cooperative Autonomous Systems. [ Bibtex ]
2014
  • Polevoy, Gleb and de Weerdt, Mathijs M. (2014). Improving Human Interaction in Crowdsensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, pp. 1741--1742, Paris, France. AAMAS '14, International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Stefan J. Witwicki and Jose Carlos Castillo and Jesus Capitan and Joao V. Messias and Joao C. Reis and Pedro U. Lima and Francisco S. Melo and Matthijs T. J. Spaan (2014). A Testbed for Autonomous Robot Surveillance (Demonstration). In Alessio Lomuscio and Paul Scerri and Ana Bazzan and Michael Huhns (Eds.), Proc. of Int. Conference on Autonomous Agents and Multi Agent Systems, pp. 1635-1636. International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Matthijs T. J. Spaan and Tiago S. Veiga and Pedro U. Lima (2014). Decision-theoretic Planning under Uncertainty with Information Rewards for Active Cooperative Perception. Autonomous Agents and Multi-Agent Systems. [ Bibtex ]
  • Diederik M. Roijers and Joris Scharpff and Matthijs T. J. Spaan and Frans A. Oliehoek and Mathijs de Weerdt and Shimon Whiteson (2014). Bounded Approximations for Linear Multi-Objective Planning under Uncertainty. In Franc Grootjen, Maria Otworowska and Johan Kwisthout (Eds.), Proceedings of the 26th Benelux Conference on Artificial Intelligence, pp. 168-169. [ Bibtex ]
  • Frits de Nijs and Mathijs M. de Weerdt and Matthijs T. J. Spaan (2014). Efficient Heuristics for Power Constrained Planning of Thermostatically Controlled Loads. In Franc Grootjen, Maria Otworowska and Johan Kwisthout (Eds.), Proceedings of the 26th Benelux Conference on Artificial Intelligence, pp. 162-163. [ Bibtex ]
  • Michels, Steffen and Velikova, Marina and Huijbrechts, Bas and Novak, Peter and Hoeksma, Jesper and Scheepens, Roeland and Laarhuis, Jan and Bonhof, Andre (2014). Enhancing operational work in maritime safety-and-security tasks. In Johan Kwisthout and Frank Grootjen (Eds.), Proceedings of the 26th Benelux Conference on Artificial Intelligence, November 6-7 2014, Nijmegen. [ Bibtex ]
  • Velikova, Marina and Novak, Peter and Huijbrechts, Bas and Laarhuis, Jan and Hoeksma, Jesper and Michels, Steffen (2014). An Integrated Reconfigurable System for Maritime Situational Awareness. In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry (Eds.), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 1197--1202. Frontiers in Artificial Intelligence and Applications 263, IOS Press. [ Bibtex ]
  • Thomas C King and Qingzhi Liu and Gleb Polevoy and Mathijs de Weerdt and Virginia Dignum and Birna M van Riemsdijk and Martijn Warnier (2014). Request Driven Social Sensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, pp. 1651--1652, Paris, France. AAMAS '14, International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Gleb Polevoy and Stojan Trajanovski and Mathijs M. de Weerdt (2014). Nash Equilibria in Shared Effort Games. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, pp. 861--868, Paris, France. AAMAS '14, International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe (2014). Signaling Competition and Social Welfare. Transactions on Economics and Computation (TEAC). [ Bibtex ]
  • Frits de Nijs and Tomas Klos (2014). A Novel Priority Rule Heuristic: Learning from Justification. In Proceedings International Conference on Automated Planning and Scheduling (ICAPS 2014) (Honorable mention for ICAPS 2014 Best Paper Award!). [ Bibtex ]
2013
  • Antonin Komenda and Robert N. Lass and Peter Novak and William C. Regli and Michal Pechoucek (2013). Scalable and Robust Multi-agent Planning with Approximated DCOP. In .C. Bueno, A. Farinelli, S.D. Ramchurn, J.A. Rodriguez-Aguilar, M. Vinyals and A. Chapman (Eds.), Proceedings of the 6th International Workshop on Optimisation in Multi-Agent Systems, OPTMAS 2013. Workshop affiliated with AAMAS 2013. IFAAMAS. [ Bibtex ]
  • Peter Novak and Cees Witteveen (2013). Reconfiguration of Large-Scale Surveillance Systems. In Joao Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran (Eds.), Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, pp. 325-339. Lecture Notes in Computer Science 8143, Springer. [ Bibtex ]
  • Michal Cap and Peter Novak and Jiri Vokrinek and Michal Pechoucek (2013). Multi-agent RRT*: sampling-based cooperative pathfinding. In Takayuki Ito, Catholijn Jonker, Maria Gini, Onn Shehory (Eds.), Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'13, pp. 1263-1264. IFAAMAS: International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Stefan Witwicki and Francisco S. Melo and Jesus Capitan and Matthijs T. J. Spaan and Jose Carlos Castillo (2013). Robot Planning under Uncertainty with Unpredictable Events. In s.n. (Eds.), Autonomous Robots and Multirobot Systems. [ Bibtex ]
  • Joris Scharpff and Matthijs T. J. Spaan and Leentje Volker and Mathijs M. de Weerdt (2013). Planning under Uncertainty for Coordinating Infrastructural Maintenance. In s.n. (Eds.), Multi-agent Sequential Decision Making under Uncertainty. [ Bibtex ]
  • Joris Scharpff and Matthijs T. J. Spaan and Leentje Volker and Mathijs M. de Weerdt (2013). Coordinating Stochastic Multi-Agent Planning in a Private Values Setting. In s.n. (Eds.), Distributed and Multi-Agent Planning. [ Bibtex ]
  • Joao V. Messias and Matthijs T. J. Spaan and Pedro U. Lima (2013). Asynchronous Execution in Multiagent POMDPs: Reasoning Over Partially-Observable Events. In s.n. (Eds.), Multi-agent Sequential Decision Making under Uncertainty. [ Bibtex ]
  • P.Novak and C. Witteveen (2013). Reconfiguration of Large-Scale Surveillance Systems. In Proceedings CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems (to appear). Lecture Notes in Computer Science 8143, Springer Verlag. [ Bibtex ]
  • Shekhar Gupta, Christian Fritz, Bob Price, Johan de Kleer and Cees Witteveen (2013). Continuous State Estimation for Heterogeneous Hadoop Clusters. In Proceedings 24rd International Workshop on the Principles of Diagnosis: DX-2013 (to appear). [ Bibtex ]
  • Tomas Klos, Michel Wilson, and Cees Witteveen (2013). Flexibility Metrics for Time and Resource Constrained Scheduling Problems. In Kendall, G., Vanden Berghe, G., McCollum, B. (Eds.), Proceedings of the 6th Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA), Ghent. [ Bibtex ]
  • Shekhar Gupta, Christian Fritz, Bob Price, Roger Hoover, Johan DeKleer and Cees Witteveen (2013). ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. In Proceedings 10th ACM International Conference on Autonomic Computing (ICAC '13). ACM. [ Bibtex ]
2012
  • Jie Jiang and Bob Huisman and Dignum, Virginia (2012). Agent-based multi-organizational interaction design: A case study of the dutch railway system. In Web Intelligence and Intelligent Agent Technology (WI-IAT), 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, pp. 196--203. [ Bibtex ]
  • Shekhar Gupta and Nico Roos and Cees Witteveen and Bob Price and Johan DeKleer (2012). Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. In AAAI Conference on Artificial Intelligence, pp. 2425-2426. Association for the Advancement of Artificial IntelligenceAAAI. [ Bibtex ]
  • Francisco S. Melo and Alberto Sardinha and Stefan Witwicki and Laura M. Ramirez-Elizondo and Matthijs T. J. Spaan (2012). Decentralized Multiagent Planning for Balance Control in Smart Grids. In Procs. of the 1st Int'l Workshop on Information Technology for Energy Applications (IT4ENERGY'2012). CEUR Workshop Proceedings 923, [ Bibtex ]
  • Tristan Behrens and Mehdi Dastani and Juergen Dix andJomi Huebner and Michael Koester and Peter Novak and Federico Schlesinger (2012). The Multi-Agent Programming Contest. AI Magazine 33(4):111-113. [ Bibtex ]
  • Michal Cap and Peter Novak and Jiri Vokrinek and Michal Pechoucek (2012). Asynchronous Decentralized Algorithm for Space-Time Cooperative Pathfinding. In Mehul Bhatt and Hans W. Guesgen and Ernest Davis (Eds.), Spatio-Temporal Dynamics (STeDy 2012), Workshop Proceedings of the European Conference on Articial Intelligence (ECAI 2012), Montpellier, France., pp. 18-25, Montpellier, France. ECAI. [ Bibtex ]
  • Matthijs T. J. Spaan and Frans A. Oliehoek (2012). Tree-based Solution Methods for Multiagent POMDPs with Delayed Communication. In Proc. of 24th Benelux Conference on Artificial Intelligence, pp. 319--320. [ Bibtex ]
  • Rajneesh Sharma and Matthijs T. J. Spaan (2012). Bayesian Game Based Fuzzy Reinforcement Learning Control for Decentralized POMDPs. IEEE Transactions on Computational Intelligence and AI in Games 4(4):309--328. [ Bibtex ]
  • Frans A. Oliehoek and Matthijs T. J. Spaan (2012). Tree-based Pruning for Multiagent POMDPs with Delayed Communication. In Proc. of Int. Conference on Autonomous Agents and Multi Agent Systems, pp. 1229--1230. [ Bibtex ]
  • Frans A. Oliehoek and Matthijs T. J. Spaan (2012). Tree-based Pruning for Multiagent POMDPs with Delayed Communication. In Multi-agent Sequential Decision Making in Uncertain Domains. [ Bibtex ]
  • Frans A. Oliehoek and Matthijs T. J. Spaan (2012). Tree-based Solution Methods for Multiagent POMDPs with Delayed Communication. In Proc. of the AAAI Conference on Artificial Intelligence, pp. 1415--1421. [ Bibtex ]
  • Francisco S. Melo and Matthijs T. J. Spaan and Stefan Witwicki (2012). Exploiting Sparse Interactions for Optimizing Communication in Dec-MDPs. In Multi-agent Sequential Decision Making in Uncertain Domains. [ Bibtex ]
  • Francisco S. Melo and Matthijs T. J. Spaan and Stefan Witwicki (2012). QueryPOMDP: POMDP-based Communication in Multiagent Systems. In Massimo Cossentino and Michael Kaisers and Karl Tuyls and Gerhard Weiss (Eds.) Multi-Agent Systems, pp. 189--204. Springer. [ Bibtex ]
  • Jesus Capitan and Matthijs T. J. Spaan and Luis Merino (2012). Role-based Cooperation for Environmental Monitoring with Multiple UAVs. In IROS Workshop on Robotics for Environmental Monitoring. [ Bibtex ]
  • Jesus Capitan and Matthijs T. J. Spaan and Luis Merino and Anibal Ollero (2012). Decentralized Multi-Robot Cooperation with Auctioned POMDPs. In Proceedings of the IEEE International Conference on Robotics and Automation, pp. 3323--3328. [ Bibtex ]
  • Scharpff, J. and Matthijs T. J. Spaan and Weerdt, M.M. de (2012). Dynamic Mechanism Design for Efficient Planning under Uncertainty. In Proceedings of BNAIC 2012, pp. 218--225. [ Bibtex ]
  • John Collins and Wolfgang Ketter and Konstantina Valogianni and Mathijs de Weerdt (2012). Constructing and operating a large-scale simulation of retail electric power markets. In Proc. of the 8th Symposium on Statistical Challenges in Electronic Commerce Research (SCECR 2012), pp. 1-2. [ Bibtex ]
  • Konstantina Valogianni and Wolfgang Ketter and Mathijs M. de Weerdt and John Collins (2012). Analysis of Smart Grid Balancing using Realistic Customer Models. In Conference on Information Systems and Technology, Phoenix, Arizona. [ Bibtex ]
  • Norbert Manthey and Marijn J. H. Heule and Armin Biere (2012). Automated Reencoding of Boolean Formulas. In Proceedings of Haifa Verification Conference 2012. [ Bibtex ]
  • Peter van der Tak and Marijn J. H. Heule and Armin Biere (2012). Concurrent Cube-and-Conquer. In Pragmatics of SAT. [ Bibtex ]
  • Francien Dechesne and Hiromitsu Hattori and Adriaan ter Mors and Jose Miguel Such and Danny Weyns and Frank Dignum (Eds.) (2012). Advanced Agent Technology, Springer. [ Bibtex ]
  • Michel Wilson and Cees Witteveen and Bob Huisman (2012). Enhancing predictability of schedules by task grouping. In Proceedings of the 20th European Conference on Artificial Intelligence. IOS Press. [ Bibtex ]
2011
  • Matthijs T. J. Spaan and Francisco S. Melo (2011). A POMDP-based Model for Optimizing Communication in Multiagent Systems. In European Workshop on Multi-agent Systems. [ Bibtex ]
  • Matthijs T. J. Spaan and Frans A. Oliehoek and Christopher Amato (2011). Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion. In Proc. of 23rd Benelux Conference on Artificial Intelligence, pp. 433-434. [ Bibtex ]
  • Joao V. Messias and Matthijs T. J. Spaan and Pedro U. Lima (2011). Efficient Offline Communication Policies for Factored Multiagent POMDPs. In Advances in Neural Information Processing Systems. [ Bibtex ]
  • W. van der Hoek and C. Witteveen and M. Wooldridge (2011). Decomposing Constraint Systems. In K. Tumer, P. Yolum, L. Sonenberg and P. Stone (Eds.), Proceedings of the Tenth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011), pp. 149--156. IFAAMAS. [ Bibtex ]
2010
  • Marijn J.H. Heule and Matti Järvisalo and Armin Biere (2010). Covered Clause Elimination. In Short paper proceedings of LPAR-17, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, October 10th - 15th, 2010. EasyChair Proceedings. [ Bibtex ]
  • P. A. N. Bosman (2010). The Anticipated Mean Shift and Cluster Registration in Mixture-based EDAs for Multi-Objective Optimization. In J. Branke and others (Eds.), Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2010), pp. 351-358. ACM Press. [ Bibtex ]
  • Marijn J.H. Heule and Toby Walsh (2010). Internal Symmetry. In Pierre Flener and Justin Pearson (Eds.), The 10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10), pp. 19-33. [ Bibtex ]
  • Cees Witteveen (2010). Complete Decomposition in Constraint Systems: Some equivalences and computational properties. [ Bibtex ]
  • Chetan Yadati Narasimha and Cees Witteveen and Yingqian Zhang (2010). Improving Task-based Plan Coordination. In Christian Guttman, Frank Dignum and Michael Georgeff (Eds.), Proceedings of the International Workshop on Collaborative Agents – REsearch and development (CARE 2009/2010). LNAI 6066, Springer Verlag. [ Bibtex ]
  • Sicco Verwer (2010). Efficient Identification of Timed Automata: Theory and Practice. PhD Thesis, Delft University of Technology. [ Bibtex ]
  • Vijay Sathyanarayana Rao and R R Venkatesha Prasad and Chetan Yadati and Ignas G M M Niemegeers (2010). Allocation of Opportunistic Spectrum in Cognitive Radio Ad hoc Networks. In 2010 IEEE Consumer Communications and Networking Conference - Wireless Home Communication and Networking (CCNC'10 Wireless Home Communication and Networking), pp. 1-5. IEEE. [ Bibtex ]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang (2010). COORDINATING AGENTS: An analysis of coordination in supply-chain management like tasks. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp (Eds.), The 2nd International Conference on Agents and Artificial Intelligence (ICAART), pp. 218-223. INSTICC Press 2010. [ Bibtex ]
2009
  • A.W. ter Mors and C. Witteveen (2009). Plan Repair in Conflict-Free Routing. In Been-Chian Chien, Tzung-Pei Hong, Shyi-Ming Chen, Moonis Ali (Eds.), Proceedings of the The Twenty Second International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems IEA-AIE 2009, pp. 46-55, Tainan, Taiwan. Lecture Notes in Artificial Intelligence, Springer Verlag LNAI. [ Bibtex ]
  • Tomas Klos and Bart Nooteboom (2009). Adaptive Learning in Evolving Task Allocation Networks. In Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman (Eds.), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, pp. 465-472. IFAAMAS. [ Bibtex ]
  • B. Paul Harrenstein and Mathijs M. de Weerdt and Vincent Conitzer (2009). A Qualitative Vickrey Auction. In John Chuang and Lance Fortnow and Pearl Pu (Eds.), Proceedings of the ACM Conference on Electronic Commerce, pp. 197-206, Stanford, July 6-10, 2009. ACM. [ Bibtex ]
  • Marijn J.H. Heule and Hans van Maaren (2009). In Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh (Eds.) Look-Ahead Based SAT Solvers, Ch. 5, pp. 155-184. IOS Press. [ Bibtex ]
2008
  • Maarten Mensonides and Bob Huisman and Virginia Dignum (2008). Towards agent-based scenario development for strategic decision support. In Agent-Oriented Information Systems IV, pp. 53--72. Springer. [ Bibtex ]
  • Valentin Robu and Han La Poutr'e (2008). Constructing the Structure of Utility Graphs Used in Multi-Item Negotiation through Colaborative Filtering of Aggregate Buyer Preferences. In Takayuki Ito and Hiromitsu Hattori and Minjie Zhang (Eds.), Rational, Robust, and Secure Negotiations in Multi-Agent Systems, pp. 147-168. Springer Series on Computational Intelligence, Springer-Verlag. [ Bibtex ]
  • Lonneke Mous and Valentin Robu and Han La Poutr'e (2008). Can priced options solve the exposure problem in sequential auctions?. SIGecom Exchanges 7(2):1--4. [ Bibtex ]
  • Valentin Robu and Han Noot and Han La Poutr'e and Willem-Jan van Schijndel (2008). An interactive platform for auction-based allocation of loads in transportation logistics. In Michael Berger, Bernard Burg, Satoshi Nishiyama (Eds.), AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems -- Industry and Applications track, pp. 3--10, Estoril, Portugal. International Foundation for Autonomous Agents and Multiagent Systems. [ Bibtex ]
  • Hans van Maaren and Siert Wieringa (2008). Finding Guaranteed MUSes Fast. In Hans Kleine Büning, Hans and Xishun Zhao (Eds.), Theory and Applications of Satisfiability Testing – SAT 2008, pp. 291-304. Lecture Notes of Computer Science 4996, Springer. [ Bibtex ]
  • Henriette Bier and Adriaan de Jong and Gijs van der Hoorn and Niels Brouwers and Marijn J.H. Heule and Hans van Maaren (2008). In T.G. Wyeld and S. Kenderdine and M. Docherty (Eds.) Prototypes for Automated Architectural 3D-Layout, pp. 203-214. Springer Berlin / Heidelberg. [ Bibtex ]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr`e (2008). Autonomous Scheduling with unbounded and bounded agents. In Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek (Eds.), Multiagent System Technologies. 6th German Conference, MATES 2008, pp. 195-206, Kaiserlautern, Germany. Lecture Notes In Computer Science, Springer -Verlag. [ Bibtex ]
  • Chetan Yadati Narasimha and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr'e (2008). Autonomous Scheduling. In Hamid R Arabnia and Youngsong Mun and Pei Li Zhou (Eds.), Proceedings of the Foundations of Computer Science (FCS 2008), pp. 73-79. CSREA Press. [ Bibtex ]
  • N. Roos and C. Witteveen (2008). Diagnosis of Simple Temporal Networks. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis and N. Avouris (Eds.), Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 593-597, Patras, Greece. IOS Press, Amsterdam. [ Bibtex ]
2007
  • Jeroen L. de Jong and Wilbert L. van Norden (2007). Application of hybrid metaheuristics in sensor management. Aerospace Science and Technology 11(4):205-302. [ Bibtex ]
  • Narasimha, C. Yadati and Kamath, Manjunath and Sharda, Ramesh (2007). A Semi Markov Decision Process Approach To E-mail Management In A Knowledge Work Environment. In Automation Science and Engineering, 2007. CASE 2007. IEEE International, pp. 1051--1056. [ Bibtex ]
  • Nico Roos and Cees Witteveen (2007). Diagnosis of Plan Structure Violations. In Paolo Petta, J''org P. M''uller, Matthias Klusch, Michael Georgeff (Eds.), Multiagent System Technologies, 5th German Conference, MATES 2007, pp. 157-169. Lecture Notes in Artificial Intelligence 4687, Springer -- This paper received the MATES2007 Best Paper Award. [ Bibtex ]
2006
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and K. Suzanne Barber and Laurent Vercouter (2006). The Agent Reputation and Trust (ART) Testbed (extended abstract). In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006), pp. 449--450. [ Bibtex ]
  • Han Noot and Koye Somefun and Tomas B. Klos and Valentin Robu and Han La Poutré (2006). Visualization of Agent-Mediated Bargaining over Bundles of Goods. In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006), pp. 457--458. [ Bibtex ]
  • Tomas B. Klos and Han La Poutré (2006). A Versatile Approach to Combining Trust Values for Making Binary Decisions (extended abstract). In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006),. [ Bibtex ]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and K. Suzanne Barber and Laurent Vercouter (2006). The Agent Reputation and Trust (ART) Testbed. In Ketil Stolen and William H. Winsborough and Fabio Martinelli and Fabio Massacci (Eds.) Proceedings 4th International Conference on Trust Management, May 16--19 2006, Pisa, Italy, pp. 439--442. Springer. [ Bibtex ]
  • Tomas B. Klos and Bart Nooteboom (2006). Adaptive Learning in Complex Trade Networks. In Tzai-Der Wang, Xiaodong Li, Shu-Heng Chen, Xufa Wang, Hussein Abbass, Hitoshi Iba, Guoliang Chen, and Xin Yao (Eds.) Proceedings 6th International Conference on Simulated Evolution And Learning (SEAL 2006), pp. 695--702. Springer. [ Bibtex ]
  • I.B. Vermeulen and S.M. Bohte and D. Somefun and H. La Poutr'e (2006). Improving Patient Activity Schedules by Multi-agent Pareto Appointment Exchanging. In U. Dayal and K-J Lin (Eds.), Proceedings of the 8th IEEE International Conference on E-Commerce Technology and the 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), pp. 1--15. IEEE press. [ Bibtex ]
  • Pieter Jan't Hoen and Karl Tuyls and Liviu Panait and Sean Luke and Johannes A. La Poutr'e (2006). An Overview of Cooperative and Competitive Multiagent Learning. In Karl Tuyls and Pieter Jan't Hoen and Katja Verbeeck and Sandip Sen (Eds.), Learning and Adaption in Multi-Agent Systems, First International Workshop, LAMAS 2005, Revised Selected Papers, pp. 1-46, Utrecht, The Netherlands. Lecture Notes in Computer Science 3898, Springer. [ Bibtex ]
  • P.J. 't Hoen and S.M. Bohte and J.A. La Poutré (2006). Learning from Induced Changes in Opponent (Re)Actions in Multi-Agent Games. In Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone (Eds.), 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 728-735, Hakodate, Japan. ACM. [ Bibtex ]
  • Jeroen L. de Jong and Wilbert L. van Norden (2006). Application of Hybrid Metaheuristics in Sensor Management. In M.Minoux (Eds.), Proceedings COGIS 2006. Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication. [ Bibtex ]
  • Jeroen L. de Jong and Wilbert L. van Norden (2006). Application of Hybrid Metaheuristics in Sensor Management. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.), BNAIC 2006, pp. 397-398. BNVKI. [ Bibtex ]
  • Jeroen L. de Jong and Tim J. Grant (2006). Hybrid Metaheuristic Planning and Military Decision Making: Commonalities between theories and practice. In David S. Alberts (Eds.), The state of the art and the state of the practice. Department of Defense Command and Control Research Program. [ Bibtex ]
  • F. de Jonge and N. Roos and C. Witteveen (2006). Diagnosis of Multi-agent Plan Execution. In Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong (Eds.), Multiagent System Technologies, 4th German Conference, MATES 2006, pp. 86-97. Lecture Notes in Computer Science 4196, Springer. [ Bibtex ]
2005
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and Zvi Topol and K. Suzanne Barber and Jeffrey Rosenschein and Laurent Vercouter (2005). The Agent Reputation and Trust (ART) Testbed Architecture. In Proceedings 8th Workshop on Trust in Agent Societies. [ Bibtex ]
  • Tomas B. Klos and Han La Poutré (2005). Decentralized Reputation-based Trust for Assessing Agent Reliability under Aggregate Feedback (extended abstract). In Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2005),, pp. 357--358. [ Bibtex ]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and Zvi Topol and K. Suzanne Barber and Jeffrey S. Rosenschein and Laurent Vercouter (2005). The Agent Reputation and Trust (ART) Testbed Architecture. In B. Lopez and J. Melendez and P. Radeva and J. Vitria (Eds.) Artificial Intelligence Research and Development, pp. 389--396. IOS Press. [ Bibtex ]
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2005). Complexity of Task Coordination for Non Cooperative Planning Agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.), Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 600--603. Lecture Notes in Computer Science 3690, [ Bibtex ]
  • N. Roos and C. Witteveen (2005). Diagnosis of plans and agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.), Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 357--366. Lecture Notes in Computer Science 3690, [ Bibtex ]
  • Roman van der Krogt and Mathijs de Weerdt (2005). Coordination through Plan Repair. In M.P. Gleizes and G. Kaminka and A. Nowe and S. Ossowski and K. Tuyls and K. Verbeeck (Eds.), Proceedings of the Third European Workshop on Multiagent Systems (EUMAS), pp. 509--510. Koninklijke Vlaamse Academie van Belgie voor de Wetenschappen en Kunsten. [ Bibtex ]
  • Cees Witteveen and Nico Roos and Roman P.J. van der Krogt and Mathijs M. de Weerdt (2005). Diagnosis of single and multi-agent plans. In Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael Wooldridge (Eds.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 805--812. ACM press. [ Bibtex ]
  • Roman P.J. van der Krogt and Mathijs M. de Weerdt and Nico Roos and Cees Witteveen (2005). Multiagent Planning through Plan Repair. In Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael Wooldridge (Eds.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 1337--1338. ACM press. [ Bibtex ]
2004
  • Koye Somefun and Tomas B. Klos and Han La Poutré (2004). Negotiating Over Bundles and Prices Using Aggregate Knowledge (extended abstract). In Proceedings 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004),, pp. 307--308. [ Bibtex ]
  • Koye Somefun and Tomas B. Klos and Han La Poutré (2004). Negotiating over Bundles and Prices Using Aggregate Knowledge. In Proceedings 10th International Conference on Computing in Economics and Finance (CEF 2004). [ Bibtex ]
  • Tomas B. Klos and Han La Poutré (2004). Decentralized Reputation-based Trust for Assessing Agent Reliability under Aggregate Feedback. In 7th Workshop on Trust in Agent Societies, pp. 75--82. [ Bibtex ]
  • N. Roos and C. Witteveen (2004). Plan Diagnosis with Agents. In L. C. Verbrugge and N. Taatgen and L. Schomaker (Eds.), Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 203--210. [ Bibtex ]
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2004). Complexity of Coordinating Autonomous Planning Agents. In Proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, pp. 995--996. Lecture Notes in Computer Science (LNCS), [ Bibtex ]
2003
  • P. C. Buzing and A. E. Eiben and M. C. Schut (2003). Evolving Agent Societies with VUScape. In W. Banzhaf and T. Christaller and P. Dittrich and J. T. Kim and J. Ziegler (Eds.), Proceedings of the 7th European Conference on Artificial Life (ECAL 2003), pp. 434--441. Lecture Notes in Artificial Intelligence 2801, Springer. [ Bibtex ]
2002
  • J. Zutt and L. D. Aronson and R. P. J. van der Krogt and N. Roos and C. Witteveen (2002). Multi-agent transport planning. In H. Blockeel and M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'02), pp. 387--394. [ Bibtex ]
  • R. P. J. van der Krogt and L. D. Aronson and N. Roos and J. Zutt (2002). Tactical planning using heuristics. In H. Blockeel and M. Denecker (Eds.), Proceedings of the 14th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'02), pp. 187--194. [ Bibtex ]
  • J.M. Valk and C. Witteveen (2002). Multi-agent Coordination in Planning. In M. Ishizuka and A. Sattar (Eds.), PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, pp. 335--344. Lecture Notes in Artificial Intelligence 2427, Springer. [ Bibtex ]
  • L. Aronson and R. Konings and E.D. Kreutzberger (2002). Improving Pre- and End-Haulage in Intermodal Transport: Development of an Efficient Planner. In Proceedings part 2 of the International Congress on Freight Transport Automation and Multimodality: Organisational and Technological Innovations. TRAIL Conference Proceedings Series No, P2002/1, [ Bibtex ]
2001
  • Sandra Oudshoff and Tomas B. Klos and Ivor Bosloper Ben Spaanenburg (2001). Clustering Virtual Communities with Text Mining. In Proceedings 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pp. 195--202. [ Bibtex ]
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2001). Boolean Games. In J. van Benthem (Eds.), Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'01), pp. 287--298. Morgan Kaufmann. [ Bibtex ]
2000
  • Bart Nooteboom and Tomas B. Klos and René Jorna (2000). Adaptive Trust and Co-operation: An Agent Based Simulation Approach. In Proceedings 4th Annual Conference of the International Society for New Institutional Economics (ISNIE). [ Bibtex ]
  • C. Witteveen and W. van der Hoek (2000). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon and P. Blackburn and N. Braisby and A. Shimojima (Eds.), Logic, Language and Computation, pp. 319--340. CSLI Publications. [ Bibtex ]
  • J.M. Valk and A. Bos and J. Rogier and J.F.M. Tonino and C. Witteveen (2000). An Approximation Algorithm for a Distributed Planning Problem. In H. Tianfield (Eds.), International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), pp. 419--424. ICSC Academic Press. [ Bibtex ]
  • H. Tonino and A. Bos and C. Witteveen (2000). Replanning by revision in Collective Agent Based Systems. Technical Report, PDS. [ Bibtex ]
  • W. van der Hoek and C. Witteveen (2000). Classical and General Frameworks for Recovery. In W. Horn (Eds.), Proceedings ECAI-2000, pp. 33--37. IOS Press. [ Bibtex ]
  • A. Bos and N. Roos and C. Witteveen (2000). Complexity reduction by using computational histories. In A. van den Bosch and H. Weigand (Eds.), Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00), pp. 207--214. [ Bibtex ]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Model-based Diagnosis Support for Satellite-based Instruments. In IEEE Autotestcon Systems Readiness Technology Conference, pp. 451--464. [ Bibtex ]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Design of a Generic Model-Based Diagnosis System with Automatic Abstraction Generation. In L.J. van Vliet and J.W.J. Heijnsdijk and T. Kielmann and P.M.W. Knijnenburg (Eds.), Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging (ASCI 2000), pp. 29--36. [ Bibtex ]
  • A. Bos and C. Witteveen (2000). Safe Testing for Dynamic Systems. In DX'00 Eleventh International Workshop On Principles of Diagnosis, pp. 9--16. [ Bibtex ]
1999
  • Tomas B. Klos (1999). Governance and Matching. In Proceedings 5th International Conference on Computing in Economics and Finance (CEF 1999). [ Bibtex ]
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly and A. Baltag (Eds.), Proceedings of the ILLC Workshop on Logic and Games, pp. 29--30. ILLC Prepublications Series PP-1999-25, ILLC. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1999). Recovering from Inconsistency: A general Framework for Theory Recovery. In Proceedings WAIT 99, SADIO, IFIP, pp. 37--50. [ Bibtex ]
  • J. Valk and H. Tonino and C. Witteveen (1999). Automated Theorem Proving for the KARO-architecture: Foundations and applications of Collective Agent Based Systems (CABS). In ESSLLI 99 Workshop. [ Bibtex ]
  • Z. Papp and H.J. Hoeve and A. Bos (1999). A System Architecture for Distributed Implementation of Virtual Measurement Systems. In IEEE: 1999 Symposium and Workshop on Engineering of Computer-Based Systems. [ Bibtex ]
  • A. Bos and N. Roos and C. Witteveen (1999). Computing with Computational Histories. In Proceedings of the BNAIC'99, pp. 19--26. [ Bibtex ]
  • A. Bos and C. Witteveen (1999). Compilation to speed up the Control of Hybrid Systems. In Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging (ASCI'99), pp. 243--250. [ Bibtex ]
1998
  • Tomas B. Klos and Bart Nooteboom (1998). Adaptive Governance: The Role of Loyalty. In Proceedings 10th Annual Conference of the European Association for Evolutionary Political Economy (EAEPE 1998). [ Bibtex ]
  • Tomas B. Klos and Bart Nooteboom (1998). Adaptive Governance: The Role of Loyalty. In Proceedings 4th International Conference on Computing in Economics and Finance (CEF 1998). IFAC. [ Bibtex ]
  • C. Witteveen (1998). Recovery and Common-Sense Reasoning. In M. Evens (Eds.), Proceedings MAICS-98, pp. 50--57. AAAI Press. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1998). Theory Recovery in a multi-agent context. In Proceedings Logic and the Foundations of Game and Decision Theory LOFT3, ICER. [ Bibtex ]
  • J.F.M. Tonino (1998). A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. In Uwe Glaesser and Peter H. Schmitt (Eds.), Proceedings of the 5th International Workshop on Abstract State Machines (28th Annual Conference of the German Society of Computer Science), pp. 91--110. [ Bibtex ]
  • A. Bos and C. Witteveen (1998). Non-strict Knowledge Compilation. In H. La Poutr'e and J. van den Herik (Eds.), Proceedings of the NAIC 1998, pp. 77--86. [ Bibtex ]
  • A. Bos and C. Witteveen (1998). Non-strict Knowledge Computation. In Proceedings NAIC'98. [ Bibtex ]
1997
  • Tomas B. Klos (1997). Decentralized Interaction and Co-adaptation in the Repeated Prisoner's Dilemma. In Proceedings 3rd International Conference on Computing in Economics and Finance (CEF 1997). [ Bibtex ]
  • Tomas B. Klos (1997). Spatially Co-Evolving Automata Play the Repeated Prisoner's Dilemma. In Rosaria Conte, Rainer Hegselmann, and Pietro Terna (Eds.) Simulating Social Phenomena, pp. 153--159. Springer. [ Bibtex ]
  • Tomas B. Klos (1997). Managing Dependence in Vertical Interfirm Relations. In Proceedings 7th Annual Workshop on Computational and Mathematical Organization Theory (CMOT 1997). [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1997). Recovery of Nonmonotonic Theories. Technical Report, Delft University of Technology. Utrecht University, Department of Computer Science, CS. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1997). A general framework for revising non-monotonic theories.. In J. Dix et al. (Eds.), Logic programming and Nonmonotonic Reasoning, LNAI 165, pp. 258--272. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1997). Reducing Updating to Recovery in Nonmonotonic Databases. In K. van Marcke and W. Daelemans (Eds.), Proceedings of the NAIC'97, pp. 22--38. [ Bibtex ]
  • E. Weydert and G. Brewka and C. Witteveen (Eds.) (1997). Proceedings DGNMR'97, Max Planck Institut for Computer Science, Saarbruecken. [ Bibtex ]
1996
  • B.C.M. Wondergem and W. van der Hoek and T.W.C. Huibers and C. Witteveen (1996). Preferential Semantics for Query by Navigation. Technical Report, Computing Science Institute. Faculty of Mathematics and Informatics University of Nijmegen. [ Bibtex ]
  • C. Witteveen (1996). Partial semantics for truth maintenance. In P. Doherty (Eds.), Partiality, Modality and Nonmonotonicity, pp. 197--222. CSLI publications. [ Bibtex ]
  • C. Witteveen (1996). Belief Revision in Truth Maintenance. In A. Fuhrmann and H. Rott (Eds.), Logic, Action, and Information, pp. 447--470. Walter de Gruyter. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Updating Nonmonotonic Databases. In M. Vardi (Eds.), Proceedings of the Fourth Isreal Symposium on Theory of Computing and Systems, pp. 147--154. IEEE Computer Society Press. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Using a back-up semantics for revising and updating nonmonotonic databases.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Revision and Updating Using a Back-up Semantics.. In J.J. Alferes and L.M. Pereira and E. Orlowska (Eds.) Logics in Artificial Intelligence, LNAI 1126, pp. 388 - 403. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Semantic based theory-revision in nonmonotonic logic. In Proceedings of the DRUMS II Workshop, pp. 22-38. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In P. Schroeder-Heister and R. Dyckhoff and H. Herre (Eds.) Extensions of Logic Programming, pp. 303--318. Springer. [ Bibtex ]
  • D. Lindeyer and C. Witteveen (1996). Extending the domain of stratified logic programs.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
  • A. Bos (1996). Errors Violating Simplifying Modeling Assumptions. In Suhayya Abu-Hakima (Eds.), DX-96 The Seventh International Workshop on the Principles of Diagnosis. [ Bibtex ]
1995
  • C. Witteveen (1995). Every Normal Program has a Nearly Stable Model. In J. Dix and L.M. Pereira and T.C. Przymusinski (Eds.) Non-Monotonic Extensions of Logic Programming, pp. 68--84. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Theory Revision in a Multi-agent framework. In Proceedings of the First International Workshop on Decentralized Intelligent and Multi-Agent Systems (DIMAS'95), pp. 427--434. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Semantic Based Theory Revision in Nonmonotonic Logic. Technical Report, Dep. of Comp. Sci, Univ Utrecht. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Nonmonotonic Theory Revision in Logic Programming. Technical Report, Rep. of Techn. Mathem and Comp. Sci, Delft. Delft. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Revision by Communication. In V.W. Marek and A. Nerode and M. Truszczynski (Eds.) Logic Programming and Nonmonotonic Reasoning, pp. 189--202. Springer Verlag. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1995). Program Revision by Consulting Weaker Semantics. In J.C. Bioch and Y-H. Tan (Eds.), Proceedings Seventh Dutch Conference on Artificial Intelligence (NAIC'95), pp. 393--404. [ Bibtex ]
  • A. Bos and J. Callies and A. Lefebvre (1995). Model-based monitoring and diagnosis of a satellite-based instrument. Telematics and Informatics 3 and 4(12):161-170. [ Bibtex ]
  • A. Bos (1995). Model-based Monitoring of GOME (a satellite-based instrument). In Fifth Workshop on Aritificial Intelligence and Knowledge Based Systems for Space. [ Bibtex ]
  • A. Bos (1995). Abstractions of Continuous Dynamic Behavior. In W. Nejdl (Eds.), DX-95 The Sixth International Workshop on the Principles of Diagnosis. [ Bibtex ]
  • A. Bos (1995). Diagnosis using abstractions. In NAIC-95 Proceedings Seventh Dutch Conference on Artificial Intelligence. [ Bibtex ]
  • A. Bos (1995). Reasoning with abstractions. In G. Brewka and C. Witteveen (Eds.), Proc. of the second Dutch/German Workshop on Non-Monotonic Reasoning. [ Bibtex ]
  • A. Bos and J. Callies and A. Lefebvre (1995). Model-based monitoring and diagnosis of a satellite-based instrument. In W. Truszkowski (Eds.), Proc. of the 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies. [ Bibtex ]
  • A. Bos (1995). Real-Time Diagnosis of Dynamical Systems Part II: using multiple descriptions. Technical Report, TU-Delft. Delft. [ Bibtex ]
1994
  • C. Witteveen (1994). A new revision method for incoherent and contradictory logic programs. In T. Przymusinski and J. Dix and L.M. Pereira (Eds.), Proceedings of the Workshop on Non-Monotonic Extensions of Logic Programming, pp. 47--56. Lecture Notes in Artificial Intelligence 927, Springer Verlag. [ Bibtex ]
  • C. Witteveen (1994). Shifting and condensing normal logic porgrams and disjunctive databases.. Technical Report, Delft University of Technology Faculty of Technical Mathematics and Informatics. [ Bibtex ]
  • C. Witteveen (1994). Process knowledge in production systems.. In D. Albert (Eds.), Knowledge Structures, pp. 197--228. Springer-Verlag. [ Bibtex ]
  • C. Witteveen (1994). Revising incoherent and contradictory logic programs. In E. Marchiori (Eds.), Proceedings of the 6th Benelux Workshop on Logic Programming. CWI. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1994). Revision by expansion. In G. LakeMeyer and B. Nebel (Eds.) Foundations of Knowledge Representation and Reasoning, pp. 333--354. Springer Verlag. [ Bibtex ]
  • W. van der Hoek and C. Witteveen and H. de Nivelle (1994). Revision of non-monotonic theories: Some postulates and an application to logic programming.. In L.M. Pereira and C. MacNish and D. Pearce (Eds.) Logics in Artificial Intelligence, pp. 137-151. Springer Verlag. [ Bibtex ]
  • A. Bos (1994). Can abstractions be used to speed up diagnostic reasoning?. In G. Provan (Eds.), DX-94 The Fifth International Workshop on the Principles of Diagnosis. [ Bibtex ]
  • A. Bos (1994). Real-Time Diagnosis of Dynamical Systems Part I: Diagnosis and description of system behavior. Technical Report, TU-Delft. Delft. [ Bibtex ]
1993
  • C. Witteveen (1993). Complexity of Canonical Revisions in Logic Programs. Technical Report, Delft University of Technology. [ Bibtex ]
  • C. Witteveen and C.M. Jonker (1993). Revision by Expansion in Logic Programs. Technical Report, Delft University of Technology. [ Bibtex ]
  • C. Witteveen and C.M. Jonker (1993). Ambiguity and Undefinedness in Non-Monotonic Semantics.. In W. Nejdl (ed.) (Eds.), Proceedings Dutch-German Workshop on Non-Monotonic Logic and its applications. [ Bibtex ]
  • C. Witteveen and W. van der Hoek (1993). Belief Revision by Expansion. In M. Clarke and R. Kruse and S. Moral (Eds.) Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp. 380--387. Springer-Verlag. [ Bibtex ]
  • C. Witteveen and G. Brewka (1993). Skeptical reason maintenance and belief revision. Artificial Intelligence 61:1--36. [ Bibtex ]
  • S.C. van Westrhenen and J.F.M. Tonino and R. Sommerhalder (1993). Logica een inleiding met toepassingen in de informatica, Academic Service. [ Bibtex ]
  • A. Bos (1993). Industrial Diagnosis, an approach based on logic. Technical Report, TPD- TNO. Delft. [ Bibtex ]
1992
  • C. Witteveen (1992). Expanding Logic Programs. In D. Pearce and G. Wagner (Eds.) Logics in AI, pp. 373--390. Springer-Verlag. [ Bibtex ]
  • H. Tonino and K.-E. Fujita (1992). On the adequacy of representing higher order intuitionistic logic as a pure type system. Annals of Pure and Applied Logic 57:251--276. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1992). Partiele Abductie. In H. de Swaan Arons and H. Koppelaar and E. J. H. Kerckhoffs (Eds.), Proceedings of the NAIC'92, pp. 227--236. Delftse Universitaire Pers. [ Bibtex ]
  • W.van der Hoek and J.-J. Ch. Meyer and Y. H. Tan and C. Witteveen (1992). Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood. [ Bibtex ]
  • D. Albert and H. B. Bahrick and C. Falmagne and M. Toda and C. Witteveen and G. d'Ydewalle (1992). Representation and Assessment of Knowledge. In B. Wilpert (Eds.), Proceedings ICAP'90, pp. 567--579. Lawrence Erlbaum. [ Bibtex ]
1991
  • C. Witteveen (1991). A Three-valued Cumulative Semantics for TMS. Technical Report, Faculty of Technical Mathematics and Informatics Delft. [ Bibtex ]
  • C. Witteveen (1991). Partial Semantics for Truth Maintenance. In J. van Eijck (Eds.) Logics for AI, pp. 544--561. Springer Verlag. [ Bibtex ]
  • C. Witteveen (1991). A Skeptical Semantics for Truth Maintenance. In J.P. Martins and M. Reinfrank (Eds.) Truth Maintenance Systems, pp. 136--154. Springer-Verlag. [ Bibtex ]
  • C. Witteveen (1991). Skeptical Reason Maintenance is Tractable. In J. Allen and R. Fikes and E. Sandewall (Eds.), Principles of Knowledge Representation and Reasoning, Proceedings of KR'91, pp. 570--584. Morgan Kaufmann. [ Bibtex ]
  • C. Witteveen and G. Brewka (1991). Skeptical Reason Maintenance is Tractable. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
  • Hans Tonino (1991). Logical systems are generalised type systems. Technical Report, Faculty of Technical Mathematics and Informatics Delft University of Technology. [ Bibtex ]
  • C. M. Jonker and C. Witteveen (1991). Belief Revision in Reason Maintenance. In J. Treur (Eds.), Proceedings of the NAIC'91, pp. 91--100. SIC. [ Bibtex ]
1990
  • C. Witteveen (1990). Constructive Fixpoint Semantics for Truth Maintenance Systems. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
  • C. Witteveen (1990). Een constructieve semantiek voor Truth-Maintenance Systemen. In H. J. van der Herik and N. J. I. Mars (Eds.), Proceedings of the NAIC'90, pp. 231--240. SIC. [ Bibtex ]
  • C. Witteveen and L. Stakenborgh (1990). Labelingsproblemen in Truth-Maintenance Systemen. In R. R. Bakker (Eds.), Proceedings of the NAIC'89, pp. 231--240. Academic Service. [ Bibtex ]
  • W. E. Nijenhuis and C. Witteveen (1990). Constructive Identification with Poole's Logic. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [ Bibtex ]
1984
  • C. Witteveen (1984). Control Structures for Rule Governed Systems. In Proceedings 6th AFCET-WOGS conference, AFCET, pp. 591--695. [ Bibtex ]
  • C. Witteveen (1984). Programmed Production Systems. PhD Thesis, Utrecht University. [ Bibtex ]
1981
  • C. Witteveen and H. Boelens (1981). Inferring Control Structures from the Behaviour of a Production System. Information and Control 51(3):275--301. [ Bibtex ]