@techreport{delval:tr91,
	author = "Yoav Shoham and Alvaro del Val",
	title = "A Logic for Perception and Belief",
	number = "STAN-CS-91-1391",
	institution = "Department of Computer Science, Stanford
University",
	year = 1991}

		  
@inproceedings{delval:aaai92,
	author = "Alvaro del Val and Yoav Shoham",
	title = "Deriving Properties of Belief Update from Theories
of Action",
	booktitle = "AAAI'92, Proceedings of the Tenth American National
Conference on Artificial Intelligence",
	pages = "584--589",
	year = 1992}


@inproceedings{delval:kr92,
	author = "Alvaro del Val",
	title = "Computing Knowledge Base Updates",
	booktitle = "KR'92, Proceedings of the Third International
Conference on Principles of Knowledge Representation and Reasoning",
	editor = "B. Nebel and C. Rich and W. Swartout",
	pages = "740--750", 
	publisher = "Morgan Kaufmann",
        year = 1992}


@phdthesis{delval:phd,
	author = "Alvaro del Val",
	title = "Belief Revision and Update",
	school = "Stanford University",
	year = 1993}


@inproceedings{delval:ijcai93a,
	author = "Alvaro del Val and Yoav Shoham",
	title = "Deriving Properties of Belief Update from Theories
of Action {(II)}",
	booktitle = "IJCAI'93, Proceedings of the Thirteenth International
Joint Conference on Artificial Intelligence",
	pages = "732--737",
	year = 1993}


@inproceedings{delval:ijcai93b,
	author = "Alvaro del Val",
	title = "Syntactic Characterizations of Belief Change
Operators", 
	booktitle = "IJCAI'93, Proceedings of the Thirteenth
International Joint Conference on Artificial Intelligence",
	pages = "540--545",
	year = 1993}


@incollection{delval:approx95,
	author = "Alvaro del Val",
	title = "Approximate Update of Logical Databases",
	booktitle = "Imprecise and Approximate Computation",
	publisher = "Kluwer Academic Publishers",
	editor = "Swaminathan Natarajan",
	pages = "135--147",
	year = 1995}


@inproceedings{delval:ecai94,
	author = "Alvaro del Val",
	title = "Reasoning about Default Persistence",
	booktitle = "Proceedings of the Workshop on Logic and Change,
European Conference on Artificial Intelligence",
	year = 1994}


@inproceedings{delval:aaai94, 
	author = "Alvaro del Val",
	title = "On the Relation between the Coherence and Foundations
Theories of Belief Revision",
	booktitle = "AAAI'94, Proceedings of the Twelfth American National
Conference on Artificial Intelligence",
	pages = "909--914",
	year = 1994}


@inproceedings{delval:kr94,
	author = "Alvaro del Val",
	title = "Tractable Databases: How to Make Propositional Unit Resolution
		  Complete Through Compilation",
        booktitle = "KR'94, Proceedings of Fourth International
Conference on Principles of Knowledge Representation and Reasoning",
	year = 1994,
	pages = "551--561",
        publisher = "Morgan Kaufmann",
	editor = "J. Doyle and E. Sandewall and P. Torassi"}


@article{delval:jlc94,
	author = "Alvaro del Val and Yoav Shoham",
	title = "A Unified View of Belief Revision and Update",
	journal = "Journal of Logic and Computation",
	note = "Special Issue on Actions and Processes",
	volume = 4,
	pages = "797--810",
	year = 1994}


@article{delval:jlli94,
	author = "Alvaro del Val and Yoav Shoham",
	title = "Deriving Properties of Belief Update from Theories
of Action",
	journal =  "Journal of Logic, Language, and Information",
	note = "Also as Technical Report
STAN-CS-TR-94-1501, Computer Science Department, Stanford University",
	volume = 3,
	pages = "81--119",
	year = 1994}


@inproceedings{delval:ijcai95,
	author = "Alvaro del Val",
	title = "An Analysis of Approximate Knowledge Compilation",
	booktitle = "IJCAI'95, Proceedings of the Fourteenth International
Joint Conference on Artificial Intelligence",
	pages = "830--836",
	year = 1995}
		  

@inproceedings{delval:aaai96,
	author = "Alvaro del Val",
	title = "Approximate Knowledge Compilation: The First Order Case",
	booktitle = "AAAI'96, Proceedings of the Thirteenth American National
	Conference on Artificial Intelligence",
        publisher = "AAAI Press/The MIT Press",
        pages = "498--503",
	year = 1996}


