| 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 ]
|
A portion of this file was generated by bibtex2html
1.56
|
