Cees Witteveen | Publications



	Cees Witteveen
Delft University of Technology	Publications	ALG Group

EWI

ALG

Cees Witteveen

Publications



	Home

	Resume

	Personal Corner

	Publications

	Research

	Teaching

Publications

Add or change here

2010

Jonne Zutt and Arjan J.C. van Gemund and Mathijs M. de Weerdt and Cees Witteveen (2010). Dealing with Uncertainty in Operational Transport Planning. In R.R. Negenborn and Z. Lukszo and H. Hellendoorn (Eds.) Intelligent Infrastructures, Ch. 14, pp. 355-382. Springer. [BibTeX]

Chetan Yadati and Cees Witteveen and Yingqian Zhang (2010). COORDINATING AGENTS: An analysis of coordination in supply-chain management like tasks. In The 2nd International Conference on Agents and Artificial Intelligence (ICAART). [BibTeX]

Leon R. Planken and Mathijs M. de Weerdt and Cees Witteveen (2010). Optimal Temporal Decoupling in Multiagent Systems. In Van der Hoek and Kaminka and Lesperance and Luck and Sen (Eds.). Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). IFAAMAS. [BibTeX]

2009

F. de Jonge and N. Roos and C. Witteveen (2009). Primary and secondary diagnosis of multi-agent plan execution. Journal of Autonomous Agents and Multi-Agent Systems 18(2):267-294. [BibTeX]

A.W. ter Mors and C. Yadati and C. Witteveen and Y. Zhang (2009). Coordination by design and the price of autonomy. Journal of Autonomous Agents and Multi-Agent Systems (on-line version). [BibTeX]

Mengxiao Wu and Mathijs M. de Weerdt and Han La Poutré and Chetan Yadati and Yingqian Zhang and Cees Witteveen (2009). Multi-player Multi-issue Negotiation with Complete Information. In Proceedings of the International Workshop on Agent-based Complex Automated Negotiations, pp. 87-92. [BibTeX]

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 [BibTeX]

J. Renze Steenhuisen and Cees Witteveen (2009). Plan Decoupling of Agents with Qualitatively Constrained Tasks. Multiagent and Grid Systems 5(4):357-371. [BibTeX]

N. Roos and C. Witteveen (2009). Models and Methods for Plan Diagnosis. Journal of Autonomous Agents and Multi-Agent Systems 19(1):30-52. [BibTeX]

Sicco Verwer and Mathijs de Weerdt and Cees Witteveen (2009). One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. In Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martín-Vide (Eds.). Language and Automata Theory and Applications, pp. 740-751. Springer. [BibTeX]

P. van Leeuwen and C. Witteveen (2009). Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. In J. Lang (Eds.). IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies (WI-IAT 2009), pp. 185-192. IEEE Computer Society. [BibTeX]

Chetan Yadati and Cees Witteveen and Yingqian Zhang (2009). Plan coordination in Hospital Patient treatment. In Collaborative Agents -- REsearch and Development (CARE) 2009. LNCS. [BibTeX]

C. Witteveen and W. van der Hoek and N. Roos (2009). Concurrently Decomposable Constraint Systems. In L.Braubach et al. (Eds.). Multiagent System Technologies, 7th German Conference, MATES Multiagent System Technologies MATES 2009, pp. 153-164. Springer Verlag. [BibTeX]

A. W. ter Mors and J. van Belle and C. Witteveen (2009). Context-Aware Multi-Stage Routing. In K. Decker, J.S. Sichman, C. Sierra and C. Castelfranchi (Eds.). Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 49-56, Budapest, Hungary. IFAAMAS. [BibTeX]

2008

Adriaan W. ter Mors and Xiaoyu Mao and Jonne Zutt and Cees Witteveen and Nico Roos (2008). Robust Reservation-Based Multi-Agent Routing. In M. Ghallab and C.D. Spyropoulos and N. Fakotakis and N. Avouris (Eds.). Proceedings of the 18th European Conference on Artificial Intelligence, pp. 929-930, Patras, Greece. IOS Press, Amsterdam. [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]

