Carlos Viegas Damásio

90 papers A* 2A 5B 17C 5Misc 6Journal 22Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	LAND IT: A Decision Support System for Optimising Land Use Planning Strategies. AGILE Conference Márcia B. Matias, Cristina D. Henriques, Carlos Viegas Damásio, Fernando Pedro Birra, João Moura Pires
2022	B	`conf`	Towards Provenance in Heterogeneous Knowledge Bases. LPNMR Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
2022	C	`conf`	Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions. IV Maria D'Amaral Ferreira, João Moura Pires, Carlos Viegas Damásio
2020	J	`jnl`	Assessment of Interventions in Fuel Management Zones Using Remote Sensing. ISPRS Int. J. Geo Inf. Ricardo Afonso, André Neves, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra, Maribel Yasmina Santos
2019	C	`conf`	Application of Different Machine Learning Strategies for Current- and Vibration-based Motor Bearing Fault Detection in Induction Motors. IECON Hugo D. L. Rações, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio
2019	J	`jnl`	Deteção de estruturas permanentes a partir de dados de séries temporais Sentinel 1 e 2. CoRR André Neves, Carlos Viegas Damásio, João Moura Pires, Fernando Pedro Birra
2019	—	`conf`	Soil Classification Based on Physical and Chemical Properties Using Random Forests. EPIA (1) Didier Dias, Bruno Martins, João Moura Pires, Luís Moreira de Sousa, Jacinto Estima, Carlos Viegas Damásio
2017	Misc	`conf`	Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist. EPIA Tiago dos Santos, Fernando J. T. E. Ferreira, João Moura Pires, Carlos Viegas Damásio
2017	—	`conf`	Temporal Reasoning with Non-convex Intervals. KESW Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2016	—	`conf`	A Semantic Web Approach to Low-Level Features in Images. WebMedia Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2016	—	`conf`	RDF Query and Inference in Prolog. KESW Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2015	J	`jnl`	Agriculture pest and disease risk maps considering MSG satellite data and land surface temperature. Int. J. Appl. Earth Obs. Geoinformation José Rafael Marques da Silva, Carlos Viegas Damásio, A. M. O. Sousa, L. Bugalho, Luis Pessanha, Paulo Quaresma
2015	Misc	`conf`	Allowing Cyclic Dependencies in Modular Logic Programming. EPIA João Moura Pires, Carlos Viegas Damásio
2015	J	`jnl`	Extended RDF: Computability and complexity issues. Ann. Math. Artif. Intell. Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou
2015	—	`conf`	Extracting Metadata from Multimedia Content on Facebook as Media Annotations. KESW Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2015	—	`conf`	Gathering Photos from Social Networks Using Semantic Technologies. KESW Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2015	J	`jnl`	Nested contextualised views in the web of data. Int. J. Web Eng. Technol. Anastasia Analyti, Carlos Viegas Damásio, Ioannis Pachoulakis
2015	—	`conf`	SPARQL Commands in Jena Rules. KESW Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2015	—	`conf`	Unifying Justifications and Debugging for Answer-Set Programs. ICLP (Technical Communications) Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti
2014	—	`conf`	Gathering Photos from Social Networks Using Semantic Technologies. JIST (Workshops & Posters) Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2014	J	`jnl`	Generalizing Modular Logic Programs. CoRR João Moura Pires, Carlos Viegas Damásio
2014	—	`conf`	Using GPS Logs to Identify Agronomical Activities. AGILE Conf. Armanda Rodrigues, Carlos Viegas Damásio, José Emanuel Cunha
2014	J	`jnl`	Why-provenance information for RDF, rules, and negation. Ann. Math. Artif. Intell. Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis
2013	J	`jnl`	A framework for modular ERDF ontologies. Ann. Math. Artif. Intell. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Ioannis Pachoulakis
2013	—	`conf`	Improving tag-based image search by using linked open data. OAIR Miguel Bento Alves, Carlos Viegas Damásio, Nuno Correia
2013	B	`conf`	Justifications for Logic Programming. LPNMR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2012	—	`conf`	Provenance for SPARQL Queries. ISWC (1) Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2012	J	`jnl`	Provenance for SPARQL queries CoRR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2011	J	`jnl`	Extended RDF as a Semantic Foundation of Rule Markup Languages CoRR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2011	J	`jnl`	MWeb: A principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2011	—	`conf`	Modularity in the Rule Interchange Format. RuleML Europe Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2011	B	`conf`	Modularity of P-Log Programs. LPNMR Carlos Viegas Damásio, João Moura Pires
2011	—	`conf`	On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. WILF Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego
2011	—	`conf`	Practical RDF Schema Reasoning with Annotated Semantic Web Data. ISWC (1) Carlos Viegas Damásio, Filipe Ferreira
2011	—	`ed.`	Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011 RuleML America (2) Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, Umberto Straccia
2011	J	`jnl`	Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI) CoRR Carlos Viegas Damásio, Alun D. Preece, Umberto Straccia
2010	—	`conf`	Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) Carlos Viegas Damásio, José Júlio Alferes, João Leite
2010	—	`conf`	Embeddings of Simple Modular Extended RDF. RR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2010	A	`conf`	Implementing Simple Modular ERDF ontologies. ECAI Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2009	—	`conf`	A Formal Theory for Modular ERDF Ontologies. RR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2009	J	`jnl`	On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs. SIAM J. Comput. Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio
2008	A*	`conf`	A Principled Framework for Modular Web Rule Bases and Its Semantics. KR Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
2008	B	`conf`	An Implementation of Extended P-Log Using XASP. ICLP Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio
2008	A	`conf`	Computability and Complexity Issues of Extended RDF. ECAI Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	J	`jnl`	Extended RDF as a Semantic Foundation of Rule Markup Languages. J. Artif. Intell. Res. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	B	`conf`	On the Computability and Complexity Issues of Extended RDF. PRICAI Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2008	J	`jnl`	Representing Uncertainty in RuleML. Fundam. Informaticae Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia
2007	—	`conf`	Semantically Enabled Framework for User Centric Profile Description, Search and Match. ICSOC Workshops João Moura Pires, Paulo Chainho, Carlos Viegas Damásio
2007	J	`jnl`	Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Log. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2006	—	`conf`	A Distributed Tabling Algorithm for Rule Based Policy Systems. POLICY Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla
2006	B	`conf`	A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations. FUZZ-IEEE Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2006	—	`conf`	An Approach to Representing Uncertainty Rules in RuleML. RuleML Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia
2006	C	`conf`	Diagnosis of Power System Protection. IEA/AIE Rui D. Jorge, Carlos Viegas Damásio
2006	—	`conf`	Supporting Open and Closed World Reasoning on the Web. PPSWR Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
2005	B	`conf`	A Well-Founded Semantics with Disjunction. ICLP João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2005	J	`jnl`	An encompassing framework for Paraconsistent Logic Programs. J. Appl. Log. João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2005	Misc	`conf`	Stable Model Theory for Extended RDF Ontologies. ISWC Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
2005	J	`jnl`	Towards a general web rule language. Int. J. Web Eng. Technol. Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou
2004	A	`conf`	A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2004	A	`conf`	A Tabulation Proof Procedure for Residuated Logic Programming. ECAI Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2004	B	`conf`	An Implementation of Statistical Default Logic. JELIA Gregory R. Wheeler, Carlos Viegas Damásio
2004	Misc	`conf`	Deductive Diagnosis of Digital Circuits. AIAI José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
2004	B	`conf`	Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
2004	—	`conf`	Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2003	J	`jnl`	From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2003	—	`conf`	Query Answering in Rough Knowledge Bases. RSFDGrC Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2003	—	`conf`	Semantic Web Logic Programming Tools. PPSWR José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2002	J	`jnl`	Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Stud Logica Carlos Viegas Damásio, Luís Moniz Pereira
2002	B	`conf`	Paraconsistent Logic Programs. JELIA João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
2002	J	`jnl`	Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. Appl. Intell. Carlos Viegas Damásio, Peter Fröhlich, Wolfgang Nejdl, Luís Moniz Pereira, Michael Schroeder
2001	B	`conf`	Antitonic Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
2001	C	`conf`	Monotonic and Residuated Logic Programs. ECSQARU Carlos Viegas Damásio, Luís Moniz Pereira
2000	B	`conf`	Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA Carlos Viegas Damásio, Luís Moniz Pereira
2000	—	`conf`	Psychiatric Diagnosis from the Viewpoint of Computational Logic. Computational Logic Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira
1999	B	`conf`	Coherent Well-founded Annotated Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
1999	—	`conf`	Negation in Transaction Programs. APPIA-GULP-PRODE Carlos Viegas Damásio, Vítor Beires Nogueira
1999	C	`conf`	Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. IEA/AIE Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Viegas Damásio, Luís Moniz Pereira
1998	—	`conf`	A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD Carlos Viegas Damásio, Luís Moniz Pereira
1997	B	`conf`	A Paraconsistent Semantics with Contradiction Support Detection. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
1997	B	`conf`	REVISE: Logic Programming and Diagnosis. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder
1996	—	`conf`	Default Negated Conclusions: Why Not? ELP Carlos Viegas Damásio, Luís Moniz Pereira
1995	J	`jnl`	A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reason. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1995	Misc	`conf`	A Model Theory for Paraconsistent Logic Programming. EPIA Carlos Viegas Damásio, Luís Moniz Pereira
1995	B	`conf`	Abduction over 3-Valued Extended Logic Programs. LPNMR Carlos Viegas Damásio, Luís Moniz Pereira
1994	A*	`conf`	REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira
1994	—	`conf`	SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. ILPS José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1994	A	`conf`	Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. ECAI José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
1993	—	`conf`	Debugging by Diagnosing Assumptions. AADEBUG Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	Misc	`conf`	Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
1993	B	`conf`	Diagnosis and Debugging as Contradiction Removal. LPNMR Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes