Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos Viegas Damásio
Person information
- affiliation: NOVA LINCS - Laboratory for Computer Science and Informatics of the NOVA, Caparica, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2020
[j16]Ricardo Afonso, André Neves
, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra, Maribel Yasmina Santos:
Assessment of Interventions in Fuel Management Zones Using Remote Sensing. ISPRS Int. J. Geo Inf. 9(9): 533 (2020)- 2015
- [j15]Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou:
Extended RDF: Computability and complexity issues. Ann. Math. Artif. Intell. 75(3-4): 267-334 (2015) - [j14]Anastasia Analyti, Carlos Viegas Damásio, Ioannis Pachoulakis:
Nested contextualised views in the web of data. Int. J. Web Eng. Technol. 10(1): 31-64 (2015) - 2014
- [j13]Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis:
Why-provenance information for RDF, rules, and negation. Ann. Math. Artif. Intell. 70(3): 221-277 (2014) - 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) - 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:1-17:46 (2011) - 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) - 2008
- [j9]Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia:
Representing Uncertainty in RuleML. Fundam. Informaticae 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. 32: 37-94 (2008) - 2007
- [j7]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. 5(3): 435-458 (2007) - 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 F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
An encompassing framework for Paraconsistent Logic Programs. J. Appl. Log. 3(1): 67-95 (2005) - 2003
- [j4]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski:
From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae 57(2-4): 215-246 (2003) - 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. Stud Logica 72(1): 113-138 (2002) - 1995
- [j1]José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. 14(1): 93-147 (1995)
Conference and Workshop Papers
- 2022
- [c66]Maria D'Amaral Ferreira, João Moura Pires, Carlos Viegas Damásio:
Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions. IV 2022: 33-39 - [c65]Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite:
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR 2022: 287-300 - 2019
- [c64]Didier Dias, Bruno Martins, João Moura Pires, Luís Moreira de Sousa, Jacinto Estima, Carlos Viegas Damásio:
Soil Classification Based on Physical and Chemical Properties Using Random Forests. EPIA (1) 2019: 212-223 - [c63]Hugo D. L. Rações, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio:
Application of Different Machine Learning Strategies for Current- and Vibration-based Motor Bearing Fault Detection in Induction Motors. IECON 2019: 68-73 - 2017
- [c62]Tiago dos Santos, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio:
Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist. EPIA 2017: 217-228 - [c61]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
Temporal Reasoning with Non-convex Intervals. KESW 2017: 127-142 - 2016
- [c60]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
RDF Query and Inference in Prolog. KESW 2016: 191-201 - [c59]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
A Semantic Web Approach to Low-Level Features in Images. WebMedia 2016: 195-198 - 2015
- [c58]João Moura Pires, Carlos Viegas Damásio:
Allowing Cyclic Dependencies in Modular Logic Programming. EPIA 2015: 363-375 - [c57]Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti:
Unifying Justifications and Debugging for Answer-Set Programs. ICLP (Technical Communications) 2015 - [c56]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
Extracting Metadata from Multimedia Content on Facebook as Media Annotations. KESW 2015: 243-252 - [c55]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
SPARQL Commands in Jena Rules. KESW 2015: 253-262 - [c54]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
Gathering Photos from Social Networks Using Semantic Technologies. KESW 2015: 263-272 - 2014
- [c53]Armanda Rodrigues, Carlos Viegas Damásio, José Emanuel Cunha:
Using GPS Logs to Identify Agronomical Activities. AGILE Conf. 2014: 105-121 - [c52]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
Gathering Photos from Social Networks Using Semantic Technologies. JIST (Workshops & Posters) 2014: 112-115 - 2013
- [c51]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Justifications for Logic Programming. LPNMR 2013: 530-542 - [c50]Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia:
Improving tag-based image search by using linked open data. OAIR 2013: 21-24 - 2012
- [c49]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Provenance for SPARQL Queries. ISWC (1) 2012: 625-640 - 2011
- [c48]Carlos Viegas Damásio, João Moura Pires:
Modularity of P-Log Programs. LPNMR 2011: 13-25 - [c47]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328 - [c46]Carlos Viegas Damásio, Filipe Ferreira:
Practical RDF Schema Reasoning with Annotated Semantic Web Data. ISWC (1) 2011: 746-761 - [c45]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 - 2010
- [c44]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084 - [c43]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Embeddings of Simple Modular Extended RDF. RR 2010: 204-212 - [c42]Carlos Viegas Damásio, José Júlio Alferes, João Leite:
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) 2010: 798-813 - 2009
- [c41]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226 - 2008
- [c40]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734 - [c39]Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio:
An Implementation of Extended P-Log Using XASP. ICLP 2008: 739-743 - [c38]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio:
A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400 - [c37]Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16 - 2007
- [c36]João Moura Pires, Paulo Chainho, Carlos Viegas Damásio:
Semantically Enabled Framework for User Centric Profile Description, Search and Match. ICSOC Workshops 2007: 326-335 - 2006
- [c35]Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. FUZZ-IEEE 2006: 2004-2011 - [c34]Rui D. Jorge, Carlos Viegas Damásio:
Diagnosis of Power System Protection. IEA/AIE 2006: 650-659 - [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
- [c30]João F. L. 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. ISWC 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 F. L. 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-165 - [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
- [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
- [c20]João F. L. 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]Carlos Viegas Damásio, Luís Moniz Pereira:
Antitonic Logic Programs. LPNMR 2001: 379-392 - 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 - 1999
- [c15]Carlos Viegas Damásio, Vítor 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]Carlos Viegas Damásio, Luís Moniz Pereira:
Default Negated Conclusions: Why Not? ELP 1996: 103-117 - 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. ILPS 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
Editorship
- 2011
- [e1]Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia:
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 [contents]
Informal and Other Publications
- 2019
- [i5]André Neves, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra:
Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2. CoRR abs/1912.10799 (2019) - 2014
- [i4]João Moura Pires, Carlos Viegas Damásio:
Generalizing Modular Logic Programs. CoRR abs/1404.7205 (2014) - 2012
- [i3]Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou:
Provenance for SPARQL queries. CoRR abs/1209.0378 (2012) - 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)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 16:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
