The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cees Witteveen" ( http://dblp.L3S.de/Authors/Cees_Witteveen )

URL (Homepage):  http://www.st.ewi.tudelft.nl/~witt/  Author page on DBLP  Author page in RDF  Community of Cees Witteveen in ASPL-2

Publication years (Num. hits)
1981-1996 (15) 1997-2003 (16) 2004-2006 (19) 2007-2008 (15) 2009-2011 (17) 2012-2014 (15) 2015-2019 (12)
Publication types (Num. hits)
article(21) inproceedings(86) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 25 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman A Model-based Genetic Programming Approach for Symbolic Regression of Small Expressions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Anton Bouter, Tanja Alderliesten, Arjan Bel, Cees Witteveen, Peter A. N. Bosman Large-scale parallelization of partial evaluations in evolutionary algorithms for real-world problems. Search on Bibsonomy GECCO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Virgolin, Tanja Alderliesten, Arjan Bel, Cees Witteveen, Peter A. N. Bosman Symbolic regression and feature construction with GP-GOMEA applied to radiotherapy dose reconstruction of childhood cancer survivors. Search on Bibsonomy GECCO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kiriakos Simon Mountakis, Tomas Klos, Cees Witteveen Stochastic Task Networks - Trading Performance for Stability. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kiriakos Simon Mountakis, Tomas Klos, Cees Witteveen Dynamic Temporal Decoupling. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ngoc Hoang Luong, Anton Bouter, Marjolein C. van der Meer, Yury Niatsetski, Cees Witteveen, Arjan Bel, Tanja Alderliesten, Peter A. N. Bosman Efficient, effective, and insightful tackling of the high-dose-rate brachytherapy treatment planning problem for prostate cancer using evolutionary multi-objective optimization algorithms. Search on Bibsonomy GECCO (Companion) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Bouter, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman Exploiting linkage information in real-valued optimization with the real-valued gene-pool optimal mixing evolutionary algorithm. Search on Bibsonomy GECCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Bouter, Ngoc Hoang Luong, Cees Witteveen, Tanja Alderliesten, Peter A. N. Bosman The multi-objective real-valued gene-pool optimal mixing evolutionary algorithm. Search on Bibsonomy GECCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Virgolin, Tanja Alderliesten, Cees Witteveen, Peter A. N. Bosman Scalable genetic programming by gene-pool optimal mixing and input-space entropy-based building-block learning. Search on Bibsonomy GECCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cees Witteveen Optimising Flexibility for Simple Temporal Networks. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Novák 0001, Cees Witteveen Context-aware reconfiguration of large-scale surveillance systems: argumentative approach. Search on Bibsonomy Argument & Computation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simon Mountakis, Tomas Klos, Cees Witteveen Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman Flexibility and decoupling in Simple Temporal Networks. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Boris de Wilde, Adriaan ter Mors, Cees Witteveen Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Novák 0001, Cees Witteveen On the cost-complexity of multi-context systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Cees Witteveen, Michel Wilson, Tomas Klos Optimal Decoupling in Linear Constraint Systems. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge Program equilibrium - a program reasoning approach. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Peter Novák 0001, Cees Witteveen Reconfiguration of Large-Scale Surveillance Systems. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shekhar Gupta, Christian Fritz 0001, Bob Price, Roger Hoover, Johan de Kleer, Cees Witteveen ThroughputScheduler: Learning to Schedule on Heterogeneous Hadoop Clusters. Search on Bibsonomy ICAC The full citation details ... 2013 DBLP  BibTeX  RDF
1Boris de Wilde, Adriaan ter Mors, Cees Witteveen Push and rotate: cooperative multi-agent path planning. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman Flexibility and Decoupling in the Simple Temporal Problem. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Efficiently identifying deterministic real-time automata from labeled data. Search on Bibsonomy Machine Learning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Cees Witteveen, Charlotte Ipema, Frits de Nijs, Theodor Tsiourakis Empirical Evaluation of Multi-Agent Routing Approaches. Search on Bibsonomy IAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leon Endhoven, Tomas Klos, Cees Witteveen Maximum Flexibility and Optimal Decoupling in Task Scheduling Problems. Search on Bibsonomy IAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shekhar Gupta, Nico Roos, Cees Witteveen, Bob Price, Johan de Kleer Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Arman Noroozian, Mathijs de Weerdt, Cees Witteveen Incentivizing Cooperation in P2P File Sharing - Indirect Interaction as an Incentive to Seed. Search on Bibsonomy ADMI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michel Wilson, Cees Witteveen, Bob Huisman Enhancing predictability of schedules by task grouping. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen The efficiency of identifying timed automata and the power of clocks. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Cees Witteveen, Michael J. Wooldridge Decomposing constraint systems: equivalences and computational properties. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Learning Driving Behavior by Timed Syntactic Pattern Recognition. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Chetan Yadati, Cees Witteveen, Yingqian Zhang Coordination by design and the price of autonomy. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Cees Witteveen, Jonne Zutt, Fernando A. Kuipers Context-Aware Route Planning. Search on Bibsonomy MATES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Cees Witteveen (eds.) Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings Search on Bibsonomy MATES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chetan Yadati, Cees Witteveen, Yingqian Zhang Coordinating Agents - An Analysis of Coordination in Supply-chain Management Tasks. Search on Bibsonomy ICAART (2) The full citation details ... 2010 DBLP  BibTeX  RDF
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen A Likelihood-Ratio Test for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data. Search on Bibsonomy ICGI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Léon Planken, Mathijs de Weerdt, Cees Witteveen Optimal temporal decoupling in multiagent systems. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1J. Renze Steenhuisen, Cees Witteveen Plan decoupling of agents with qualitatively constrained tasks. Search on Bibsonomy Multiagent and Grid Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nico Roos, Cees Witteveen Models and methods for plan diagnosis. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Complexity, Planning, Diagnosis, Multi-agents
1Femke de Jonge, Nico Roos, Cees Witteveen Primary and secondary diagnosis of multi-agent plan execution. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-agent systems, Planning, Diagnosis
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. Search on Bibsonomy LATA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pim van Leeuwen, Cees Witteveen Temporal Decoupling and Determining Resource Needs of Autonomous Agents in the Airport Turnaround Process. Search on Bibsonomy IAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek, Nico Roos Concurrently Decomposable Constraint Systems. Search on Bibsonomy MATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Cees Witteveen Plan Repair in Conflict-Free Routing. Search on Bibsonomy IEA/AIE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Jeroen van Belle, Cees Witteveen Context-aware multi-stage routing. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF multi-stage routing, agents
1Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré Autonomous Scheduling. Search on Bibsonomy FCS The full citation details ... 2008 DBLP  BibTeX  RDF
1Jürgen Dix, Edmund H. Durfee, Cees Witteveen (eds.) Planning in Multiagent Systems, 09.11. - 14.11.2008 Search on Bibsonomy Planning in Multiagent Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Jürgen Dix, Edmund H. Durfee, Cees Witteveen 08461 Abstracts Collection - Planning in Multiagent Systems. Search on Bibsonomy Planning in Multiagent Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Jürgen Dix, Edmund H. Durfee, Cees Witteveen 08461 Executive Summary - Planning in Multi-Agent Systems. Search on Bibsonomy Planning in Multiagent Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengxiao Wu, Han La Poutré Autonomous Scheduling with Unbounded and Bounded Agents. Search on Bibsonomy MATES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF make-span optimality, Scheduling, algorithm, autonomous agents, flexible scheduling
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Polynomial Distinguishability of Timed Automata. Search on Bibsonomy ICGI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nico Roos, Cees Witteveen Diagnosis of Simple Temporal Networks. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos Robust Reservation-Based Multi-Agent Routing. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1J. Renze Steenhuisen, Cees Witteveen Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks. Search on Bibsonomy FCS The full citation details ... 2007 DBLP  BibTeX  RDF
1Ruben Stranders, Mathijs de Weerdt, Cees Witteveen Fuzzy Argumentation for Trust. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang Plan-Coordination Mechanisms and the Price of Autonomy. Search on Bibsonomy CLIMA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-agent systems, coordination, planning, autonomy, Complex tasks
1Adriaan ter Mors, Jonne Zutt, Cees Witteveen Context-Aware Logistic Routing and Scheduling. Search on Bibsonomy ICAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Nico Roos, Cees Witteveen Diagnosis of Plan Structure Violations. Search on Bibsonomy MATES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Coordination errors, Model-Based Diagnosis, Plan execution
1Xiaoyu Mao, Adriaan ter Mors, Nico Roos, Cees Witteveen Coordinating Competitive Agents in Dynamic Airport Resource Scheduling. Search on Bibsonomy MATES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao Diagnosis of plan step errors and plan structure violations. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF planning, model-based diagnosis, plan execution
1Pieter Buzing, Adriaan ter Mors, Jeroen Valk, Cees Witteveen Coordinating Self-interested Planning Agents. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Planning agents, Computional complexity, Coordination, Autonomy
1Femke de Jonge, Nico Roos, Cees Witteveen Diagnosis of Multi-agent Plan Execution. Search on Bibsonomy MATES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1J. Renze Steenhuisen, Cees Witteveen, Adriaan ter Mors, Jeroen Valk Framework and Complexity Results for Coordinating Non-cooperative Planning Agents. Search on Bibsonomy MATES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multi-agent system, computational complexity, coordination, planning, task assignment, complex tasks
1Mathijs de Weerdt, Cees Witteveen Multiagent Planning: Problem Properties that Matter. Search on Bibsonomy AAAI Spring Symposium: Distributed Plan and Schedule Management The full citation details ... 2006 DBLP  BibTeX  RDF
1Cees Witteveen, Mathijs de Weerdt Multi-Agent Planning for Non-Cooperative Agents. Search on Bibsonomy AAAI Spring Symposium: Distributed Plan and Schedule Management The full citation details ... 2006 DBLP  BibTeX  RDF
1Sicco Verwer, Mathijs de Weerdt, Cees Witteveen Timed Inference for Behavioral Pattern Recognition. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Pieter Buzing, Cees Witteveen Temporal Plan and Resource Management. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Adriaan ter Mors, Cees Witteveen Coordinating Self Interested Autonomous Planning Agents. Search on Bibsonomy BNAIC The full citation details ... 2005 DBLP  BibTeX  RDF
1Adriaan ter Mors, Cees Witteveen Coordinating Non Cooperative Planning Agents: Complexity Results. Search on Bibsonomy IAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nico Roos, Cees Witteveen Problem Solving in a Computational Society. Search on Bibsonomy IC-AI The full citation details ... 2005 DBLP  BibTeX  RDF
1Nico Roos, Cees Witteveen Diagnosis of Plan Execution and the Executing Agent. Search on Bibsonomy KI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF planning, diagnosis, agent systems
1Nico Roos, Cees Witteveen Diagnosis of Plan Execution and the Executing Agent. Search on Bibsonomy EUMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Roman van der Krogt, Nico Roos, Mathijs de Weerdt, Cees Witteveen Multiagent planning through plan repair. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multiagent planning
1Cees Witteveen, Nico Roos, Roman van der Krogt, Mathijs de Weerdt Diagnosis of single and multi-agent plans. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF planning, model-based diagnosis
1Adriaan ter Mors, Jeroen Valk, Cees Witteveen Complexity of Task Coordination for Non Cooperative Planning Agents. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nico Roos, Cees Witteveen Diagnosis of Plans and Agents. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Jeroen Valk, Cees Witteveen Complexity of Coordinating Autonomous Planning Agents. Search on Bibsonomy PRICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Adriaan ter Mors, Jeroen Valk, Cees Witteveen Coordinating Autonomous Planners. Search on Bibsonomy IC-AI The full citation details ... 2004 DBLP  BibTeX  RDF
1Nico Roos, Annette ten Teije, Cees Witteveen Reaching Diagnostic Agreement in Multi-Agent Diagnosis. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen A resource based framework for planning and replanning. Search on Bibsonomy Web Intelligence and Agent Systems The full citation details ... 2003 DBLP  BibTeX  RDF
1Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen A Resource Logic for Multi-Agent Plan Merging. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen A Modal Characterization of Nash Equilibrium. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Roman van der Krogt, Mathijs de Weerdt, Cees Witteveen A Resource Based Framework for Planning and Replanning. Search on Bibsonomy IAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nico Roos, Annette ten Teije, Cees Witteveen A protocol for multi-agent diagnosis with spatially distributed knowledge. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model-based diagnosis
1Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen Plan coordination by revision in collective agent based systems. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Cees Witteveen Note by the Guest Editors. Search on Bibsonomy Studia Logica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jeroen Valk, Cees Witteveen Multi-agent Coordination in Planning. Search on Bibsonomy PRICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen On Modal Logic Interpretations of Games. Search on Bibsonomy ECAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Nico Roos, Annette ten Teije, André Bos, Cees Witteveen An analysis of multi-agent diagnosis. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Roman van der Krogt, André Bos, Cees Witteveen Replanning in a Resource-Based Framework. Search on Bibsonomy Multi-Agent-Systems and Applications The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen A Plan Fusion Algorithm for Multi-Agent Systems. Search on Bibsonomy CL-2000 Workshop on Computational Logic in Multi-Agent Systems The full citation details ... 2000 DBLP  BibTeX  RDF
1Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen Cooperation by Iterated Plan Revision. Search on Bibsonomy ICMAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Cees Witteveen Classical, General Frameworks for Recovery. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Recovery of (Non)Monotonic Theories. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek A General Framework for Revising Non-Monotonic Theories. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Revising and Updating Using a Back-Up Semantics. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Updating, Nonmonotonic Reasoning, Theory Revision
1Cees Witteveen, Wiebe van der Hoek Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Updating Nonmonotonic Databases. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Cees Witteveen Belief Revision in Truth Maintenance. Search on Bibsonomy Logic, Action, and Information The full citation details ... 1996 DBLP  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Revision by Communication. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle Revision of Non-Monotonic Theories. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Logic Programming, Revision, Non-monotonic Reasoning
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license