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

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

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

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

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

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.

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

Computing Knowledge Base Updates

  • Val Latorre, Alvaro Del

25/10/1992

  • 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

Deriving Properties of Belief Update from Theories of Action

  • Val Latorre, Alvaro Del
  • Perez Perez, Eduardo

12/6/1992

  • iMarina

Syntactic Characterizations of Belief Change Operators

  • Val Latorre, Alvaro Del

28/8/1993

  • iMarina

On the relation between the coherence and foundations theories of belief revision

  • Val Latorre, Alvaro Del

(p. 909-914) - 1/12/1994

  • iMarina

Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation

  • Val Latorre, Alvaro Del

24/5/1994

  • iMarina

Reasoning about Default Persistence

  • Val Latorre, Alvaro Del

8/8/1994

  • iMarina

An Analysis of Approximate Knowledge Compilation

  • Val Latorre, Alvaro Del

20/8/1995

  • 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

A New Method for First Order Consequence Finding in Restricted Languages

  • Val Latorre, Alvaro Del

23/8/1997

  • iMarina

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

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

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

Razonamiento automático y planificación heurística

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

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

  • iMarina

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

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