Val Latorre, Alvaro Del alvaro.delval@uam.es
Actividades
- Artículos 5
- Libros 0
- Capítulos de libro 1
- Congresos 23
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 3
- Tesis dirigidas 0
- Patentes o licencias de software 0
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
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.
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
- iMarina
- 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
- iMarina
- iMarina
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
- iMarina
- iMarina
Qualitative reasoning about perception and belief
- del Val, A
- Maynard-Reid, P
- Shoham, Y;
IJCAI International Joint Conference on Artificial Intelligence (p. 508-513) - 23/8/1997
- ISSN 10450823
- iMarina
Efficient consequence finding
- Val Latorre, Alvaro Del
Ijcai International Joint Conference On Artificial Intelligence (p. 359-365) - 1/12/2001
- ISSN 10450823
- iMarina
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
A new method for consequence-finding and compilation for restricted languages
- del Val, A;
Proceedings Of The National Conference On Artificial Intelligence (p. 259-264) - 18/7/1999
- iMarina
Approximate knowledge compilation: the first order case
- del Val, A;
Proceedings Of The Thirteenth National Conference On Artificial Intelligence And The Eighth Innovative Applications Of Artificial Intelligence Conference, Vols 1 And 2 (p. 498-503) - 1/12/1996
- iMarina
Deriving properties of belief update from theories of action
- del Val A
- Shoham Y
Proceedings Tenth National Conference On Artificial Intelligence (p. 584-589) - 1/12/1992
- 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
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
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id