Travelled to:1 × Australia
1 × Germany
1 × Ireland
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:L.M.Pereira A.Analyti J.Moura H.T.Anh C.D.P.K.Ramli G.Antoniou J.Alcântara J.J.Alferes W.Nejdl J.Gartner T.Swift A.Tien
Talks about:program (3) semant (2) extend (2) revis (2) logic (2) base (2) viewpoint (1) psychiatr (1) implement (1) framework (1)
Person: Carlos Viegas Damásio
DBLP: Dam=aacute=sio:Carlos_Viegas
Contributed to:
20152008
20082005
200019941994Wrote 7 papers:
- ICLP-2015-DamasioMA #debugging #source code
- Unifying Justifications and Debugging for Answer-Set Programs (CVD, JM, AA), pp. 260–273.
- ICLP-2008-AnhRD #implementation #using
- An Implementation of Extended P-Log Using XASP (HTA, CDPKR, CVD), pp. 739–743.
- KR-2008-AnalytiAD #composition #framework #semantics #web
- A Principled Framework for Modular Web Rule Bases and Its Semantics (AA, GA, CVD), pp. 390–400.
- ICLP-2005-AlcantaraDP #semantics
- A Well-Founded Semantics with Disjunction (JA, CVD, LMP), pp. 341–355.
- CL-2000-GartnerSTDP #logic
- Psychiatric Diagnosis from the Viewpoint of Computational Logic (JG, TS, AT, CVD, LMP), pp. 1362–1376.
- ILPS-1994-AlferesDP #named #source code #top-down
- SLX — A Top-down Derivation Procedure for Programs with Explicit Negation (JJA, CVD, LMP), pp. 424–438.
- KR-1994-DamasioNP #knowledge base #logic programming #named
- REVISE: An Extended Logic Programming System for Revising Knowledge Bases (CVD, WN, LMP), pp. 607–618.