| Tractable databases: How to make propositional unit resolution complete through compilation A Del Val Principles of Knowledge Representation and Reasoning, 551-561, 1994 | 130 | 1994 |
| Efficient consequence finding L Simon, A Del Val IJCAI 1, 359-365, 2001 | 82 | 2001 |
| Deriving properties of belief update from theories of action A Del Val, Y Shoham Journal of Logic, Language and Information 3, 81-119, 1994 | 79 | 1994 |
| A New Method for Consequence Finding and Compilation in Restricted Languages. A Del Val AAAI/IAAI, 259-264, 1999 | 66 | 1999 |
| An analysis of approximate knowledge compilation A Del Val IJCAI (1), 830-836, 1995 | 60 | 1995 |
| On 2-SAT and renamable Horn A del Val AAAI/IAAI, 279-284, 2000 | 59 | 2000 |
| A unified view of belief revision and update A Val, Y Shoham Journal of logic and computation 4 (5), 797-810, 1994 | 46 | 1994 |
| Computing knowledge base updates A Del Val Proceedings of the Third International Conference on Principles of Knowledge …, 1992 | 39 | 1992 |
| Modeling choices in quasigroup completion: SAT vs. CSP C Ansótegui, A del Val, I Dotú, C Fernández, F Manya AAAI, 137-142, 2004 | 38 | 2004 |
| Redundant modeling for the quasigroup completion problem I Dotú, A Del Val, M Cebrián International Conference on Principles and Practice of Constraint …, 2003 | 34 | 2003 |
| The complexity of restricted consequence finding and abduction A del Val AAAI/IAAI, 337-342, 2000 | 30 | 2000 |
| Approximate knowledge compilation: The first order case A del Val Proceedings of the National Conference on Artificial Intelligence, 498-503, 1996 | 30 | 1996 |
| First order LUB approximations: characterization and algorithms A Del Val Artificial Intelligence 162 (1-2), 7-48, 2005 | 29 | 2005 |
| Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches A Del Val Journal of Applied Non-Classical Logics 7 (1-2), 213-240, 1997 | 29 | 1997 |
| On the relation between the coherence and foundations theories of belief revision A del Val AAAI 94, 909-914, 1994 | 29 | 1994 |
| Syntactic characterizations of belief change operators A Del Val IJCAI 93, 540-545, 1993 | 29 | 1993 |
| On some tractable classes in deduction and abduction A del Val Artificial Intelligence 116 (1-2), 297-313, 2000 | 25 | 2000 |
| Belief revision and update A Del Val stanford university, 1993 | 15 | 1993 |
| Simplifying binary propositional theories into connected components twice as fast A del Val International Conference on Logic for Programming Artificial Intelligence …, 2001 | 13 | 2001 |
| Qualitative reasoning about perception and belief A del Val, P Maynard-Reid, Y Shoham IJCAI (1), 508-513, 1997 | 13 | 1997 |
ivan dotuMoirai BiodesignVerified email at moiraibiodesign.com
