 | 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 |