J. Renze Steenhuisen and Cees Witteveen and Yingqian Zhang (2008). Plan-Coordination Mechanisms and the Price of Autonomy. In Fariba Sadri and Ken Satoh (Eds.) Computational Logic in Multi-Agent Systems, pp. 1--21. Springer-Verlag. [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 [BibTeX]

Ruben Stranders and Mathijs M. de Weerdt and Cees Witteveen (2008). Fuzzy Argumentation for Trust. In Fariba Sadri and Ken Satoh (Eds.) Computational Logic in Multi-Agent Systems, pp. 214--230. Springer. [BibTeX]

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2008). Polynomial distinguishability of timed automata. In Alexander Clark and Francois Coste and Laurent Miclet (Eds.). ICGI, pp. 238-251. LNAI 5278, Springer. [BibTeX]

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2008). Efficiently learning timed models from observations. In Louis Wehenkel and Pierre Geurts and Raphael Maree (Eds.). Benelearn, pp. 75-76. University of Liege. [BibTeX]

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2008). Efficiently learning simple timed automata. In Will Bridewell and Toon Calders and Ana Karla de Medeiros and Stefan Kramer and Mykola Pechenizkiy and Ljupco Todorovski (Eds.). Induction of Process Models, pp. 61-68. University of Antwerp. [BibTeX]

P. van Leeuwen, L. Oei, P. Buzing, C. Witteveen (2008). Towards adaptive Temporal Planning at Airports. System Science 34(4):67-77. [BibTeX]

2007

Jan Renze Steenhuisen and Mathijs M. de Weerdt and Cees Witteveen (2007). Enabling Agility through Coordinating Temporally Constrained Planning Agents. In Bartel Van de Walle and Paul Burghardt and Kees Nieuwenhuis (Eds.). Proceedings of the 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), pp. 457--466, Delft, The Netherlands. Brussels University Press. [BibTeX]

Sicco Verwer and Mathijs de Weerdt and Cees Witteveen (2007). An algorithm for learning real-time automata. In Maarten van Someren and Sophia Katrenko and Pieter Adriaans (Eds.). Proceedings of the Sixteenth Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn), pp. 128-135. [BibTeX]

Adriaan W. ter Mors and Jonne Zutt and Cees Witteveen (2007). Context-aware logistic routing and scheduling. In Mark Boddy and Maria Fox and Sylvie Thiebaux (Eds.). Proceedings of the 17th International Conference on Automated Planning and Scheduling, pp. 328-335, Providence, Rhode Island, U.S.A. AAAI Press. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen (2007). Plan Coordination for Durative Tasks. In Miguel A. Salido and Antonio Garrido and Roman Barták (Eds.). Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), pp. 73--80, Providence, RI, USA. [BibTeX]

Adriaan ter Mors and Xiaoyu Mao and Nico Roos and Cees Witteveen and Alfons Salden (2007). Multi-Agent System Support for Scheduling Aircraft De-icing. In Bartel van de Walle, Paul Burghardt and Kees Nieuwenhuis (Eds.). Proceeding of ISCRAM 2007 - Intelligent Human Computer Systems for Crisis Response and Management, pp. 467-478. VUBPRESS Brussels University Press. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen (2007). Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. In Mathijs Michiel de Weerdt (Eds.). Proceedings of the Workshop on Coordinating Agents' Plans and Schedules (CAPS), pp. 37--44, Honolulu, HW, USA. IFAAMAS. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen (2007). Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. In Hamid R. Arabnia and P. L. Zhou (Eds.). Proceedings of the International Conference on Foundations of Computer Science (FCS), pp. 3--9, Las Vegas, NV, USA. CSREA Press. [BibTeX]

Cees Witteveen and Nico Roos and Adriaan ter Mors and Xiaoyu Mao (2007). Diagnosis of Plan Step Errors and Plan Structure Violations. In M. Huhns and O. Shehory (Eds.). Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 847-849. Research Publishing Services. [BibTeX]

Xiaoyu Mao and Adriaan ter Mors and Nico Roos and Cees Witteveen (2007). Using Neuro-Evolution in Aircraft Deicing Scheduling. In Karl Tuyls and Steven de Jong and Marc Ponsen and Katja Verbeeck (Eds.). ALAMAS 2007 Adaptive and Learning Agents and Multi-Agent Systems, pp. 138--145. MICC Technical Report Series. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen and Yingqian Zhang (2007). Plan-Coordination Mechanisms and the Price of Autonomy. In Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Porto, Portugal. [BibTeX]

