Available papers, by date

Available papers, by topic or in Bibtex format.

Thanks for your interest! If you have any problem retrieving or printing a paper, please do mail me ; I can email you the postscript of the paper(s) you want.

The list below contains only a selection of international publications, classified by type of publication, in reverse chronological order.

Legend: P Refereed, published proceedings. J Article in journal. BC Book chapter. P(I) Published proceedings, invited paper W Workshop proceedings. TR Technical reports. TH Ph.D. thesis.

A First Order LUB Approximations: Characterization and Algorithms (PDF) Abstract. Alvaro del Val. Artificial Intelligence, 162(2005): 7-48.

P Scheduling Social Tournaments (PDF) Iván Dotú, Alvaro del Val, and Pascal van Hentenryck. In CP 2005, Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming

P Modeling Choices in Quasigroup Completion: SAT vs. CSP (PDF) Abstract. Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, and Felip Manyà. In AAAI 2004, Proceedings of the Nineteenth (U.S.) National Conference on Artificial Intelligence, 137-142. San Jose, California, 2004

P Redundant Modeling for the QuasiGroup Completion Problem (PDF) Abstract. Iván Dotú, Alvaro del Val, and Manuel Cebrián. In CP 2003, Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming, 288-302. Kinsale, Ireland, 2003.

P Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem (PDF) Iván Dotú, Alvaro del Val, and Manuel Cebrián. In IJCAI 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, 1372-1373. Acapulco, Mexico, 2003.

P Efficient Consequence-Finding (PDF) Abstract. Laurent Simon and Alvaro del Val. In IJCAI'01, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 359-365. Seattle, WA, 2001.

P Simplifying Binary Propositional Theories into Connected Components Twice as Fast (Postscript 209K). Abstract. Alvaro del Val. In LPAR'2001, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, pp. 389-403. LNCS, Springer Verlag, 2001. © Springer-Verlag.

J On Some Tractable Classes in Deduction and Abduction (Postscript, 245K). Abstract. Alvaro del Val. Artificial Intelligence, 116(2000): 297-313.

P On 2SAT and Renamable Horn (PDF, 195K ) Abstract. Alvaro del Val. In AAAI'00, Proceedings of the Seventeenth (U.S.) National Conference on Artificial Intelligence, 279-284. Austin, Texas, 2000.

P Tractable Classes for Directional Resolution (PDF 179K ) Abstract Alvaro del Val. In AAAI'00, Proceedings of the Seventeenth (U.S.) National Conference on Artificial Intelligence, 343-348. Austin, Texas, 2000.

P The Complexity of Restricted Consequence Finding and Abduction (PDF 245K) ) Abstract. Alvaro del Val. In AAAI'00, Proceedings of the Seventeenth (U.S.) National Conference on Artificial Intelligence, 337-342. Austin, Texas, 2000.

P A New Method for Consequence Finding and Compilation for Restricted Languages (Postscript, 181K). Abstract. Alvaro del Val. AAAI'99, Proceedings of the Sixteenth National American Conference on Artificial Intelligence, 259-264. Orlando, Florida, 1999.

P (I) How Can Psychology Help Artificial Intelligence? (Postscript, 151K). Abstract. Alvaro del Val. Interfaces da Psicologia, University of Evora, Portugal, 1999.

J Belief Revision and Non-Monotonic Reasoning: Syntactic, Semantic, Foundational and Coherence Approaches. (Postscript, 245K). Abstract. Alvaro del Val. Journal of Applied Non-Classical Logics, 7(1997):213-240.

P Qualitative Reasoning About Perception and Belief. (Postscript, 148K) Abstract. Alvaro del Val, Pedrito Maynard-Reid, and Yoav Shoham. IJCAI'97, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 508-513. Nagoya, Japan, 1997.

P Approximate Knowledge Compilation: The First Order Case (Postscript, 157K.) Abstract. Alvaro del Val. AAAI'96, Proceedings of the Thirteenth National American Conference on Artificial Intelligence, 498-503. Portland, Oregon, 1996.

P An Analysis of Approximate Knowledge Compilation. (Postscript, 218K.) Abstract. Alvaro del Val. IJCAI'95, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 830-836. Montreal, 1995.

BC Approximate Update of Logical Databases. (Postscript, 183K.) Abstract. Alvaro del Val. In Imprecise and Approximate Computation, S. Natarajan (ed.), 135-147. Kluwer Academic Publishers, 1995.

P Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. (Postscript, 191K.) Abstract. Alvaro del Val. KR'94, Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 551-561. Bonn, 1994.

J A Unified View of Belief Revision and Update. (Postscript, 254K.) Abstract. Alvaro del Val and Yoav Shoham. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(1994):797-810.

J Deriving Properties of Belief Update from Theories of Action. (Postscript, 396K.) Abstract. Alvaro del Val and Yoav Shoham. Journal of Logic, Language, and Information, 3(1994):81-119.

P On the Relation between the Coherence and Foundations Theories of Belief Revision. (Postscript, 177K.) Abstract. Alvaro del Val. AAAI'94, Proceedings of the Twelfth National American Conference on Artificial Intelligence, 909-914. Seattle, 1994.

W Reasoning about Default Persistence. (Postscript, 191K.) Abstract. Alvaro del Val. Proceedings of the Workshop on Logic and Change. ECAI'94, European Conference on Artificial Intelligence. Amsterdam, 1994.

P Syntactic Characterizations of Belief Change Operators. (Postscript, 162K.) Abstract. Alvaro del Val. IJCAI'93, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 540-545. Chambery, France, 1993.

P Deriving Properties of Belief Update from Theories of Action (II). (Postscript, 162K.) Abstract. Alvaro del Val and Yoav Shoham. IJCAI'93, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 732-737. Chambery, France, 1993.

TH Ph. D. Thesis: Belief Revision and Update. (Compressed Postscript, 511K.) Abstract, Table of contents. Alvaro del Val. Ph.D. thesis, Stanford University, March 1993.

P Computing Knowledge Base Updates. (Postscript, 242K.) Abstract. Alvaro del Val. KR'92, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 540-545. Cambridge, MA, 1992.

P Deriving Properties of Belief Update from Theories of Action. (Postscript, 173K.) Abstract. Alvaro del Val and Yoav Shoham. AAAI'92, Proceedings of the Tenth National American Conference on Artificial Intelligence, 584-589. San Jose, CA, 1992.

TR A Logic for Perception and Belief. (Postscript, 228K.) Abstract. Yoav Shoham and Alvaro del Val. Technical report STAN-CS-91-1391. Department of Computer Science, Stanford University, 1991.

Last updated October 30, 2001.