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

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

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

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

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

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

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