RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

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

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

Publications

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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN 0955792X

This researcher has no books.

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 View at source

Deriving Properties of Belief Update from Theories of Action

  • Val Latorre, Alvaro Del
  • Perez Perez, Eduardo

12/6/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

Computing Knowledge Base Updates

  • Val Latorre, Alvaro Del

25/10/1992

  • iMarina

This researcher has no working papers.

This researcher has no technical reports.

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))

Period: 13-12-2004 - 12-12-2007

  • iMarina

Razonamiento automático y planificación heurística

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

Period: 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))

Period: 01-01-1996 - 01-01-1998

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 3/18/24 7:37 PM