Publications

This page refers to research papers published by members or part of the CL group. The papers referenced here are not meant to be an exhaustive bibliography of any individual's research, not even with regard to the research areas covered by the CL group.

For papers published in the previous millenium, please visit our members' home pages.

2003
[1] David Mitchell. Resolution and constraint satisfaction. In Principles and Practices of Constraint Programming - CP 2003, Proceedings (LNCS-2833), 2003.
[ .ps ]
[2] James Delgrande and Torsten Schaub. A consistency-based approach for belief change. Artificial Intelligence Journal, 2003.
[ .pdf ]
[3] James Delgrande, Torsten Schaub, and Hans Tompits. A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming, 3(2):129-187, 2003.
[ .ps.gz ]
[4] James Delgrande. Weak conditional logics of normality. 18th International Joint Conference on Artificial Intelligence, pages 873-879, August 9-15 2003.
[ .pdf ]
[5] Eugenia Ternovska and Leila Kalantari. A model checker for verifying congolog programs (extended abstract). 18th International Joint Conference on Artificial Intelligence, August 9-15 2003.
[ .ps ]
[6] James Delgrande, Abhaya Nayak, and Maurice Pagnucco. Prolegomenon to a theory of conservative belief revision. 18th International Joint Conference on Artificial Intelligence, pages 1391-1393, August 9-15 2003.
[ .pdf ]
[7] James Delgrande and Torsten Schaub. On the relation between reiter's default logic and its (major) variants. In T. Nielsen and N. Zhang, editors, Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), volume 2711 of Lecture Notes in Artificial Intelligence, July 2-3 2003.
[ .pdf ]
[8] Oliver Schulte. Iterated backward inference: An algorithm for proper rationalizability. Proceedings of TARK IX (Theoretical Aspects of Reasoning About Knowledge), 2003.
[ .pdf ]
2002
[9] James Delgrande and Oliver Schulte. Representing von neumann-morgenstern games in the situation calculus. Annals of Mathematics and Artificial Intelligence, Special Issue on Multi-Agent Systems and Computational Logic, 2002. A shorter version appeared in the Workshop on Decision and Game Theory, AAAI 2002.
[ .pdf ]
[10] James Delgrande and Torsten Schaub. Reasoning credulously and skeptically within a single extension. Journal of Applied Non-Classical Logics, 12(2):259-285, 2002.
[ .ps.gz ]
[11] James Delgrande, Torsten Schaub, and Hans Tompits. A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming, 2002.
[ .ps.gz ]
[12] James Delgrande and Arvind Gupta. Updating <=,<-chains. Information Processing Letters, 82(5):261-268, 2002.
[ .ps.gz ]
[13] David Mitchell. Resolution complexity of random constraints. In Principles and Practices of Constraint Programming - CP 2002, Proceedings (LNCS-2470), 2002.
[ .ps ]
[14] Oliver Schulte. Minmal belief change, pareto-optimality and logical consequence. Economic Theory, 19(1):105-144, 2002.
[ http ]
[15] James Delgrande, Aaron Hunter, and Torsten Schaub. Coba: A consistency-based belief revision system. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Logics in Artificial Intelligence (JELIA 2002), volume 2424 of Lecture Notes in Artificial Intelligence, pages 509-512. Springer-Verlag, 2002.
2001
[16] B.Bart, J.Delgrande, and O.Schulte. Knowledge and planning in an action-based multi-agent framework: A case study. Advances in Artificial Intelligence, Springer Lecture Notes in AI 2056, pages 121-130, 2001.
[ .pdf ]
[17] James Delgrande, Arvind Gupta, and Tim Van Allen. A comparison of point-based approaches to qualitative temporal reasoning. Artificial Intelligence Journal, 131(1-2):135-170, 2001.
[ .ps.gz ]
[18] James Delgrande. A minimal modelling for successful knowledge base revision. Frontiers of Belief Revision, 22, 2001.
[ .ps.gz ]