Travelled to:1 × Austria
1 × France
1 × United Kingdom
2 × USA
Collaborated with:∅ D.J.Dougherty V.Fionda G.Pirrò C.A.Hurtado A.O.Mendelzon
Talks about:web (2) knowledg (1) satisfi (1) foundat (1) databas (1) theori (1) semant (1) reduct (1) pspace (1) prolog (1)
Person: Claudio Gutiérrez
DBLP: Guti=eacute=rrez_0002:Claudio
Contributed to:
2014
2004
2000
2000
1982Wrote 5 papers:
- KR-2014-FiondaGP #graph #web
- Knowledge Maps of Web Graphs (VF, CG, GP).
- PODS-2004-GutierrezHM #database #semantics #web
- Foundations of Semantic Web Databases (CG, CAH, AOM), pp. 95–106.
- RTA-2000-DoughertyG #normalisation #reduction
- Normal Forms and Reduction for Theories of Binary Relations (DJD, CG), pp. 95–109.
- STOC-2000-Gutierrez #equation #satisfiability
- Satisfiability of equations in free groups is in PSPACE (CG), pp. 21–27.
- LFP-1982-Gutierrez #lisp #prolog
- Prolog Compared with Lisp (CG), pp. 143–149.