Available papers, by topic

List of available papers, by date.
 List of available papers (in Bibtex format).
For a brief description of each topic, see Research Interests.

Automated reasoning and knowledge compilation

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.

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, 1996.

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.

Non-monotonic reasoning and belief revision

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.

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.

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

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.

Reasoning about action, temporal reasoning

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.

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.

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.

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.

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.

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.

Qualitative reasoning about perception

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.

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.

Ph.D. thesis

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

Last updated Oct 22, 1997.