BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dam=aacute=sio:Carlos_Viegas

Contributed to:

ICLP TC 20152015
ICLP 20082008
KR 20082008
ICLP 20052005
CL 20002000
ILPS 19941994
KR 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.