Ruben Stranders and Mathijs M. de Weerdt and Cees Witteveen (2007). Fuzzy Argumentation for Trust. In Proceedings of the CLIMA. [BibTeX]

Sicco Verwer and Mathijs de Weerdt and Cees Witteveen (2007). An algorithm for learning real-time automata (extended abstract). In Mahammad Mehdi Dastani and Edwin de Jong (Eds.). BNAIC, pp. 411-412. BNVKI. [BibTeX]

Xiaoyu Mao and Adriaan ter Mors and Nico Roos and Cees Witteveen (2007). Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. In Paolo Petta, Joerg P. Mueller, Matthias Klusch, Michael Georgeff (Eds.). Proceedings of the Fifth German Conference on Multiagent System Technologies (MATES2007), pp. 133-144. Lecture Notes in Artificial Intelligence 4687, Springer. [BibTeX]

Pim van Leeuwen and Lian Ien Oei and Pieter Buzing and Cees Witteveen (2007). Adaptive Temporal Planning at Airports. In M. Ganzha and M. Paprzycki and T. Pelech-Pilichowski (Eds.). Proceedings of the International Multiconference on Computer Science and Information Technology, pp. 317--326, Wisla, Poland. Polskie Towarzystwo Informatyczne. [BibTeX]

Cees Witteveen (2007). De Prijs van Onafhankelijkheid, Intreerede, Technische Universiteit Delft. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen (2007). Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. In Mehdi Dastani and Edwin de Jong (Eds.). Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC), pp. 389--390, Utrecht, The Netherlands. [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]

Jan Renze Steenhuisen and Cees Witteveen (2007). Plan Coordination for Durative Tasks. In Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS), pp. 304--318, Hammamet, Tunisia. [BibTeX]

2006

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2006). On the identifiability in the limit of timed automata. In Proceedings of the Grammatical inference workshop on open problems and new directions. [BibTeX]

Pieter C. Buzing and Jan Renze Steenhuisen and Cees Witteveen (2006). Coordinating Autonomous Planning Agents with Temporal Constraints. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.). Proceedings of the 18th Belgian-Dutch Conference on Artificial Intelligence (BNAIC), pp. 67--74, Namur, Belgium. BNAIC Conference series [BibTeX]

Cees Witteveen and Mathijs M. de Weerdt (2006). Multi-Agent Planning for Non-Cooperative Agents. In Ed Durfee and David Musliner (Eds.). Proceedings of the AAAI Spring Symposium on Distributed Plan and Schedule Management, pp. 169--170. AAAI Press. [BibTeX]

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2006). Identifying an automaton model for timed data (extended abstract). In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC), pp. 439-440. BNVKI. [BibTeX]

Jan Renze Steenhuisen and Cees Witteveen and Adriaan W. ter Mors and Jeroen M. Valk (2006). Framework and Complexity Results for Coordinating Non-Cooperative Planning Agents. In Klaus Fischer et al. (Eds.). Proceedings of the 4th German conference on Multi-Agent System Technologies (MATES), pp. 98--109. Lecture Notes in Artificial Intelligence 4196, Springer-Verlag. [BibTeX]

J. Zutt and C. Witteveen (2006). Operational transport planning with incidents, experiments with Traplas. In Henk J. van Zuylen (Eds.). 9th TRAIL Congress, TRAIL in Motion. TRAIL Research school. [BibTeX]

A. W. ter Mors and J. M. Valk and C. Witteveen (2006). Task Coordination and Decomposition in Multi-Actor Planning Systems. In G. Sutschet (Eds.). Proceedings of the Workshop on Software-Agents in Information Systems and Industrial Applications (SAISIA), pp. 83 - 94. Fraunhofer IRB Verlag. [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]

Mathijs M. de Weerdt and Cees Witteveen (2006). Multiagent planning: problem properties that matter. In Ed Durfee and David Musliner (Eds.). Proceedings of the AAAI Spring Symposium on Distributed Plan and Schedule Management, pp. 155--156. AAAI. [BibTeX]

Xiaoyu Mao and Adriaan ter Mors and Nico Roos and Cees Witteveen (2006). Agent-Based Scheduling for Aircraft Deicing. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.). Proceedings of the 18th Belgium - Netherlands Conference on Artificial Intelligence, pp. 229-236. BNVKI. [BibTeX]

