Carlos Viegas Damásio

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 17

Top Topics

Temporal Reasoning

Provenance Information

Induction Motor

Top Venues

Ann. Math. Artif. Intell.

Publications

Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR (2022)
Maria D'Amaral Ferreira, João Moura Pires, Carlos Viegas Damásio
Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions. IV (2022)
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) (2020)
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 (2019)
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)
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)
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)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
Temporal Reasoning with Non-convex Intervals. KESW (2017)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
RDF Query and Inference in Prolog. KESW (2016)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
A Semantic Web Approach to Low-Level Features in Images. WebMedia (2016)
Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti
Unifying Justifications and Debugging for Answer-Set Programs. ICLP (Technical Communications) (2015)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
Extracting Metadata from Multimedia Content on Facebook as Media Annotations. KESW (2015)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
Gathering Photos from Social Networks Using Semantic Technologies. KESW (2015)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
SPARQL Commands in Jena Rules. KESW (2015)
Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou
Extended RDF: Computability and complexity issues. Ann. Math. Artif. Intell. 75 (3-4) (2015)
João Moura Pires, Carlos Viegas Damásio
Allowing Cyclic Dependencies in Modular Logic Programming. EPIA (2015)
Anastasia Analyti, Carlos Viegas Damásio, Ioannis Pachoulakis
Nested contextualised views in the web of data. Int. J. Web Eng. Technol. 10 (1) (2015)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
Gathering Photos from Social Networks Using Semantic Technologies. JIST (Workshops & Posters) (2014)
Armanda Rodrigues, Carlos Viegas Damásio, José Emanuel Cunha
Using GPS Logs to Identify Agronomical Activities. AGILE Conf. (2014)
João Moura Pires, Carlos Viegas Damásio
Generalizing Modular Logic Programs. CoRR (2014)
Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis
Why-provenance information for RDF, rules, and negation. Ann. Math. Artif. Intell. 70 (3) (2014)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Justifications for Logic Programming. LPNMR (2013)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis
A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. 67 (3-4) (2013)
Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
Improving tag-based image search by using linked open data. OAIR (2013)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Provenance for SPARQL Queries. ISWC (1) (2012)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Provenance for SPARQL queries CoRR (2012)
Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego
On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. WILF (2011)
Carlos Viegas Damásio, Filipe Ferreira
Practical RDF Schema Reasoning with Annotated Semantic Web Data. ISWC (1) (2011)
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) (2011)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Modularity in the Rule Interchange Format. RuleML Europe (2011)
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 (2011)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
Extended RDF as a Semantic Foundation of Rule Markup Languages CoRR (2011)
Carlos Viegas Damásio, João Moura Pires
Modularity of P-Log Programs. LPNMR (2011)
Carlos Viegas Damásio, José Júlio Alferes, João Leite
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) (2010)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Embeddings of Simple Modular Extended RDF. RR (2010)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
Implementing Simple Modular ERDF ontologies. ECAI (2010)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
A Formal Theory for Modular ERDF Ontologies. RR (2009)
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) (2009)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
Computability and Complexity Issues of Extended RDF. ECAI (2008)
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 (2008)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
A Principled Framework for Modular Web Rule Bases and Its Semantics. KR (2008)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
On the Computability and Complexity Issues of Extended RDF. PRICAI (2008)
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia
Representing Uncertainty in RuleML. Fundam. Informaticae 82 (3) (2008)
Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio
An Implementation of Extended P-Log Using XASP. ICLP (2008)
João Moura Pires, Paulo Chainho, Carlos Viegas Damásio
Semantically Enabled Framework for User Centric Profile Description, Search and Match. ICSOC Workshops (2007)
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) (2007)
Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla
A Distributed Tabling Algorithm for Rule Based Policy Systems. POLICY (2006)
Rui D. Jorge, Carlos Viegas Damásio
Diagnosis of Power System Protection. IEA/AIE (2006)
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)
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia
An Approach to Representing Uncertainty Rules in RuleML. RuleML (2006)
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
Supporting Open and Closed World Reasoning on the Web. PPSWR (2006)
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) (2005)
Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou
Towards a general web rule language. Int. J. Web Eng. Technol. 2 (2/3) (2005)
João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
A Well-Founded Semantics with Disjunction. ICLP (2005)
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
Stable Model Theory for Extended RDF Ontologies. ISWC (2005)
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA (2004)
Gregory R. Wheeler, Carlos Viegas Damásio
An Implementation of Statistical Default Logic. JELIA (2004)
João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI (2004)
José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
Deductive Diagnosis of Digital Circuits. AIAI (2004)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing (2004)
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
A Tabulation Proof Procedure for Residuated Logic Programming. ECAI (2004)
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
Semantic Web Logic Programming Tools. PPSWR (2003)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
Query Answering in Rough Knowledge Bases. RSFDGrC (2003)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae 57 (2-4) (2003)
João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
Paraconsistent Logic Programs. JELIA (2002)
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) (2002)
Carlos Viegas Damásio, Luís Moniz Pereira
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Stud Logica 72 (1) (2002)
Carlos Viegas Damásio, Luís Moniz Pereira
Antitonic Logic Programs. LPNMR (2001)
Carlos Viegas Damásio, Luís Moniz Pereira
Monotonic and Residuated Logic Programs. ECSQARU (2001)
Carlos Viegas Damásio, Luís Moniz Pereira
Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA (2000)
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)
Carlos Viegas Damásio, Vítor Beires Nogueira
Negation in Transaction Programs. APPIA-GULP-PRODE (1999)
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
Coherent Well-founded Annotated Logic Programs. LPNMR (1999)
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)
Carlos Viegas Damásio, Luís Moniz Pereira
A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD (1998)
Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder
REVISE: Logic Programming and Diagnosis. LPNMR (1997)
Carlos Viegas Damásio, Luís Moniz Pereira
A Paraconsistent Semantics with Contradiction Support Detection. LPNMR (1997)
Carlos Viegas Damásio, Luís Moniz Pereira
Default Negated Conclusions: Why Not? ELP (1996)
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. 14 (1) (1995)
Carlos Viegas Damásio, Luís Moniz Pereira
Abduction over 3-Valued Extended Logic Programs. LPNMR (1995)
Carlos Viegas Damásio, Luís Moniz Pereira
A Model Theory for Paraconsistent Logic Programming. EPIA (1995)
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)
Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira
REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR (1994)
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)
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
Debugging by Diagnosing Assumptions. AADEBUG (1993)
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA (1993)
Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
Diagnosis and Debugging as Contradiction Removal. LPNMR (1993)