@article{delval:jancl97,
	author = "Alvaro del Val",
	title = "Non-Monotonic Reasoning and Belief Revision:
Syntactic, Semantic, Foundational, and Coherence Approaches",
	journal = "Journal of Applied Non-Classical Logics",
        editor = "Gerd Wagner",
	note = "Special Issue on Inconsistency-Handling",
        volume = 7,
	pages = "213--240",
        number = 2,
	year = 1997}
		  
		  
@inproceedings{delval:ijcai97a,
	author = "Alvaro del Val and Pedrito Maynard--Reid and Yoav Shoham",
	title = "Qualitative Reasoning about Perception and Belief",
	booktitle = "IJCAI'97, Proceedings of the Fifteenth International
Joint Conference on Artificial Intelligence",
	pages = "508--513",
	year = 1997}		  


@incollection{delval:evora00,
	author = "Alvaro del Val",
	title = "How Can Psychology Help Artificial Intelligence",
	booktitle = "Interfaces of Psychology",
	publisher = "Universidade de Evora",
	year = 2000
}


@inproceedings{delval:aaai99,
	author = "Alvaro del Val",
	title = "A New Method for Consequence Finding and Compilation in Restricted Languages",
	booktitle = "AAAI'99, Proceedings of the Sixteenth American National
	Conference on Artificial Intelligence",
        publisher = "AAAI Press/The MIT Press",
	pages = "259--264",
	year = 1999}


@article{delval:aij00,
	author = "Alvaro del Val",
	title = "On Some Tractable Classes in Deduction and Abduction",
	journal = "Artificial Intelligence"
        note = "To appear",
	year = 2000}


@inproceedings{delval:aaai00a,
	author = "Alvaro del Val",
	title = "On {2-SAT} and {R}enamable {H}orn",
        booktitle = "AAAI'2000, Proc. 17th (U.S.) National
	Conference on Artificial Intelligence",
        publisher = "AAAI Press/MIT Press",
        pages = "279--284",
	year = 2000}


@inproceedings{delval:aaai00b,
	author = "Alvaro del Val",
	title = "Tractable Classes for Directional Resolution",
        booktitle = "AAAI'2000, Proc. 17th (U.S.) National
	Conference on Artificial Intelligence",
        publisher = "AAAI Press/MIT Press",
        pages = "343--348",
	year = 2000}
             

@inproceedings{delval:aaai00c,
	author = "Alvaro del Val",
	title = "The Complexity of Restricted Consequence Finding
                and Abduction",  
        booktitle = "AAAI'2000, Proc. 17th (U.S.) National
	Conference on Artificial Intelligence",
        publisher = "AAAI Press/MIT Press",
        pages = "337--342",
	year = 2000}


@inproceedings{simon-delval:ijcai01,
	author = "Laurent Simon and Alvaro del Val",
	title = "Efficient Consequence Finding", 
	booktitle = "IJCAI'01, Proceedings of the Seventeenth
International Joint Conference on Artificial Intelligence",
	pages = "359--365",
	year = 2001}


@inproceedings{delval:2001b,
        author = "Alvaro del Val",
        title = "Simplifying Binary Propositional Theories into
Connected Components Twice as Fast",
        booktitle = "LPAR'01, Proceedings 8th International Conference on
	Logic for Programming, Artificial Intelligence, and Reasoning",
        publisher = "Springer Verlag",
	pages = "389--403",
	year = 2001}

@inproceedings{delval:cp2003,
        author = "Ivan Dotu, Alvaro del Val and Manuel Cebrian",
        title = "Redundant Modeling for the QuasiGroup Completion Problem",
        booktitle = "CP'03, Proceedings of the 9th International Conference on 
	    Principles and  Practice of Constraint Programming",
        publisher = "Springer-Verlag",
	pages = "288--302",
	year = 2003}


@inproceedings{delval:aaai04,
  author	= "Carlos Ans{\'o}tegui and Alvaro del Val and
  Iv{\'a}n Dot{\'u} and C{\'e}sar Fern{\'a}ndez and Felip Many{\'a}",
  title		= "Modeling Choices in Quasigroup Completion: SAT vs. CSP",
  booktitle	= "AAAI'2004, Proc. 19th (U.S.) National Conference on Artificial Intelligence",
  publisher	= "AAAI Press/MIT Press",
  pages		= "137--142",
  year		= 2004
}

@article{delval:aij05,
  author	= "Alvaro del Val",
  title		= "First order {LUB} Approximations: Characterization and Algorithms", 
  journal	= "Artificial Intelligence",
  volume	= 162,
  pages		= "7--48",
  year		= 2005
}