Alvaro del Val (delval)

Contributi a Philosophie.ch

Bibliography

Val, Alvaro del. 1992. “Computing Knowledge Base Updates.” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 740–750. San Francisco, California: Morgan Kaufmann Publishers.
Val, Alvaro del. 1994. “Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 551–561. San Francisco, California: Morgan Kaufmann Publishers.
Val, Alvaro del. 2000. “On some Tractable Classes in Deduction and Abduction.” Artificial Intelligence 116(1–2): 297–313.
Val, Alvaro del and Shoham, Yoav. 1993. “Deriving Properties of Belief Update From Theories of Action II.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 732–737. San Francisco, California: Morgan Kaufmann Publishers.
Val, Alvaro del and Shoham, Yoav. 1994. “Deriving Properties of Belief Update From Theories of Action.” Journal of Logic, Language, and Information 3(2): 81–119.