Sicco E. Verwer and Mathijs M. de Weerdt and Cees Witteveen (2006). Identifying an automaton model for timed data. In Yvan Saeys and Elena Tsiporkova and Bernard De Baets and Yves van de Peer (Eds.). Proceedings of the Annual Machine Learning Conference of Belgium and the Netherlands (Benelearn), pp. 57--64. Benelearn. [BibTeX]

André Bos and Mathijs M. de Weerdt and Cees Witteveen (2006). In Rob Konings and Hugo Priemus and Peter Nijkamp (Eds.) The Future Of Automated Freight Transport -- Concepts, Design and Implementation, Ch. Multi-agents for Planning and Operational Management, pp. 185--204. Edward-Elgar. [BibTeX]

P.C. Buzing and A.W. ter Mors and J.M. Valk and C. Witteveen (2006). Coordinating Self-Interested Planning Agents. Autonomous Agents and Multi-Agent Systems 12(2):199--218. [BibTeX]

2005

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]

A. W. ter Mors and C. Witteveen (2005). Coordinating non cooperative Planning agents. In Proceedings of the IAT, pp. 407--413. IEEE press. [BibTeX]

Pieter C. Buzing and Cees Witteveen (2005). Temporal Plan and Resource Management. In A. Nowe et al. (Eds.). Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2005), pp. 43--50. BNAIC Conference series [BibTeX]

A. W. ter Mors and J. M. Valk and C. Witteveen (2005). An event-based task framework for disaster planning and decision support. In Bartel van de Walle and Benny Carl'e (Eds.). Proceedings of ISCRAM 2005 The second international conference on information systems for crisis response and management, pp. 151--154. [BibTeX]

A. W. ter Mors and C. Witteveen (2005). Coordinating Self Interested Autonomous Planning Agents. In K. Verbeeck and K. Tuyls and A. Now'e (Eds.). Proceedings of the seventeenth Belgium-Netherlands conference on artificial intelligence, pp. 383--384. [BibTeX]

N. Roos and C. Witteveen (2005). Diagnosis of plan execution and the executing agent. In U. Furbach (Eds.). KI 2005: Advances in AI, pp. 161--175. Lecture Notes in Computer Science [BibTeX]

Pieter C. Buzing and Cees Witteveen (2005). Temporal Plans and Resource management. In Andrew Tuson (Eds.). Proceedings of the 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005), pp. 115--124. City University. [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]

C. Witteveen and N. Roos (2005). Problem Solving in a Computational Society. In H. R. Arabnia and R. Joshua (Eds.). Proceedings of the ICAI, pp. 764--770. CSREA 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]

Sicco Verwer and Mathijs M. de Weerdt and Cees Witteveen (2005). Timed Automata for Behaviorial Pattern Recognition. In A. Nowe (Eds.). Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC), pp. 291--296. [BibTeX]

Mathijs de Weerdt and Adriaan ter Mors and Cees Witteveen (2005). Multi-agent Planning: An introduction to planning and coordination. In Handouts of the European Agent Summer School, pp. 1-32. [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]

Jeroen M. Valk and Mathijs M. de Weerdt and Cees Witteveen (2005). Coordination in Multi-Agent Planning with an Application in Logistics. In Ioannis Vlahavas and Dimitris Vrakas (Eds.) Intelligent Techniques for Planning, pp. 194--224. Idea Group Inc.. [BibTeX]

2004

A. W. ter Mors and J. M. Valk and C. Witteveen (2004). Coordinating Autonomous Planners. In H. R. Arabnia and Y. Mun (Eds.). Proceedings of the international conference on artificial intelligence (ICAI'04), pp. 795--801. CSREA Press. [BibTeX]

A. W. ter Mors and J. M. Valk and C. Witteveen (2004). Decomposition in task-based multi-agent planning systems. In Kenneth N. Brown (Eds.). Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), pp. 169--180. [BibTeX]

Pieter Buzing and Adriaan ter Mors and Cees Witteveen (2004). Multi-agent Plan Repair With DTPs. In Kenneth N. Brown (Eds.). Proceedings of the 23rd Annual Workshop of the UK Planning and Scheduling Special Interest Group, (PlanSIG 2004), pp. 3--14. [BibTeX]

