Debugging by Diagnosing Assumptions. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (AADEBUG, 1993)

Diagnosis and Debugging as Contradiction Removal in Logic Programs. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (EPIA, 1993)

Diagnosis and Debugging as Contradiction Removal. - Luís Moniz Pereira; Carlos Viegas Damásio; José Júlio Alferes (LPNMR, 1993)

Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ECAI, 1994)

REVISE: An Extended Logic Programming System for Revising Knowledge Bases. - Carlos Viegas Damásio; Wolfgang Nejdl; Luís Moniz Pereira (KR, 1994)

SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (ILPS, 1994)

A Model Theory for Paraconsistent Logic Programming. - Carlos Viegas Damásio; Luís Moniz Pereira (EPIA, 1995)

Abduction over 3-Valued Extended Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 1995)

A Logic Programming System for Nonmonotonic Reasoning. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (J. Autom. Reason., 1995)

Default Negated Conclusions: Why Not? - Carlos Viegas Damásio; Luís Moniz Pereira (ELP, 1996)

A Paraconsistent Semantics with Contradiction Support Detection. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 1997)

REVISE: Logic Programming and Diagnosis. - Carlos Viegas Damásio; Luís Moniz Pereira; Michael Schroeder 001 (LPNMR, 1997)

A General Tabulation Procedure for Extended Constraint Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (TAPD, 1998)

Negation in Transaction Programs. - Carlos Viegas Damásio; Vítor Beires Nogueira (APPIA-GULP-PRODE, 1999)

Coherent Well-founded Annotated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira; Terrance Swift (LPNMR, 1999)

Psychiatric Diagnosis from the Viewpoint of Computational Logic. - Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira (Computational Logic, 2000)

Monotonic and Residuated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (ECSQARU, 2001)

Antitonic Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (LPNMR, 2001)

Paraconsistent Logic Programs. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (JELIA, 2002)

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. - Carlos Viegas Damásio; Peter Fröhlich 001; Wolfgang Nejdl; Luís Moniz Pereira; Michael Schroeder 001 (Appl. Intell., 2002)

Hybrid Probabilistic Logic Programs as Residuated Logic Programs. - Carlos Viegas Damásio; Luís Moniz Pereira (Stud Logica, 2002)

Semantic Web Logic Programming Tools. - José Júlio Alferes; Carlos Viegas Damásio; Luís Moniz Pereira (PPSWR, 2003)

Query Answering in Rough Knowledge Bases. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (RSFDGrC, 2003)

From Rough Sets to Rough Knowledge Bases. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (Fundam. Informaticae, 2003)

A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (ECAI, 2004)

A Tabulation Proof Procedure for Residuated Logic Programming. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (ECAI, 2004)

Deductive Diagnosis of Digital Circuits. - José Júlio Alferes; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio; Terrance Swift (AIAI, 2004)

Sorted Multi-adjoint Logic Programs: Termination Results and Applications. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (JELIA, 2004)

An Implementation of Statistical Default Logic. - Gregory R. Wheeler; Carlos Viegas Damásio (JELIA, 2004)

Toward Rough Knowledge Bases with Quantitative Measures. - Aida Vitória; Carlos Viegas Damásio; Jan Maluszynski (Rough Sets and Current Trends in Computing, 2004)

A Well-Founded Semantics with Disjunction. - João F. L. Alcântara; Carlos Viegas Damásio; Luís Moniz Pereira (ICLP, 2005)

Stable Model Theory for Extended RDF Ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (ISWC, 2005)

Towards a general web rule language. - Gerd Wagner 001; Carlos Viegas Damásio; Grigoris Antoniou (Int. J. Web Eng. Technol., 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)

A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (FUZZ-IEEE, 2006)

Diagnosis of Power System Protection. - Rui D. Jorge; Carlos Viegas Damásio (IEA/AIE, 2006)

A Distributed Tabling Algorithm for Rule Based Policy Systems. - Miguel Alves; Carlos Viegas Damásio; Wolfgang Nejdl; Daniel Olmedilla (POLICY, 2006)

Supporting Open and Closed World Reasoning on the Web. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou; Gerd Wagner 001 (PPSWR, 2006)

An Approach to Representing Uncertainty Rules in RuleML. - Carlos Viegas Damásio; Jeff Z. Pan; Giorgos Stoilos; Umberto Straccia (RuleML, 2006)

Semantically Enabled Framework for User Centric Profile Description, Search and Match. - João Moura Pires; Paulo Chainho; Carlos Viegas Damásio (ICSOC Workshops, 2007)

Termination of logic programs with imperfect information: applications and query procedure. - Carlos Viegas Damásio; Jesús Medina 001; Manuel Ojeda-Aciego (J. Appl. Log., 2007)

