Alvaro del Val - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2005

First order LUB approximations: characterization and algorithmsAlvaro del Val. ai, 162(1-2):7-48, 2005. [doi]

Scheduling Social TournamentsIván Dotú, Alvaro del Val, Pascal Van Hentenryck. cp 2005: 845 [doi]

2004

Modeling Choices in Quasigroup Completion: SAT vs. CSPCarlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà. AAAI 2004: 137-142

2003

Redundant Modeling for the QuasiGroup Completion ProblemIván Dotú, Alvaro del Val, Manuel Cebrián. cp 2003: 288-302 [doi]

Channeling Constraints and Value Ordering in the QuasiGroup Completion ProblemIván Dotú, Alvaro del Val, Manuel Cebrián. IJCAI 2003: 1372-1373

2001

Simplifying Binary Propositional Theories into Connected Components Twice as FastAlvaro del Val. lpar 2001: 392-406 [doi]

Efficient Consequence FindingLaurent Simon, Alvaro del Val. IJCAI 2001: 359-370

2000

On some tractable classes in deduction and abductionAlvaro del Val. ai, 116(1-2):297-313, 2000. [doi]

On 2-SAT and Renamable HornAlvaro del Val. AAAI 2000: 279-284

The Complexity of Restricted Consequence Finding and AbductionAlvaro del Val. AAAI 2000: 337-342

Tractable Classes for Directional ResolutionAlvaro del Val. AAAI 2000: 343-348

1999

A New Method for Consequence Finding and Compilation in Restricted LanguagesAlvaro del Val. AAAI 1999: 259-264

1997

Qualitative Reasoning about Perception and BeliefAlvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham. IJCAI 1997: 508-513

Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence ApproachesAlvaro del Val. jancl, 7(2):213-240, 1997.

1996

Approximate Knowledge Compilation: The First Order CaseAlvaro del Val. AAAI 1996: 498-503

1995

An Analysis of Approximate Knowledge CompilationAlvaro del Val. IJCAI 1995: 830-836

1994

On the Relation between the Coherence and Foundations Theories of Belief RevisionAlvaro del Val. AAAI 1994: 909-914

Tractable Databases: How to Make Propositional Unit Resolution Complete Through CompilationAlvaro del Val. kr 1994: 551-561

A Unified View of Belief Revision and UpdateAlvaro del Val, Yoav Shoham. logcom, 4(5):797-810, 1994.

Deriving properties of belief update from theories of actionAlvaro del Val, Yoav Shoham. jolli, 3(2):81-119, 1994. [doi]

1993

Deriving Properties of Belief Update from Theories of Action (II)Alvaro del Val, Yoav Shoham. IJCAI 1993: 732-737

Syntactic Characterizations of Belief Change OperatorsAlvaro del Val. IJCAI 1993: 540-547

1992

Deriving Properties of Belief Update from Theories of ActionAlvaro del Val, Yoav Shoham. AAAI 1992: 584-589

Computing Knowledge Base UpdatesAlvaro del Val. kr 1992: 740-750

Sign in or sign up to see more results.

runs on WebDSL