Wu, M., de Weerdt, M.M., La Poutré, J.A., Yadati, C., Zhang, Y. & Witteveen, C. (2011). Multi-Player Multi-Issue Negotiation With Complete Information. In T. Ito, M. Zhang, V. Robu, S. Fatima, T. Matsuo & H. Yamaki (Eds.), Innovations in Agent-Based Complex Automated Negotiations (pp. 147-159). Springer.
|
Meerman, K., Sommen, S., Kroon, S., Witteveen, C. & La Poutré, J.A. (2010). Een Complexe Logistieke Kwestie. I/O ICT Onderzoek, 3-5.
|
Aldewereld, H.M., Buzing, P., Jonker, G., Jonge, F. de, Dignum, F.P.M., Meyer, J-J.Ch., Roos, N. & Witteveen, C. (2008). Multi-agent plan diagnosis and negotiated repair (Demo Paper). In L. Padgham, D. Parkes, J. Mueller & S. Parsons (Eds.), Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'08) (pp. 1659-1660). ACM Press.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2003). A modal characterization of Nash Equilibrium. Fundamenta Informaticae, 57(2-4), 281-321.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2002). On Modal Logic Interpretations of Games. In F. van Harmelen (Ed.), Proceedings of ECAI 2002, 15th European Conference on Artificial Intelligence (pp. 28-32). Amsterdam, Berlin, Oxford, Tokyo, Washington D.C.: IOS Press/OHM Ohmsha.
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2001). Boolean Games. In J. van Benthem (Ed.), Theoretical Aspects of Rationality and Knowledge: Proceedings of the Eighth Conference (TARK 2001) (pp. 287-298). San Fransisco, U.S.A.: Morgan Kaufmann.
|
Witteveen, C. & Hoek, W. van der (2001). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon, P. Blackburn, N. Braisby & A. Shimojima (Eds.), : Logic, Language and Computation (pp. 319-340). Stanford, USA: CSLI Publications.
|
Roos, N., Teije, A.C.M. ten, Bos, A. & Witteveen, C. (2001). Multi-agent Diagnosis: an analysis. In B. Kroese, M. de Rijke, G. Schreiber & M. van Someren (Eds.), 13th Belgian-Dutch Conference on Artificial Intelligence (pp. 221-228).
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (2000). A modal Interpretation of Nash-Equilibria and Some Related Concepts. In G. Bonanno, E. Colombatto & W. van der Hoek (Eds.), Proceedings of the Fourth Conference on Logic and the Foundations of Game and Decision Theory (LOFT4) (pp. 1-21). Torino.
|
Hoek, W. van der & Witteveen, C. (2000). Classical and General Frameworks for Recovery. In W. Horn (Ed.), 14th European Conference on Artificial Intelligence (ECAI) (pp. 33-37). Amsterdam: IOS Press.
|
Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (1999). Foundations and Applications of Collective Agent-Based Systems (CABS). Utrecht: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1999). Recovering from inconsistency: a general framework for theory recovery. In WAIT '1999 proceedings of the Argentinian Workshop on Theoretical Computer Science (pp. 37-50).
|
Harrenstein, B.P., Hoek, W. van der, Meyer, J-J.Ch. & Witteveen, C. (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly & A. Baltag (Eds.), Proceedings of the ILLC Workshop on Logic and Games, Held in Amsterdam November 19-20, 1999 (pp. 29-30). Amsterdan: ILLC.
|
Witteveen, C. & Hoek, W. van der (1998). Recovery of (non)monotonic theories. Artificial intelligence, 106(1), 139-159.
|
Witteveen, C. & Hoek, W. van der (1997). A General Framework for revising non-monotonic Databases. In J. Dix & e.a. (Eds.), Logic Programming and Non-Monotonic Reasoning (pp. 258-272). Berlin: Springer Verlag.
|
Witteveen, C. & Hoek, W. van der (1997). Recovery of nonmonotonic theories. (UU-CS1997-34 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
Witteveen, C. & Hoek, W. van der (1997). Reducing Updating to Recovery in Nonmonotonic Databases. In K. Marcke & W. Daelemans (Eds.), Proceedings of the Ninth Dutch Conference on Artificial Intelligence (NAIC '97) (pp. 445-454). Antwerp: University of Antwerp.
|
Witteveen, C. (1996). Belief Revision in Truth Maintenance. In A. Fuhrmann & H. Rott (Eds.), Logic, Action and Information (pp. 447-470). Berlin, Germany: Walter de Gruyter.
|
Witteveen, C. (1996). Partial semantics for truth maintenance. In P. Doherty (Ed.), Partiality, Modality and Nonmonotonicity (pp. 197-222). Stanford, California, USA: CSLI publications.
|
Wondergem, B.C.M., Hoek, W. van der, Huibers, W.H.C. & Witteveen, C. (1996). Preferential semantics for query by navigation. Informatiewetenschap, 153-168.
|
Witteveen, C. & Hoek, W. van der (1996). Revision and updating using a back-up semantics. In J.J. Meyer & L. van der Gaag (Eds.), Proceedings of the Eight Dutch Conference on Artificial Intelligence (NAIC'96) (pp. 393-404). Utrecht, the Netherlands: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1996). Revision and updating using a back-up semantics. Logics in Al : European workshop JELIA, 388-403.
|
Witteveen, C. & Hoek, W. van der (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In P.S.H.R. Dyckhoff & H. Herre (Eds.), Extensions of Logig Programming (pp. 303-318). Springer Verlag.
|
Witteveen, C. & Hoek, W. van der (1996). Updating nonmonotonic databases. In M. Vardi (Ed.), Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems (pp. 147-154). Los Alamitos, CA: IEEE Computer Society Press.
|
Witteveen, C. & Hoek, W. van der (1995). Semantic Based Theory Revision in Nonmonotonic Logic. (UU-CS1995-39 ). Utrecht: Utrecht University.
|
Witteveen, C. & Hoek, W. van der (1994). Revision by Communication: Program by Consulting Weaker Semantics. (UU-CS1994-56 ). Utrecht.
|
webmaster@cs.uu.nl,
Thu, 23 May 2013 00:26:34 +0200
←
Departement Informatica, Universiteit Utrecht