| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Efficiently identifying deterministic real-time automata from labeled data.  |
Machine Learning  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
The efficiency of identifying timed automata and the power of clocks. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Learning Driving Behavior by Timed Syntactic Pattern Recognition. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Cees Witteveen, Michael Wooldridge |
Decomposing constraint systems: equivalences and computational properties. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Chetan Yadati, Cees Witteveen, Yingqian Zhang |
Coordination by design and the price of autonomy. |
Autonomous Agents and Multi-Agent Systems |
2010 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Cees Witteveen, Jonne Zutt, Fernando A. Kuipers |
Context-Aware Route Planning. |
MATES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Cees Witteveen (eds.) |
Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings |
MATES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Léon Planken, Mathijs de Weerdt, Cees Witteveen |
Optimal temporal decoupling in multiagent systems. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. |
ICGI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Yadati, Cees Witteveen, Yingqian Zhang |
Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | J. Renze Steenhuisen, Cees Witteveen |
Plan decoupling of agents with qualitatively constrained tasks. |
Multiagent and Grid Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Femke de Jonge, Nico Roos, Cees Witteveen |
Primary and secondary diagnosis of multi-agent plan execution. |
Autonomous Agents and Multi-Agent Systems |
2009 |
DBLP DOI BibTeX RDF |
Multi-agent systems, Planning, Diagnosis |
| 1 | Nico Roos, Cees Witteveen |
Models and methods for plan diagnosis. |
Autonomous Agents and Multi-Agent Systems |
2009 |
DBLP DOI BibTeX RDF |
Complexity, Planning, Diagnosis, Multi-agents |
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan ter Mors, Cees Witteveen |
Plan Repair in Conflict-Free Routing. |
IEA/AIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pim van Leeuwen, Cees Witteveen |
Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. |
IAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek, Nico Roos |
Concurrently Decomposable Constraint Systems. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan ter Mors, Jeroen van Belle, Cees Witteveen |
Context-aware multi-stage routing. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
multi-stage routing, agents |
| 1 | Nico Roos, Cees Witteveen |
Diagnosis of Simple Temporal Networks. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos |
Robust Reservation-Based Multi-Agent Routing. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré |
Autonomous Scheduling with Unbounded and Bounded Agents. |
MATES |
2008 |
DBLP DOI BibTeX RDF |
make-span optimality, Scheduling, algorithm, autonomous agents, flexible scheduling |
| 1 | Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré |
Autonomous Scheduling. |
FCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Polynomial Distinguishability of Timed Automata. |
ICGI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang |
Plan-Coordination Mechanisms and the Price of Autonomy. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
multi-agent systems, coordination, planning, autonomy, Complex tasks |
| 1 | Ruben Stranders, Mathijs de Weerdt, Cees Witteveen |
Fuzzy Argumentation for Trust. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriaan ter Mors, Jonne Zutt, Cees Witteveen |
Context-Aware Logistic Routing and Scheduling. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nico Roos, Cees Witteveen |
Diagnosis of Plan Structure Violations. |
MATES |
2007 |
DBLP DOI BibTeX RDF |
Coordination errors, Model-Based Diagnosis, Plan execution |
| 1 | Xiaoyu Mao, Adriaan ter Mors, Nico Roos, Cees Witteveen |
Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. |
MATES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Renze Steenhuisen, Cees Witteveen |
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. |
FCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao |
Diagnosis of plan step errors and plan structure violations. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
planning, model-based diagnosis, plan execution |
| 1 | Pieter Buzing, Adriaan ter Mors, Jeroen Valk, Cees Witteveen |
Coordinating Self-interested Planning Agents. |
Autonomous Agents and Multi-Agent Systems |
2006 |
DBLP DOI BibTeX RDF |
Planning agents, Computional complexity, Coordination, Autonomy |
| 1 | J. Renze Steenhuisen, Cees Witteveen, Adriaan ter Mors, Jeroen Valk |
Framework and Complexity Results for Coordinating Non-cooperative Planning Agents. |
MATES |
2006 |
DBLP DOI BibTeX RDF |
Multi-agent system, computational complexity, coordination, planning, task assignment, complex tasks |
| 1 | Femke de Jonge, Nico Roos, Cees Witteveen |
Diagnosis of Multi-agent Plan Execution. |
MATES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs de Weerdt, Cees Witteveen |
Multiagent Planning: Problem Properties that Matter. |
AAAI Spring Symposium: Distributed Plan and Schedule Management |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Mathijs de Weerdt |
Multi-Agent Planning for Non-Cooperative Agents. |
AAAI Spring Symposium: Distributed Plan and Schedule Management |
2006 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Cees Witteveen |
Coordinating Self Interested Autonomous Planning Agents. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pieter Buzing, Cees Witteveen |
Temporal Plan and Resource Management. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
Timed Inference for Behavioral Pattern Recognition. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nico Roos, Cees Witteveen |
Problem Solving in a Computational Society. |
IC-AI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Cees Witteveen |
Coordinating Non Cooperative Planning Agents: Complexity Results. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman van der Krogt, Nico Roos, Mathijs de Weerdt, Cees Witteveen |
Multiagent planning through plan repair. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multiagent planning |
| 1 | Cees Witteveen, Nico Roos, Roman van der Krogt, Mathijs de Weerdt |
Diagnosis of single and multi-agent plans. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
planning, model-based diagnosis |
| 1 | Adriaan ter Mors, Jeroen Valk, Cees Witteveen |
Complexity of Task Coordination for Non Cooperative Planning Agents. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Roos, Cees Witteveen |
Diagnosis of Plans and Agents. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Roos, Cees Witteveen |
Diagnosis of Plan Execution and the Executing Agent. |
KI |
2005 |
DBLP DOI BibTeX RDF |
planning, diagnosis, agent systems |
| 1 | Nico Roos, Cees Witteveen |
Diagnosis of Plan Execution and the Executing Agent. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Jeroen Valk, Cees Witteveen |
Coordinating Autonomous Planners. |
IC-AI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Adriaan ter Mors, Jeroen Valk, Cees Witteveen |
Complexity of Coordinating Autonomous Planning Agents. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Roos, Annette ten Teije, Cees Witteveen |
Reaching Diagnostic Agreement in Multi-Agent Diagnosis. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen |
A resource based framework for planning and replanning. |
Web Intelligence and Agent Systems |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen |
A Modal Characterization of Nash Equilibrium. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen |
A Resource Logic for Multi-Agent Plan Merging. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen |
A Resource Based Framework for Planning and Replanning. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Roos, Annette ten Teije, Cees Witteveen |
A protocol for multi-agent diagnosis with spatially distributed knowledge. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
model-based diagnosis |
| 1 | Wiebe van der Hoek, Cees Witteveen |
Note by the Guest Editors. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen |
Plan coordination by revision in collective agent based systems. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen |
On Modal Logic Interpretations of Games. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jeroen Valk, Cees Witteveen |
Multi-agent Coordination in Planning. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Roos, Annette ten Teije, André Bos, Cees Witteveen |
An analysis of multi-agent diagnosis. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman van der Krogt, André Bos, Cees Witteveen |
Replanning in a Resource-Based Framework. |
Multi-Agent-Systems and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Cees Witteveen |
Classical, General Frameworks for Recovery. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen |
Cooperation by Iterated Plan Revision. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen |
A Plan Fusion Algorithm for Multi-Agent Systems. |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
Recovery of (Non)Monotonic Theories. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
A General Framework for Revising Non-Monotonic Theories. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Belief Revision in Truth Maintenance. |
Logic, Action, and Information |
1996 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
Revising and Updating Using a Back-Up Semantics. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
Updating, Nonmonotonic Reasoning, Theory Revision |
| 1 | Cees Witteveen, Wiebe van der Hoek |
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
Updating Nonmonotonic Databases. |
ISTCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
Revision by Communication. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Every Normal Program has a Nearly-Stable Model. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
Revision of Non-Monotonic Theories. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
Logic Programming, Revision, Non-monotonic Reasoning |
| 1 | Cees Witteveen, Gerhard Brewka |
Skeptical Reason Maintenance and Belief Revision. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek |
Belief Revision by Expansion. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Catholijn M. Jonker |
Revision by Expansion in Logic Programs. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Expanding Logic Programs. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Skeptical Reason Maintenance is Tractable. |
KR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen |
A Skeptical Semantics for Truth Maintenance. |
Truth Maintenance Systems (ECAI Workshop) |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen |
Partial Semantics for Truth Maintenance - a Compositional Approach. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Cees Witteveen, Harrie Boelens |
Inferring Control Structures from the Behaviour of a Production System |
Information and Control |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")