N. Roos and A. ten Teije and C. Witteveen (2004). Reaching diagnostic agreement in Multi-Agent Diagnosis. In Proceedings of the AAMAS, pp. 1254--1255. ACM. [BibTeX]

Adriaan ter Mors and Cees Witteveen and Jeroen Valk (2004). Complexity of Coordinating Autonomous planning agents. Technical Report 2004-002, Delft University of Technology. [BibTeX]

J. Zutt and C. Witteveen (2004). Multi-agent transport planning. In L. C. Verbrugge and N. Taatgen and L. Schomaker (Eds.). Proceedings of the 16th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'04), pp. 139--146. [BibTeX]

Pieter Buzing and Cees Witteveen (2004). Distributed (Re)Planning With Preference Information. In R. Verbrugge and N. Taatgen and L. Schomaker (Eds.). Proceedings of the 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004), pp. 155--162. [BibTeX]

Pieter Buzing and Adriaan ter Mors and Jeroen Valk and Cees Witteveen (2004). Task Coordination for Non-cooperative Planning Agents. In C. Ghidini and P. Giorgini and W. van der Hoek (Eds.). Proceedings of the 2nd European Workshop on Multi-Agent Systems (EUMAS 2004), pp. 87--98. [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]

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]

2003

Roman P.J. van der Krogt and Mathijs M. de Weerdt and Cees Witteveen (2003). A Resource Based Framework for Planning and Replanning. In Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT-03), pp. 247--253. IEEE. [BibTeX]

N. Roos and C. Witteveen (2003). Problem Solving in a Computational Environment. In Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 267--274. [BibTeX]

N. Roos and A. ten Teije and C. Witteveen (2003). Multi-Agent Diagnosis with Semantically Distributed Knowledge. In Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC). [BibTeX]

R. P. J. van der Krogt and M. M. de Weerdt and C. Witteveen (2003). Exploiting Opportunities using Planning Graphs. In Julie Porteous (Eds.). Proceedings of the 22nd Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG-03), pp. 125--136. [BibTeX]

N. Roos and A. ten Teije and C. Witteveen (2003). A Protocol for Multi-Agent Diagnosis with Spatially Distributed Knowledge. In Proceedings of the AAMAS, pp. 655--661. ACM. [BibTeX]

B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2003). A modal characterization of Nash Equilibrium. Fundamenta Informaticae 57(2-4):281--321. [BibTeX]

R.P.J. van der Krogt and M.M. de Weerdt and C. Witteveen (2003). Resource Based Framework for Planning and Replanning. Web Intelligence and Agent Systems 1(3-4):173--186. [BibTeX]

Mathijs M. de Weerdt and Andre Bos and Hans Tonino and Cees Witteveen (2003). A Resource Logic for Multi-Agent Plan Merging. Annals of Mathematics and Artificial Intelligence special issue on Computational Logic on Multi-Agent Systems 37(1--2):93--130. [BibTeX]

Mathijs M. de Weerdt and Roman P.J. van der Krogt and Cees Witteveen (2003). Resource Based Multi Agent Plan Merging: framework and application. In Proceedings of the 22nd Annual Workshop of the UK Planning and Scheduling Special Interest Group (PlanSig), pp. 218--233. [BibTeX]

2002

R. P. J. van der Krogt and A. Bos and C. Witteveen (2002). Replanning in a Resource-based Framework. In Multi-Agent-Systems and Applications II, pp. 148--158. Lecture Notes in Artificial Intelligence 2322, Springer-Verlag. [BibTeX]

B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Eds.). Proceedings of the 15th European Conference on Artificial Intelligence (ECAI'02), pp. 28--32. IOS Press. [BibTeX]

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]

H. Tonino and A. Bos and M.M. de Weerdt and C. Witteveen (2002). Plan Coordination by Revision in Collective Agent-Based Systems. Artificial Intelligence 142(2):121--145. [BibTeX]

N. Roos and A. ten Teije and A. Bos and C. Witteveen (2002). Multi-Agent Diagnosis with Spatially Distributed Knowledge. In Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 275--282. [BibTeX]

