Search the dblp DataBase
Cees Witteveen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Cees Witteveen , Gerhard Brewka Skeptical Reason Maintenance and Belief Revision. [Citation Graph (1, 0)][DBLP ] Artif. Intell., 1993, v:61, n:1, pp:1-36 [Journal ] Roman van der Krogt , Nico Roos , Mathijs de Weerdt , Cees Witteveen Multiagent planning through plan repair. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:1337-1338 [Conf ] Nico Roos , Annette ten Teije , André Bos , Cees Witteveen An analysis of multi-agent diagnosis. [Citation Graph (0, 0)][DBLP ] AAMAS, 2002, pp:986-987 [Conf ] Nico Roos , Annette ten Teije , Cees Witteveen A protocol for multi-agent diagnosis with spatially distributed knowledge. [Citation Graph (0, 0)][DBLP ] AAMAS, 2003, pp:655-661 [Conf ] Nico Roos , Annette ten Teije , Cees Witteveen Reaching Diagnostic Agreement in Multi-Agent Diagnosis. [Citation Graph (0, 0)][DBLP ] AAMAS, 2004, pp:1256-1257 [Conf ] Cees Witteveen , Nico Roos , Roman van der Krogt , Mathijs de Weerdt Diagnosis of single and multi-agent plans. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:805-812 [Conf ] Adriaan ter Mors , Cees Witteveen Coordinating Self Interested Autonomous Planning Agents. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:383-384 [Conf ] Sicco Verwer , Mathijs de Weerdt , Cees Witteveen Timed Inference for Behavioral Pattern Recognition. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:291-296 [Conf ] Pieter Buzing , Cees Witteveen Temporal Plan and Resource Management. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:43-50 [Conf ] Adriaan ter Mors , Jeroen Valk , Cees Witteveen Complexity of Task Coordination for Non Cooperative Planning Agents. [Citation Graph (0, 0)][DBLP ] CEEMAS, 2005, pp:600-603 [Conf ] Nico Roos , Cees Witteveen Diagnosis of Plans and Agents. [Citation Graph (0, 0)][DBLP ] CEEMAS, 2005, pp:357-366 [Conf ] Mathijs de Weerdt , André Bos , Hans Tonino , Cees Witteveen A Plan Fusion Algorithm for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:56-65 [Conf ] Paul Harrenstein , Wiebe van der Hoek , John-Jules Ch. Meyer , Cees Witteveen On Modal Logic Interpretations of Games. [Citation Graph (0, 0)][DBLP ] ECAI, 2002, pp:28-32 [Conf ] Wiebe van der Hoek , Cees Witteveen Classical, General Frameworks for Recovery. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:33-37 [Conf ] Cees Witteveen A Skeptical Semantics for Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Truth Maintenance Systems (ECAI Workshop), 1990, pp:136-154 [Conf ] Cees Witteveen , Catholijn M. Jonker Revision by Expansion in Logic Programs. [Citation Graph (0, 0)][DBLP ] ECAI Workshop on Knowledge Representation and Reasoning, 1992, pp:333-355 [Conf ] Cees Witteveen , Wiebe van der Hoek Belief Revision by Expansion. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1993, pp:380-387 [Conf ] Cees Witteveen , Wiebe van der Hoek Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. [Citation Graph (0, 0)][DBLP ] ELP, 1996, pp:303-318 [Conf ] Nico Roos , Cees Witteveen Diagnosis of Plan Execution and the Executing Agent. [Citation Graph (0, 0)][DBLP ] EUMAS, 2005, pp:502-503 [Conf ] Roman van der Krogt , Mathijs de Weerdt , Cees Witteveen A Resource Based Framework for Planning and Replanning. [Citation Graph (0, 0)][DBLP ] IAT, 2003, pp:247-253 [Conf ] Adriaan ter Mors , Cees Witteveen Coordinating Non Cooperative Planning Agents: Complexity Results. [Citation Graph (0, 0)][DBLP ] IAT, 2005, pp:407-413 [Conf ] Adriaan ter Mors , Jeroen Valk , Cees Witteveen Coordinating Autonomous Planners. [Citation Graph (0, 0)][DBLP ] IC-AI, 2004, pp:795-0 [Conf ] Nico Roos , Cees Witteveen Problem Solving in a Computational Society. [Citation Graph (0, 0)][DBLP ] IC-AI, 2005, pp:764-772 [Conf ] Bart Jan Moree , André Bos , Hans Tonino , Cees Witteveen Cooperation by Iterated Plan Revision. [Citation Graph (0, 0)][DBLP ] ICMAS, 2000, pp:191-198 [Conf ] Cees Witteveen , Wiebe van der Hoek Updating Nonmonotonic Databases. [Citation Graph (0, 0)][DBLP ] ISTCS, 1996, pp:147-153 [Conf ] Cees Witteveen Partial Semantics for Truth Maintenance - a Compositional Approach. [Citation Graph (0, 0)][DBLP ] JELIA, 1990, pp:544-561 [Conf ] Cees Witteveen Expanding Logic Programs. [Citation Graph (0, 0)][DBLP ] JELIA, 1992, pp:373-390 [Conf ] Cees Witteveen , Wiebe van der Hoek Revising and Updating Using a Back-Up Semantics. [Citation Graph (0, 0)][DBLP ] JELIA, 1996, pp:388-403 [Conf ] Cees Witteveen , Wiebe van der Hoek , Hans de Nivelle Revision of Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP ] JELIA, 1994, pp:137-151 [Conf ] Nico Roos , Cees Witteveen Diagnosis of Plan Execution and the Executing Agent. [Citation Graph (0, 0)][DBLP ] KI, 2005, pp:161-175 [Conf ] Cees Witteveen Skeptical Reason Maintenance is Tractable. [Citation Graph (0, 0)][DBLP ] KR, 1991, pp:570-581 [Conf ] Cees Witteveen Belief Revision in Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Logic, Action, and Information, 1996, pp:447-470 [Conf ] Cees Witteveen , Wiebe van der Hoek Revision by Communication. [Citation Graph (0, 0)][DBLP ] LPNMR, 1995, pp:189-202 [Conf ] Cees Witteveen , Wiebe van der Hoek A General Framework for Revising Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP ] LPNMR, 1997, pp:258-273 [Conf ] Roman van der Krogt , André Bos , Cees Witteveen Replanning in a Resource-Based Framework. [Citation Graph (0, 0)][DBLP ] Multi-Agent-Systems and Applications, 2001, pp:148-158 [Conf ] Femke de Jonge , Nico Roos , Cees Witteveen Diagnosis of Multi-agent Plan Execution. [Citation Graph (0, 0)][DBLP ] MATES, 2006, pp:86-97 [Conf ] J. Renze Steenhuisen , Cees Witteveen , Adriaan ter Mors , Jeroen Valk Framework and Complexity Results for Coordinating Non-cooperative Planning Agents. [Citation Graph (0, 0)][DBLP ] MATES, 2006, pp:98-109 [Conf ] Cees Witteveen Every Normal Program has a Nearly-Stable Model. [Citation Graph (0, 0)][DBLP ] NMELP, 1994, pp:68-84 [Conf ] Adriaan ter Mors , Jeroen Valk , Cees Witteveen Complexity of Coordinating Autonomous Planning Agents. [Citation Graph (0, 0)][DBLP ] PRICAI, 2004, pp:995-996 [Conf ] Jeroen Valk , Cees Witteveen Multi-agent Coordination in Planning. [Citation Graph (0, 0)][DBLP ] PRICAI, 2002, pp:335-344 [Conf ] Pieter Buzing , Adriaan ter Mors , Jeroen Valk , Cees Witteveen Coordinating Self-interested Planning Agents. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:199-218 [Journal ] Hans Tonino , André Bos , Mathijs de Weerdt , Cees Witteveen Plan coordination by revision in collective agent based systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2002, v:142, n:2, pp:121-145 [Journal ] Cees Witteveen , Wiebe van der Hoek Recovery of (Non)Monotonic Theories. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1998, v:106, n:1, pp:139-159 [Journal ] Mathijs de Weerdt , André Bos , Hans Tonino , Cees Witteveen A Resource Logic for Multi-Agent Plan Merging. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:93-130 [Journal ] Paul Harrenstein , Wiebe van der Hoek , John-Jules Ch. Meyer , Cees Witteveen A Modal Characterization of Nash Equilibrium. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:57, n:2-4, pp:281-321 [Journal ] Cees Witteveen , Harrie Boelens Inferring Control Structures from the Behaviour of a Production System [Citation Graph (0, 0)][DBLP ] Information and Control, 1981, v:51, n:3, pp:275-301 [Journal ] Wiebe van der Hoek , Cees Witteveen Note by the Guest Editors. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:70, n:1, pp:3-4 [Journal ] Roman van der Krogt , Mathijs de Weerdt , Cees Witteveen A resource based framework for planning and replanning. [Citation Graph (0, 0)][DBLP ] Web Intelligence and Agent Systems, 2003, v:1, n:3-4, pp:173-186 [Journal ] Nico Roos , Cees Witteveen Diagnosis of Plan Structure Violations. [Citation Graph (0, 0)][DBLP ] MATES, 2007, pp:157-169 [Conf ] Xiaoyu Mao , Adriaan ter Mors , Nico Roos , Cees Witteveen Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. [Citation Graph (0, 0)][DBLP ] MATES, 2007, pp:133-144 [Conf ] Context-Aware Logistic Routing and Scheduling. [Citation Graph (, )][DBLP ] Diagnosis of plan step errors and plan structure violations. [Citation Graph (, )][DBLP ] Context-aware multi-stage routing. [Citation Graph (, )][DBLP ] Optimal temporal decoupling in multiagent systems. [Citation Graph (, )][DBLP ] Plan-Coordination Mechanisms and the Price of Autonomy. [Citation Graph (, )][DBLP ] Fuzzy Argumentation for Trust. [Citation Graph (, )][DBLP ] Robust Reservation-Based Multi-Agent Routing. [Citation Graph (, )][DBLP ] Diagnosis of Simple Temporal Networks. [Citation Graph (, )][DBLP ] Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. [Citation Graph (, )][DBLP ] Autonomous Scheduling. [Citation Graph (, )][DBLP ] Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. [Citation Graph (, )][DBLP ] Polynomial Distinguishability of Timed Automata. [Citation Graph (, )][DBLP ] A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. [Citation Graph (, )][DBLP ] Plan Repair in Conflict-Free Routing. [Citation Graph (, )][DBLP ] Concurrently Decomposable Constraint Systems. [Citation Graph (, )][DBLP ] Autonomous Scheduling with Unbounded and Bounded Agents. [Citation Graph (, )][DBLP ] Context-Aware Route Planning. [Citation Graph (, )][DBLP ] One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. [Citation Graph (, )][DBLP ] Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks. [Citation Graph (, )][DBLP ] Coordination by design and the price of autonomy. [Citation Graph (, )][DBLP ] Models and methods for plan diagnosis. [Citation Graph (, )][DBLP ] Primary and secondary diagnosis of multi-agent plan execution. [Citation Graph (, )][DBLP ] Search in 0.037secs, Finished in 0.041secs