Alvaro del Val

Available identifiers

zbMath Open del-val.alvaroMaRDI QIDQ1334983

List of research outcomes

Publication	Date of Publication	Type
Simplifying binary propositional theories into connected components twice as fast	2011-05-06	Paper
Redundant modeling for the quasigroup completion problem	2010-03-02	Paper
First order LUB approximations: characterization and algorithms	2007-10-23	Paper
On some tractable classes in deduction and abduction	2000-06-04	Paper
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches	1997-12-08	Paper
Deriving properties of belief update from theories of action	1994-09-26	Paper
A Unified View of Belief Revision and Update	1994-01-01	Paper

Research outcomes over time

This page was built for person: Alvaro del Val