Travelled to:1 × Germany
Collaborated with:∅
Talks about:tractabl (1) proposit (1) knowledg (1) resolut (1) databas (1) complet (1) comput (1) compil (1) updat (1) unit (1)
Person: Alvaro del Val
DBLP: Val:Alvaro_del
Contributed to:
19941992Wrote 2 papers:
- KR-1994-Val #compilation #database #how
- Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
- KR-1992-Val #knowledge base
- Computing Knowledge Base Updates (AdV), pp. 740–750.