Computability and Complexity Issues of Extended RDF. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (ECAI, 2008)

An Implementation of Extended P-Log Using XASP. - Han The Anh; Carroline D. P. Kencana Ramli; Carlos Viegas Damásio (ICLP, 2008)

A Principled Framework for Modular Web Rule Bases and Its Semantics. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio (KR, 2008)

Representing Uncertainty in RuleML. - Carlos Viegas Damásio; Jeff Z. Pan; Giorgos Stoilos; Umberto Straccia (Fundam. Informaticae, 2008)

Extended RDF as a Semantic Foundation of Rule Markup Languages. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Gerd Wagner 001 (J. Artif. Intell. Res., 2008)

A Formal Theory for Modular ERDF Ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio (RR, 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)

Implementing Simple Modular ERDF ontologies. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (ECAI, 2010)

Embeddings of Simple Modular Extended RDF. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (RR, 2010)

Declarative Semantics for the Rule Interchange Format Production Rule Dialect. - Carlos Viegas Damásio; José Júlio Alferes; João Leite 001 (ISWC (1), 2010)

Modularity of P-Log Programs. - Carlos Viegas Damásio; João Moura Pires (LPNMR, 2011)

Modularity in the Rule Interchange Format. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (RuleML Europe, 2011)

Practical RDF Schema Reasoning with Annotated Semantic Web Data. - Carlos Viegas Damásio; Filipe Ferreira (ISWC (1), 2011)

On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. - Carlos Viegas Damásio; Nicolás Madrid; Manuel Ojeda-Aciego (WILF, 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)

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)

Provenance for SPARQL Queries. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (ISWC (1), 2012)

Justifications for Logic Programming. - Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou (LPNMR, 2013)

Improving tag-based image search by using linked open data. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (OAIR, 2013)

A framework for modular ERDF ontologies. - Anastasia Analyti; Grigoris Antoniou; Carlos Viegas Damásio; Ioannis Pachoulakis (Ann. Math. Artif. Intell., 2013)

Using GPS Logs to Identify Agronomical Activities. - Armanda Rodrigues; Carlos Viegas Damásio; José Emanuel Cunha (AGILE Conf., 2014)

Gathering Photos from Social Networks Using Semantic Technologies. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (JIST (Workshops & Posters), 2014)

Why-provenance information for RDF, rules, and negation. - Anastasia Analyti; Carlos Viegas Damásio; Grigoris Antoniou; Ioannis Pachoulakis (Ann. Math. Artif. Intell., 2014)

Generalizing Modular Logic Programs. - João Moura Pires; Carlos Viegas Damásio (CoRR, 2014)

Allowing Cyclic Dependencies in Modular Logic Programming. - João Moura Pires; Carlos Viegas Damásio (EPIA, 2015)

Unifying Justifications and Debugging for Answer-Set Programs. - Carlos Viegas Damásio; João Moura Pires; Anastasia Analyti (ICLP (Technical Communications), 2015)

Extracting Metadata from Multimedia Content on Facebook as Media Annotations. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (KESW, 2015)

SPARQL Commands in Jena Rules. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (KESW, 2015)

Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature. - José Rafael Marques da Silva; Carlos Viegas Damásio; A. M. O. Sousa; L. Bugalho; Luis Pessanha; Paulo Quaresma (Int. J. Appl. Earth Obs. Geoinformation, 2015)

Extended RDF: Computability and complexity issues. - Anastasia Analyti; Carlos Viegas Damásio; Grigoris Antoniou (Ann. Math. Artif. Intell., 2015)

Nested contextualised views in the web of data. - Anastasia Analyti; Carlos Viegas Damásio; Ioannis Pachoulakis (Int. J. Web Eng. Technol., 2015)

RDF Query and Inference in Prolog. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (KESW, 2016)

A Semantic Web Approach to Low-Level Features in Images. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (WebMedia, 2016)

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 (EPIA, 2017)

Temporal Reasoning with Non-convex Intervals. - Miguel Bento Alves; Carlos Viegas Damásio; Nuno Correia 001 (KESW, 2017)

Soil Classification Based on Physical and Chemical Properties Using Random Forests. - Didier Dias; Bruno Martins 001; João Moura Pires; Luís Moreira de Sousa; Jacinto Estima; Carlos Viegas Damásio (EPIA (1), 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 (IECON, 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)

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)

Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions. - Maria D'Amaral Ferreira; João Moura Pires; Carlos Viegas Damásio (IV, 2022)

Towards Provenance in Heterogeneous Knowledge Bases. - Matthias Knorr 001; Carlos Viegas Damásio; Ricardo Gonçalves 001; João Leite 001 (LPNMR, 2022)