Val Latorre, Alvaro Del alvaro.delval@uam.es

Actividades

First order LUB approximations: Characterization and algorithms

  • del Val, A;

Artificial Intelligence (p. 7-48) - 1/2/2005

10.1016/j.artint.2004.01.003 Ver en origen

  • ISSN 00043702

On some tractable classes in deduction and abduction

  • del Val, A;

Artificial Intelligence (p. 297-313) - 1/1/2000

10.1016/s0004-3702(99)00088-0 Ver en origen

  • ISSN 00043702

Non monotonic reasoning and belief revision: Syntactic, semantic, foundational and coherence approaches

  • Del Val A

Journal Of Applied Non-Classical Logics (p. 213-240) - 1/12/1997

10.1080/11663081.1997.10510906 Ver en origen

  • ISSN 11663081

Deriving properties of belief update from theories of action

  • Val Latorre, Alvaro Del

Journal Of Logic Language And Information (p. 81-119) - 1/4/1994

10.1007/bf01110611 Ver en origen

  • ISSN 09258531

A unified view of belief revision and update

  • Val A
  • Shoham Y

Journal Of Logic And Computation (p. 797-810) - 1/10/1994

10.1093/logcom/4.5.797 Ver en origen

  • ISSN 0955792X

Este/a investigador/a no tiene libros.

Approximate Update of Logical Databases

  • Val Latorre, Alvaro Del

Imprecise And Approximate Computation (p. 135-147) - 1/1/1995

10.1007/978-0-585-26870-5_8 Ver en origen

Scheduling social tournaments

  • Dotu, I
  • del Val, A
  • Van Hentenryck, P;

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 845-845) - 1/10/2005

10.1007/11564751_83 Ver en origen

  • ISSN 16113349

Modeling choices in quasigroup completion: SAT vs. CSP

  • Dotu Rodriguez, Ivan Javier
  • Val Latorre, Alvaro Del

(p. 137-142) - 9/12/2004

  • iMarina

Redundant Modeling for the QuasiGroup Completion Problem

  • Dotu, I
  • del Val, A
  • Cebrian, M;

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 288-302) - 29/9/2003

10.1007/978-3-540-45193-8_20 Ver en origen

  • ISSN 16113349

Channeling constraints and value ordering in the QuasiGroup completion problem

  • Cebrian Ramos, Manuel
  • Dotu Rodriguez, Ivan Javier
  • Val Latorre, Alvaro Del

Ijcai International Joint Conference On Artificial Intelligence (p. 1372-1373) - 1/12/2003

  • ISSN 10450823
  • iMarina

Simplifying Binary Propositional Theories into Connected Components Twice as Fast

  • del Val A

14th Conference On Artificial Intelligence In Medicine, Aime 2013 (p. 389-403) - 3/12/2001

10.1007/3-540-45653-8_27 Ver en origen

  • ISSN 16113349

Efficient consequence finding

  • Val Latorre, Alvaro Del

Ijcai International Joint Conference On Artificial Intelligence (p. 359-365) - 1/12/2001

  • ISSN 10450823
  • iMarina

On 2SAT and Renamable Horn

  • del Val A

Seventeenth National Conference On Artificial Intelligence (Aaai-2001) / Twelfth Innovative Applications Of Artificial Intelligence Conference (Iaai-2000) (p. 279-284) - 30/7/2000

  • iMarina

The Complexity of Restricted Consequence Finding and Abduction

  • Val Latorre, Alvaro Del

30/7/2000

  • iMarina

Tractable Classes for Directional Resolution

  • del Val, A;

Seventeenth National Conference On Artificial Intelligence (Aaai-2001) / Twelfth Innovative Applications Of Artificial Intelligence Conference (Iaai-2000) (p. 343-348) - 30/7/2000

  • iMarina

The complexity of restricted consequence finding anal abduction

  • del Val, A;

Seventeenth National Conference On Artificial Intelligence (Aaai-2001) / Twelfth Innovative Applications Of Artificial Intelligence Conference (Iaai-2000) (p. 337-342) - 1/1/2000

  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Razonamiento automático y optimización: Lenguajes, modelos, algoritmos y aplicaciones.

  • Dotu Rodriguez, Ivan Javier (Investigador/a)
  • Diego Moya Velazquez (Investigador/a)
  • Val Latorre, Alvaro Del (Investigador principal (IP))

Ejecución: 13-12-2004 - 12-12-2007

  • iMarina

Razonamiento automático y planificación heurística

  • Val Latorre, Alvaro Del (Investigador principal (IP))

Ejecución: 01-12-2000 - 01-12-2003

  • iMarina

Mecanismos eficientes de razonamiento automático y compilación del conocimiento

  • Val Latorre, Alvaro Del (Investigador principal (IP))

Ejecución: 01-01-1996 - 01-01-1998

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 29/07/24 21:53