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
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
- iMarina
- iMarina
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
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
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
Este/a investigador/a no tiene libros.
Syntactic Characterizations of Belief Change Operators
- Val Latorre, Alvaro Del
28/8/1993
- iMarina
An Analysis of Approximate Knowledge Compilation
- Val Latorre, Alvaro Del
20/8/1995
- iMarina
Reasoning about Default Persistence
- Val Latorre, Alvaro Del
8/8/1994
- iMarina
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation
- Val Latorre, Alvaro Del
24/5/1994
- iMarina
Modeling choices in quasigroup completion: SAT vs. CSP
- Dotu Rodriguez, Ivan Javier
- Val Latorre, Alvaro Del
(p. 137-142) - 9/12/2004
- iMarina
A New Method for First Order Consequence Finding in Restricted Languages
- Val Latorre, Alvaro Del
23/8/1997
- iMarina
How can Psychology help Artificial Intelligence?
- Corraliza Rodriguez, Jose Antonio
- Val Latorre, Alvaro Del
4/3/1999
- iMarina
The Complexity of Restricted Consequence Finding and Abduction
- Val Latorre, Alvaro Del
30/7/2000
- iMarina
On the relation between the coherence and foundations theories of belief revision
- Val Latorre, Alvaro Del
(p. 909-914) - 1/12/1994
- 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