Carlos Viegas Damásio

According to our database, Carlos Viegas Damásio authored at least 81 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Towards Provenance in Heterogeneous Knowledge Bases.

Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions.

Maria D'Amaral Ferreira, João Moura Pires, Carlos Viegas Damásio

Proceedings of the 26th International Conference Information Visualisation, 2022

2020

Assessment of Interventions in Fuel Management Zones Using Remote Sensing.

Ricardo Afonso, André Neves, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra, Maribel Yasmina Santos

ISPRS Int. J. Geo Inf., 2020

2019

Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2.

André Neves, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra

CoRR, 2019

Application of Different Machine Learning Strategies for Current- and Vibration-based Motor Bearing Fault Detection in Induction Motors.

Hugo D. L. Rações, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio

Proceedings of the IECON 2019, 2019

Soil Classification Based on Physical and Chemical Properties Using Random Forests.

Didier Dias, Bruno Martins, João Moura Pires, Luís Moreira de Sousa, Jacinto Estima, Carlos Viegas Damásio

Proceedings of the Progress in Artificial Intelligence, 2019

2017

Temporal Reasoning with Non-convex Intervals.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Knowledge Engineering and Semantic Web - 8th International Conference, 2017

Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist.

Tiago dos Santos, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio

Proceedings of the Progress in Artificial Intelligence, 2017

2016

A Semantic Web Approach to Low-Level Features in Images.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web, 2016

RDF Query and Inference in Prolog.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Knowledge Engineering and Semantic Web - 7th International Conference, 2016

2015

Nested contextualised views in the web of data.

Anastasia Analyti, Carlos Viegas Damásio, Ioannis Pachoulakis

Int. J. Web Eng. Technol., 2015

Extended RDF: Computability and complexity issues.

Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou

Ann. Math. Artif. Intell., 2015

SPARQL Commands in Jena Rules.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Knowledge Engineering and Semantic Web - 6th International Conference, 2015

Extracting Metadata from Multimedia Content on Facebook as Media Annotations.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Knowledge Engineering and Semantic Web - 6th International Conference, 2015

Unifying Justifications and Debugging for Answer-Set Programs.

Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Allowing Cyclic Dependencies in Modular Logic Programming.

João Moura Pires, Carlos Viegas Damásio

Proceedings of the Progress in Artificial Intelligence, 2015

2014

Generalizing Modular Logic Programs.

João Moura Pires, Carlos Viegas Damásio

CoRR, 2014

Why-provenance information for RDF, rules, and negation.

Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis

Ann. Math. Artif. Intell., 2014

Gathering Photos from Social Networks Using Semantic Technologies.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Workshop and Poster Proceedings of the 4th Joint International Semantic Technology Conference, 2014

Using GPS Logs to Identify Agronomical Activities.

Armanda Rodrigues, Carlos Viegas Damásio, José Emanuel Cunha

Proceedings of the Connecting a Digital Europe Through Location and Place, 2014

2013

A framework for modular ERDF ontologies.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis

Ann. Math. Artif. Intell., 2013

Improving tag-based image search by using linked open data.

Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia

Proceedings of the Open research Areas in Information Retrieval, 2013

Justifications for Logic Programming.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Provenance for SPARQL Queries.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Proceedings of the Semantic Web - ISWC 2012, 2012

2011

MWeb: A principled framework for modular web rule bases and its semantics.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio

ACM Trans. Comput. Log., 2011

Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)

Carlos Viegas Damásio, Alun D. Preece, Umberto Straccia

CoRR, 2011

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence.

Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego

Proceedings of the Fuzzy Logic and Applications - 9th International Workshop, 2011

Practical RDF Schema Reasoning with Annotated Semantic Web Data.

Carlos Viegas Damásio, Filipe Ferreira

Proceedings of the Semantic Web - ISWC 2011, 2011

Modularity in the Rule Interchange Format.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Modularity of P-Log Programs.

Carlos Viegas Damásio, João Moura Pires

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

Declarative Semantics for the Rule Interchange Format Production Rule Dialect.

