The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Carlos Viegas Damásio" ( http://dblp.L3S.de/Authors/Carlos_Viegas_Damásio )

URL (Homepage):  https://scholar.google.com/citations?user=lKyX734AAAAJ  Author page on DBLP  Author page in RDF  Community of Carlos Viegas Damásio in ASPL-2

Publication years (Num. hits)
1993-1999 (16) 2000-2004 (16) 2005-2008 (17) 2009-2012 (15) 2013-2016 (16) 2017 (2)
Publication types (Num. hits)
article(19) inproceedings(62) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 14 keywords

Results
Found 83 publication records. Showing 82 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 Temporal Reasoning with Non-convex Intervals. Search on Bibsonomy KESW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tiago 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. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 RDF Query and Inference in Prolog. Search on Bibsonomy KESW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 A Semantic Web Approach to Low-Level Features in Images. Search on Bibsonomy WebMedia The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou Extended RDF: Computability and complexity issues. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Carlos Viegas Damásio, Ioannis Pachoulakis Nested contextualised views in the web of data. Search on Bibsonomy Int. J. Web Eng. Technol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 Gathering Photos from Social Networks Using Semantic Technologies. Search on Bibsonomy KESW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 SPARQL Commands in Jena Rules. Search on Bibsonomy KESW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 Extracting Metadata from Multimedia Content on Facebook as Media Annotations. Search on Bibsonomy KESW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti Unifying Justifications and Debugging for Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1João Moura Pires, Carlos Viegas Damásio Allowing Cyclic Dependencies in Modular Logic Programming. Search on Bibsonomy EPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Moura Pires, Carlos Viegas Damásio Generalizing Modular Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis Why-provenance information for RDF, rules, and negation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Armanda Rodrigues, Carlos Viegas Damásio, José Emanuel Cunha Using GPS Logs to Identify Agronomical Activities. Search on Bibsonomy AGILE Conf. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 Gathering Photos from Social Networks Using Semantic Technologies. Search on Bibsonomy JIST (Workshops & Posters) The full citation details ... 2014 DBLP  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis A framework for modular ERDF ontologies. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Justifications for Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia 0001 Improving tag-based image search by using linked open data. Search on Bibsonomy OAIR The full citation details ... 2013 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Provenance for SPARQL queries Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Provenance for SPARQL Queries. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner Extended RDF as a Semantic Foundation of Rule Markup Languages Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carlos 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) Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio MWeb: A principled framework for modular web rule bases and its semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. Search on Bibsonomy WILF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, João Moura Pires Modularity of P-Log Programs. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Filipe Ferreira Practical RDF Schema Reasoning with Annotated Semantic Web Data. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefano 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 Search on Bibsonomy RuleML America (2) The full citation details ... 2011 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Modularity in the Rule Interchange Format. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, José Júlio Alferes, João Leite Declarative Semantics for the Rule Interchange Format Production Rule Dialect. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Embeddings of Simple Modular Extended RDF. Search on Bibsonomy RR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou Implementing Simple Modular ERDF ontologies. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio A Formal Theory for Modular ERDF Ontologies. Search on Bibsonomy RR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner Extended RDF as a Semantic Foundation of Rule Markup Languages. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia Representing Uncertainty in RuleML. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner On the Computability and Complexity Issues of Extended RDF. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Extended RDF ontologies, Semantic Web, complexity, rules, negation
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio A Principled Framework for Modular Web Rule Bases and Its Semantics. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio An Implementation of Extended P-Log Using XASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner Computability and Complexity Issues of Extended RDF. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego Termination of logic programs with imperfect information: applications and query procedure. Search on Bibsonomy J. Applied Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1João Moura Pires, Paulo Chainho, Carlos Viegas Damásio Semantically Enabled Framework for User Centric Profile Description, Search and Match. Search on Bibsonomy ICSOC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XDM, Semantic Web, SOA, WEB 2.0, Service Discovery, IMS
1Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla A Distributed Tabling Algorithm for Rule Based Policy Systems. Search on Bibsonomy POLICY The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia An Approach to Representing Uncertainty Rules in RuleML. Search on Bibsonomy RuleML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner Supporting Open and Closed World Reasoning on the Web. Search on Bibsonomy PPSWR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rui D. Jorge, Carlos Viegas Damásio Diagnosis of Power System Protection. Search on Bibsonomy IEA/AIE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira An encompassing framework for Paraconsistent Logic Programs. Search on Bibsonomy J. Applied Logic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou Towards a general web rule language. Search on Bibsonomy Int. J. Web Eng. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner Stable Model Theory for Extended RDF Ontologies. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira A Well-Founded Semantics with Disjunction. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego Sorted Multi-adjoint Logic Programs: Termination Results and Applications. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gregory R. Wheeler, Carlos Viegas Damásio An Implementation of Statistical Default Logic. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift Deductive Diagnosis of Digital Circuits. Search on Bibsonomy AIAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski Toward Rough Knowledge Bases with Quantitative Measures. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego A Tabulation Proof Procedure for Residuated Logic Programming. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski From Rough Sets to Rough Knowledge Bases. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski Query Answering in Rough Knowledge Bases. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rough sets, logic programming, stable models, uncertain reasoning
1José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira Semantic Web Logic Programming Tools. Search on Bibsonomy PPSWR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Search on Bibsonomy Studia Logica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder 0001 Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Search on Bibsonomy Appl. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira Paraconsistent Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Monotonic and Residuated Logic Programs. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Many-valued logics, Possibilistic Logic
1Carlos Viegas Damásio, Luís Moniz Pereira Antitonic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira Psychiatric Diagnosis from the Viewpoint of Computational Logic. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift Coherent Well-founded Annotated Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, V. Beires Nogueira Negation in Transaction Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder 0001, Carlos Viegas Damásio, Luís Moniz Pereira Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Search on Bibsonomy IEA/AIE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira A General Tabulation Procedure for Extended Constraint Logic Programs. Search on Bibsonomy TAPD The full citation details ... 1998 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira A Paraconsistent Semantics with Contradiction Support Detection. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder 0001 REVISE: Logic Programming and Diagnosis. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Default Negated Conclusions: Why Not? Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira A Logic Programming System for Nonmonotonic Reasoning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira Abduction over 3-Valued Extended Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira A Model Theory for Paraconsistent Logic Programming. Search on Bibsonomy EPIA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira REVISE: An Extended Logic Programming System for Revising Knowledge Bases. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. Search on Bibsonomy ECAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes Diagnosis and Debugging as Contradiction Removal. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes Debugging by Diagnosing Assumptions. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes Diagnosis and Debugging as Contradiction Removal in Logic Programs. Search on Bibsonomy EPIA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #82 of 82 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license