Carlos Viegas Damásio

	2011
60		Carlos Viegas Damásio, Filipe Ferreira: Practical RDF Schema Reasoning with Annotated Semantic Web Data. International Semantic Web Conference (1) 2011: 746-761
59		Carlos Viegas Damásio, João Moura: Modularity of P-Log Programs. LPNMR 2011: 13-25
58		Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Modularity in the Rule Interchange Format. RuleML Europe 2011: 313-328
57		Carlos Viegas Damásio, Nicolás Madrid, Manuel Ojeda-Aciego: On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence. WILF 2011: 115-122
56		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): 17 (2011)
55		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 abs/1107.1686: (2011)
54		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages CoRR abs/1111.0055: (2011)
	2010
53		Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Implementing Simple Modular ERDF ontologies. ECAI 2010: 1083-1084
52		Carlos Viegas Damásio, José Júlio Alferes, João Leite: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813
51		Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou: Embeddings of Simple Modular Extended RDF. RR 2010: 204-212
	2009
50		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Formal Theory for Modular ERDF Ontologies. RR 2009: 212-226
49		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): 1881-1911 (2009)
	2008
48		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. ECAI 2008: 733-734
47		Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio: An Implementation of Extended P-Log Using XASP. ICLP 2008: 739-743
46		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio: A Principled Framework for Modular Web Rule Bases and Its Semantics. KR 2008: 390-400
45		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: On the Computability and Complexity Issues of Extended RDF. PRICAI 2008: 5-16
44		Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: Representing Uncertainty in RuleML. Fundam. Inform. 82(3): 265-288 (2008)
43		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Extended RDF as a Semantic Foundation of Rule Markup Languages. J. Artif. Intell. Res. (JAIR) 32: 37-94 (2008)
	2007
42		João Moura, Paulo Chainho, Carlos Viegas Damásio: Semantically Enabled Framework for User Centric Profile Description, Search and Match. ICSOC Workshops 2007: 326-335
41		Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Termination of logic programs with imperfect information: applications and query procedure. J. Applied Logic 5(3): 435-458 (2007)
	2006
40		Rui D. Jorge, Carlos Viegas Damásio: Diagnosis of Power System Protection. IEA/AIE 2006: 650-659
39		Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla: A Distributed Tabling Algorithm for Rule Based Policy Systems. POLICY 2006: 123-132
38		Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163
37		Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: An Approach to Representing Uncertainty Rules in RuleML. RuleML 2006: 97-106
	2005
36		João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Well-Founded Semantics with Disjunction. ICLP 2005: 341-355
35		Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Stable Model Theory for Extended RDF Ontologies. International Semantic Web Conference 2005: 21-36
34		Gerd Wagner, Carlos Viegas Damásio, Grigoris Antoniou: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3): 181-206 (2005)
33		João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: An encompassing framework for Paraconsistent Logic Programs. J. Applied Logic 3(1): 67-95 (2005)
	2004
32		José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
31		Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: A Tabulation Proof Procedure for Residuated Logic Programming. ECAI 2004: 808-812
30		João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. ECAI 2004: 951-952
29		Gregory R. Wheeler, Carlos Viegas Damásio: An Implementation of Statistical Default Logic. JELIA 2004: 121-133
28		Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego: Sorted Multi-adjoint Logic Programs: Termination Results and Applications. JELIA 2004: 252-265
27		Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing 2004: 153-158
	2003
26		José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: Semantic Web Logic Programming Tools. PPSWR 2003: 16-32
25		Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Query Answering in Rough Knowledge Bases. RSFDGrC 2003: 197-204
24		Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: From Rough Sets to Rough Knowledge Bases. Fundam. Inform. 57(2-4): 215-246 (2003)
	2002
23		João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira: Paraconsistent Logic Programs. JELIA 2002: 345-356
22		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): 187-202 (2002)
21		Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72(1): 113-138 (2002)
	2001
20		Carlos Viegas Damásio, Luís Moniz Pereira: Monotonic and Residuated Logic Programs. ECSQARU 2001: 748-759
19		Carlos Viegas Damásio, Luís Moniz Pereira: Antitonic Logic Programs. LPNMR 2001: 379-392
	2000
18		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: 1362-1376
17		Carlos Viegas Damásio, Luís Moniz Pereira: Hybrid Probabilistic Logic Programs as Residuated Logic Programs. JELIA 2000: 57-72
	1999
16		Carlos Viegas Damásio, V. Beires Nogueira: Negation in Transaction Programs. APPIA-GULP-PRODE 1999: 589-604
15		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: 343-352
14		Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276
	1998
13		Carlos Viegas Damásio, Luís Moniz Pereira: A General Tabulation Procedure for Extended Constraint Logic Programs. TAPD 1998: 67-74
	1997
12		Carlos Viegas Damásio, Luís Moniz Pereira: A Paraconsistent Semantics with Contradiction Support Detection. LPNMR 1997: 224-243
11		Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder: REVISE: Logic Programming and Diagnosis. LPNMR 1997: 354-363
	1996
10		Carlos Viegas Damásio, Luís Moniz Pereira: Default Negated Conclusions: Why Not? ELP 1996: 103-117
	1995
9		Carlos Viegas Damásio, Luís Moniz Pereira: A Model Theory for Paraconsistent Logic Programming. EPIA 1995: 377-386
8		Carlos Viegas Damásio, Luís Moniz Pereira: Abduction over 3-Valued Extended Logic Programs. LPNMR 1995: 29-42
7		José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: A Logic Programming System for Nonmonotonic Reasoning. J. Autom. Reasoning 14(1): 93-147 (1995)
	1994
6		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: 140-144
5		Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira: REVISE: An Extended Logic Programming System for Revising Knowledge Bases. KR 1994: 607-618
4		José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira: SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. SLP 1994: 424-438
	1993
3		Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. AADEBUG 1993: 58-74
2		Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal in Logic Programs. EPIA 1993: 183-197
1		Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330

Coauthor Index

1	João Alcântara	[23] [30] [33] [36]
2	José Júlio Alferes	[1] [2] [3] [4] [6] [7] [26] [32] [52]
3	Miguel Alves	[39]
4	Anastasia Analyti	[35] [38] [43] [45] [46] [48] [50] [51] [53] [54] [56] [58]
5	Han The Anh	[47]
6	Grigoris Antoniou	[34] [35] [38] [43] [45] [46] [48] [50] [51] [53] [54] [56] [58]
7	Francisco Azevedo	[32]
8	Pedro Barahona	[32]
9	Paulo Chainho	[42]
10	Filipe Ferreira	[60]
11	Peter Fröhlich	[15] [22]
12	Joseph Gartner	[18]
13	Rui D. Jorge	[40]
14	João Leite (João Alexandre Leite)	[52]
15	Nicolás Madrid	[57]
16	Jan Maluszynski	[24] [25] [27]
17	Jesús Medina	[28] [31] [41]
18	João Moura	[42] [59]
19	Wolfgang Nejdl	[5] [15] [22] [39]
20	V. Beires Nogueira	[16]
21	Manuel Ojeda-Aciego	[28] [31] [41] [49] [57]
22	Daniel Olmedilla	[39]
23	Jeff Z. Pan	[37] [44]
24	Luís Moniz Pereira (Luíz Moniz Pereira)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [26] [30] [33] [36]
25	Alun D. Preece	[55]
26	Carroline D. P. Kencana Ramli	[47]
27	Michael Schroeder	[11] [15] [22]
28	Giorgos Stoilos	[37] [44]
29	Umberto Straccia	[37] [44] [49] [55]
30	Terrance Swift	[14] [18] [32]
31	Allen Tien	[18]
32	Aida Vitória	[24] [25] [27]
33	Gerd Wagner	[34] [35] [38] [43] [45] [48] [54]
34	Gregory R. Wheeler	[29]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page