RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

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

Ingeniería informática / Universidad Autónoma de Madrid

Actividades

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

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

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

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

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

Computing Knowledge Base Updates

  • Val Latorre, Alvaro Del

25/10/1992

  • 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: 18/03/24 19:37