Carlos Viegas Damásio, José Júlio Alferes, João Leite

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Embeddings of Simple Modular Extended RDF.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Implementing Simple Modular ERDF ontologies.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou

Proceedings of the ECAI 2010, 2010

2009

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs.

Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio

SIAM J. Comput., 2009

A Formal Theory for Modular ERDF Ontologies.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

2008

Extended RDF as a Semantic Foundation of Rule Markup Languages.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

J. Artif. Intell. Res., 2008

Representing Uncertainty in RuleML.

Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia

Fundam. Informaticae, 2008

On the Computability and Complexity Issues of Extended RDF.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Principled Framework for Modular Web Rule Bases and Its Semantics.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

An Implementation of Extended P-Log Using XASP.

Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Termination of logic programs with imperfect information: applications and query procedure.

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

J. Appl. Log., 2007

Semantically Enabled Framework for User Centric Profile Description, Search and Match.

João Moura Pires, Paulo Chainho, Carlos Viegas Damásio

Proceedings of the Service-Oriented Computing, 2007

2006

An Approach to Representing Uncertainty Rules in RuleML.

Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

Supporting Open and Closed World Reasoning on the Web.

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

A Distributed Tabling Algorithm for Rule Based Policy Systems.

Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla

Proceedings of the 7th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2006), 2006

Diagnosis of Power System Protection.

Rui D. Jorge, Carlos Viegas Damásio

Proceedings of the Advances in Applied Artificial Intelligence, 2006

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

2005

An encompassing framework for Paraconsistent Logic Programs.

João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

J. Appl. Log., 2005

Towards a general web rule language.

Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou

Int. J. Web Eng. Technol., 2005

Stable Model Theory for Extended RDF Ontologies.

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

A Well-Founded Semantics with Disjunction.

João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Toward Rough Knowledge Bases with Quantitative Measures.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Proceedings of the Rough Sets and Current Trends in Computing, 2004

An Implementation of Statistical Default Logic.

Gregory R. Wheeler, Carlos Viegas Damásio

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Sorted Multi-adjoint Logic Programs: Termination Results and Applications.

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Deductive Diagnosis of Digital Circuits.

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

A Tabulation Proof Procedure for Residuated Logic Programming.

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Declarative Characterization of Disjunctive Paraconsistent Answer Sets.

João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

From Rough Sets to Rough Knowledge Bases.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Fundam. Informaticae, 2003

Query Answering in Rough Knowledge Bases.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Proceedings of the Rough Sets, 2003

Semantic Web Logic Programming Tools.

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

2002

Hybrid Probabilistic Logic Programs as Residuated Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira

Stud Logica, 2002

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks.

Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder

Appl. Intell., 2002

Paraconsistent Logic Programs.

João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Antitonic Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Monotonic and Residuated Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

Psychiatric Diagnosis from the Viewpoint of Computational Logic.

Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Computational Logic, 2000

1999

Coherent Well-founded Annotated Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Negation in Transaction Programs.

Carlos Viegas Damásio, Vítor Beires Nogueira

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

A General Tabulation Procedure for Extended Constraint Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

1997

REVISE: Logic Programming and Diagnosis.

Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

A Paraconsistent Semantics with Contradiction Support Detection.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Default Negated Conclusions: Why Not?

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

A Logic Programming System for Nonmonotonic Reasoning.

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira

J. Autom. Reason., 1995

Abduction over 3-Valued Extended Logic Programs.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

A Model Theory for Paraconsistent Logic Programming.

Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Progress in Artificial Intelligence, 1995

1994

SLX - A Top-down Derivation Procedure for Programs with Explicit Negation.

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Logic Programming, 1994

REVISE: An Extended Logic Programming System for Revising Knowledge Bases.

Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.

José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Diagnosis and Debugging as Contradiction Removal.

Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Diagnosis and Debugging as Contradiction Removal in Logic Programs.

Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes

Proceedings of the Progress in Artificial Intelligence, 1993

Debugging by Diagnosing Assumptions.

Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993