Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Carlos Viegas Damásio
2010 – today
- 2013
[j12]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis: A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. 67(3-4): 189-249 (2013)- 2012
- [c48]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Provenance for SPARQL Queries. International Semantic Web Conference (1) 2012: 625-640
- [i3]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Provenance for SPARQL queries. CoRR abs/1209.0378 (2012)
- 2011
- [j11]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: MWeb: A principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. 12(2): 17 (2011)
- [c47]
- [c46]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328
- [c45]Carlos Viegas Damásio, Filipe Ferreira: Practical RDF Schema Reasoning with Annotated Semantic Web Data. International Semantic Web Conference (1) 2011: 746-761
- [c44]Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego: On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. WILF 2011: 115-122
- [e1]Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia (Eds.): Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011. CEUR Workshop Proceedings 799, CEUR-WS.org 2011
- [i2]Carlos Viegas Damásio, Alun D. Preece, Umberto Straccia: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI). CoRR abs/1107.1686 (2011)
- [i1]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages. CoRR abs/1111.0055 (2011)
- 2010
- [c43]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084
- [c42]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Embeddings of Simple Modular Extended RDF. RR 2010: 204-212
- [c41]Carlos Viegas Damásio, José Júlio Alferes, João Leite: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813
2000 – 2009
- 2009
- [j10]Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio: On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. SIAM J. Comput. 38(5): 1881-1911 (2009)
- [c40]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226
- 2008
- [j9]Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: Representing Uncertainty in RuleML. Fundam. Inform. 82(3): 265-288 (2008)
- [j8]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages. J. Artif. Intell. Res. (JAIR) 32: 37-94 (2008)
- [c39]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734
- [c38]Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio: An Implementation of Extended P-Log Using XASP. ICLP 2008: 739-743
- [c37]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400
- [c36]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16
- 2007
- [j7]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Termination of logic programs with imperfect information: applications and query procedure. J. Applied Logic 5(3): 435-458 (2007)
- [c35]João Moura, Paulo Chainho, Carlos Viegas Damásio: Semantically Enabled Framework for User Centric Profile Description, Search and Match. ICSOC Workshops 2007: 326-335
- 2006
- [c34]
- [c33]Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla: A Distributed Tabling Algorithm for Rule Based Policy Systems. POLICY 2006: 123-132
- [c32]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163
- [c31]Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: An Approach to Representing Uncertainty Rules in RuleML. RuleML 2006: 97-106
- 2005
- [j6]Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005)
- [j5]João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: An encompassing framework for Paraconsistent Logic Programs. J. Applied Logic 3(1): 67-95 (2005)
- [c30]João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Well-Founded Semantics with Disjunction. ICLP 2005: 341-355
- [c29]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Stable Model Theory for Extended RDF Ontologies. International Semantic Web Conference 2005: 21-36
- 2004
- [c28]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: A Tabulation Proof Procedure for Residuated Logic Programming. ECAI 2004: 808-812
- [c27]João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI 2004: 951-952
- [c26]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
- [c25]Gregory R. Wheeler, Carlos Viegas Damásio: An Implementation of Statistical Default Logic. JELIA 2004: 121-133
- [c24]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265
- [c23]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing 2004: 153-158
- 2003
- [j4]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: From Rough Sets to Rough Knowledge Bases. Fundam. Inform. 57(2-4): 215-246 (2003)
- [c22]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
- [c21]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Query Answering in Rough Knowledge Bases. RSFDGrC 2003: 197-204
- 2002
- [j3]Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Appl. Intell. 17(2): 187-202 (2002)
- [j2]Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72(1): 113-138 (2002)
- [c20]João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: Paraconsistent Logic Programs. JELIA 2002: 345-356
- 2001
- [c19]Carlos Viegas Damásio, Luís Moniz Pereira: Monotonic and Residuated Logic Programs. ECSQARU 2001: 748-759
- [c18]
- 2000
- [c17]Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira: Psychiatric Diagnosis from the Viewpoint of Computational Logic. Computational Logic 2000: 1362-1376
- [c16]Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA 2000: 57-72
1990 – 1999
- 1999
- [c15]Carlos Viegas Damásio, V. Beires Nogueira: Negation in Transaction Programs. APPIA-GULP-PRODE 1999: 589-604
- [c14]Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. IEA/AIE 1999: 343-352
- [c13]Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
- 1998
- [c12]Carlos Viegas Damásio, Luís Moniz Pereira: A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD 1998: 67-74
- 1997
- [c11]Carlos Viegas Damásio, Luís Moniz Pereira: A Paraconsistent Semantics with Contradiction Support Detection. LPNMR 1997: 224-243
- [c10]Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder: REVISE: Logic Programming and Diagnosis. LPNMR 1997: 354-363
- 1996
- [c9]
- 1995
- [j1]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 93-147 (1995)
- [c8]Carlos Viegas Damásio, Luís Moniz Pereira: A Model Theory for Paraconsistent Logic Programming. EPIA 1995: 377-386
- [c7]Carlos Viegas Damásio, Luís Moniz Pereira: Abduction over 3-Valued Extended Logic Programs. LPNMR 1995: 29-42
- 1994
- [c6]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI 1994: 140-144
- [c5]Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira: REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR 1994: 607-618
- [c4]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. SLP 1994: 424-438
- 1993
- [c3]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74
- [c2]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197
- [c1]Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team