L. Aronson and R. van der Krogt and C. Witteveen and J. Zutt (2002). Automated Transport Planning Using Agents. In Proceedings of the International Congress on Freight Transport Automation and Multimodality: Organisational and Technological Innovations (FTAM'02). TRAIL Conference Proceedings Series No. P2002/1 [BibTeX]

N. Roos and A. ten Teije and A. Bos and C. Witteveen (2002). An Analysis of Multi-Agent Diagnosis. In Proceedings of the AAMAS, pp. 986--987. [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]

2001

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]

J.M. Valk and C. Witteveen and J. Zutt (2001). A Chain Manager Strategy for a Multimodal Transportation System. In B. Krose and M. de Rijke and G. Schreiber and M. van Someren (Eds.). Proceedings of the 13th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'01), pp. 449--456. [BibTeX]

J.M. Valk and C. Witteveen and J. Zutt (2001). Task Allocation Policies for Logistic Problems. In Proceedings of the First Seminar "Joint TNO TRAIL Transport Research T3" (TRAIL'01). [BibTeX]

Mathijs M. de Weerdt and Cees Witteveen (2001). A Resource Logic for Multi-Agent Plan Merging. In John Levine (Eds.). Proceedings of the Twentieth Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG'01), pp. 244--256. [BibTeX]

R. P. J. van der Krogt and A. Bos and C. Witteveen (2001). Plan Fragment Libraries. In Proceedings of the BNAIC 2001, pp. 399--406. [BibTeX]

Mathijs M. de Weerdt and Hans Tonino and Cees Witteveen (2001). Cooperative heuristic multi-agent planning. In Proceedings of the Thirteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC-01), pp. 275--282. [BibTeX]

R. P. J. van der Krogt and A. Bos and C. Witteveen (2001). Replanning in a Resource-based Framework. In Proceedings of Multi-Agent Systems and Applications - ACAI 2001 & EASSS 2001 Student Sessions. [BibTeX]

N. Roos and A. ten Teije and A. Bos and C. Witteveen (2001). Multi-Agent Diagnosis: A Case Study. In Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 221--228. [BibTeX]

J.M. Valk and C. Witteveen and J. Zutt (2001). Approximation Results for Multi-Agent Planning Systems. In Proceedings of the fourth Pacific Rim International Workshop on Multi-Agents (PRIMA'01), pp. 387--398. [BibTeX]

2000

R.P.J. van der Krogt and A. Bos and M.M de Weerdt and C. Witteveen (2000). An algorithm for replanning. In A.van den Bosch and H. Weigand (Eds.). Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC-00), pp. 21--28. [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]

L. J. Moree and A. Bos and H. Tonino and C. Witteveen (2000). Cooperation by Iterated Plan Revision. In Proceedings ICMAS2000. [BibTeX]

J.M. Valk and A. Bos and J. Rogier and J.F.M. Tonino and C. Witteveen (2000). An Approximation Algorithm for a Logistic Planning Problem. In Antal van den Bosch and Hans Weigand (Eds.). Proceedings of the 12th Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 251--258. [BibTeX]

M. M. de Weerdt and A. Bos and H. Tonino and C. Witteveen (2000). Multi-Agent Cooperation in a Planning Framework. In A.van den Bosch and H. Weigand (Eds.). Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00), pp. 53--60. [BibTeX]

B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2000). A Modal Interpretation of Nash-Equilibria and Some Related Concepts. In Proceedings of the LOFT4 conference. [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 M.M. de Weerdt and C. Witteveen (2000). Virtuele agent moet transport in goede banen leiden. Automatiseringsgids 51:15. [BibTeX]

H. Tonino and A. Bos and C. Witteveen (2000). Replanning by revision in Collective Agent Based Systems. Technical Report, PDS. [BibTeX]

M. M. de Weerdt and A. Bos and H. Tonino and C. Witteveen (2000). A Plan Fusion Algorithm for Multi-Agent Systems. In CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00). [BibTeX]

Mathijs M. de Weerdt and Andr'e Bos and Hans Tonino and Cees Witteveen (2000). Improving Efficiency by Plan Fusion in a Personal Transport Domain. In Proceedings of the Sixth Annual Congress on Transport Infrastructure and Logistics (TRAIL-00). [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 C. Witteveen (2000). Safe Testing for Dynamic Systems. In DX'00 Eleventh International Workshop On Principles of Diagnosis, pp. 9--16. [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]

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]

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]

M.M. de Weerdt and A. Bos and H. Tonino and C. Witteveen (2000). Fusion of Plans in a Framework with Constraints. In International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA-00). [BibTeX]

A. Bos and H. Tonino and M. M. de Weerdt and Cees Witteveen (2000). A framework for multi-agent planning. In D.M.Gabbay and R.J.Cunningham (Eds.). Proceedings of the AgentLink Workshop on Practical Reasoning Agents (FAPR-00). [BibTeX]

1999

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]

A. Bos and M. de Weerdt and C. Witteveen and H. Tonino and J.M. Valk (1999). A Dynamic Systems Framework for Multi-Agent Experiments. In ESSLLI'99. [BibTeX]

A. Bos and N. Roos and C. Witteveen (1999). Computing with Computational Histories. In Proceedings of the BNAIC'99, pp. 19--26. [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]

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]

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]

1998

C. Witteveen and W. van der Hoek (1998). Recovery of (Non)monotonic Theories. Artificial Intelligence 106(1):139--159. [BibTeX]

A. Bos and C. Witteveen (1998). Non-strict Knowledge Computation. In Proceedings NAIC'98. [BibTeX]

C. Witteveen (1998). Recovery and Common-Sense Reasoning. In M. Evens (Eds.). Proceedings MAICS-98, pp. 50--57. AAAI Press. [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]

C. Witteveen and W. van der Hoek (1998). How to recover from nonmonotonic inconsistency. In 3th Information-Theoretic Approaches to Logic Language and Computation (ITALLC'98), pp. 238--248. [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]

1997

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]

E. Weydert and G. Brewka and C. Witteveen (Eds.) (1997). Proceedings DGNMR'97, Max Planck Institut for Computer Science, Saarbruecken. [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). Reducing Updating to Recovery in Nonmonotonic Databases. In K. van Marcke and W. Daelemans (Eds.). Proceedings of the NAIC'97, pp. 22--38. [BibTeX]

1996

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]

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]

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 (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). 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). 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]

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]

1995

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). 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]

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). 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). Semantic Based Theory Revision in Nonmonotonic Logic. Technical Report, Dep. of Comp. Sci, Univ Utrecht. [BibTeX]

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]

1994

C. Witteveen (1994). Process knowledge in production systems.. In D. Albert (Eds.). Knowledge Structures, pp. 197--228. Springer-Verlag. [BibTeX]

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). 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]

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]

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]

1993

C. Witteveen and C.M. Jonker (1993). Revision by Expansion in Logic Programs. Technical Report, Delft University of Technology. [BibTeX]

C. Witteveen (1993). Complexity of Canonical Revisions 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]

1992

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]

C. Witteveen (1992). Expanding Logic Programs. In D. Pearce and G. Wagner (Eds.) Logics in AI, pp. 373--390. Springer-Verlag. [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]

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]

1991

C. Witteveen (1991). A Three-valued Cumulative Semantics for TMS. Technical Report, Faculty of Technical Mathematics and Informatics Delft. [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]

C. Witteveen and G. Brewka (1991). Skeptical Reason Maintenance is Tractable. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [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). 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 (1991). A Skeptical Semantics for Truth Maintenance. In J.P. Martins and M. Reinfrank (Eds.) Truth Maintenance Systems, pp. 136--154. Springer-Verlag. [BibTeX]

1990

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]

C. Witteveen (1990). Constructive Fixpoint Semantics for Truth Maintenance Systems. Technical Report, Faculty of Technical Mathematics and Informatics. Delft University of Technology. [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). Programmed Production Systems. PhD Thesis, Utrecht University. [BibTeX]

C. Witteveen (1984). Control Structures for Rule Governed Systems. In Proceedings 6th AFCET-WOGS conference, AFCET, pp. 591--695. [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]

BibTeX entries for this list

Top of the page

The newest version of this page can be found at: http://www.st.ewi.tudelft.nl/~witt/publications.php
Last modified: Tue, 04 Mar 2008 09:47:30 GMT

Copyright © 2005 Cees Witteveen. Please mail if you find any errors or omissions.
All Rights Reserved. Design A. Iosup.