The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlos Viegas Damásio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. [Citation Graph (1, 0)][DBLP]
    ECAI, 1994, pp:140-144 [Conf]
  2. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Debugging by Diagnosing Assumptions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:58-74 [Conf]
  3. Carlos Viegas Damásio, V. Beires Nogueira
    Negation in Transaction Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:589-604 [Conf]
  4. Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira
    Psychiatric Diagnosis from the Viewpoint of Computational Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1362-1376 [Conf]
  5. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:951-952 [Conf]
  6. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    A Tabulation Proof Procedure for Residuated Logic Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:808-812 [Conf]
  7. Carlos Viegas Damásio, Luís Moniz Pereira
    Monotonic and Residuated Logic Programs. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:748-759 [Conf]
  8. Carlos Viegas Damásio, Luís Moniz Pereira
    Default Negated Conclusions: Why Not? [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:103-117 [Conf]
  9. Carlos Viegas Damásio, Luís Moniz Pereira
    A Model Theory for Paraconsistent Logic Programming. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:377-386 [Conf]
  10. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Diagnosis and Debugging as Contradiction Removal in Logic Programs. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:183-197 [Conf]
  11. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    A Well-Founded Semantics with Disjunction. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:341-355 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1999, pp:343-352 [Conf]
  13. Rui D. Jorge, Carlos Viegas Damásio
    Diagnosis of Power System Protection. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2006, pp:650-659 [Conf]
  14. José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
    Deductive Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:155-166 [Conf]
  15. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:345-356 [Conf]
  16. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    Sorted Multi-adjoint Logic Programs: Termination Results and Applications. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:252-265 [Conf]
  17. Carlos Viegas Damásio, Luís Moniz Pereira
    Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:57-72 [Conf]
  18. Gregory R. Wheeler, Carlos Viegas Damásio
    An Implementation of Statistical Default Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:121-133 [Conf]
  19. Carlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira
    REVISE: An Extended Logic Programming System for Revising Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:607-618 [Conf]
  20. Carlos Viegas Damásio, Luís Moniz Pereira
    Abduction over 3-Valued Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:29-42 [Conf]
  21. Carlos Viegas Damásio, Luís Moniz Pereira
    A Paraconsistent Semantics with Contradiction Support Detection. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:224-243 [Conf]
  22. Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder
    REVISE: Logic Programming and Diagnosis. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:354-363 [Conf]
  23. Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
    Coherent Well-founded Annotated Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:262-276 [Conf]
  24. Carlos Viegas Damásio, Luís Moniz Pereira
    Antitonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:379-392 [Conf]
  25. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Diagnosis and Debugging as Contradiction Removal. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:316-330 [Conf]
  26. Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl, Daniel Olmedilla
    A Distributed Tabling Algorithm for Rule Based Policy Systems. [Citation Graph (0, 0)][DBLP]
    POLICY, 2006, pp:123-132 [Conf]
  27. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    Semantic Web Logic Programming Tools. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:16-32 [Conf]
  28. Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner
    Supporting Open and Closed World Reasoning on the Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:149-163 [Conf]
  29. Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
    Toward Rough Knowledge Bases with Quantitative Measures. [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 2004, pp:153-158 [Conf]
  30. Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
    Query Answering in Rough Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    RSFDGrC, 2003, pp:197-204 [Conf]
  31. Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia
    An Approach to Representing Uncertainty Rules in RuleML. [Citation Graph (0, 0)][DBLP]
    RuleML, 2006, pp:97-106 [Conf]
  32. Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
    Stable Model Theory for Extended RDF Ontologies. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:21-36 [Conf]
  33. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:424-438 [Conf]
  34. Carlos Viegas Damásio, Luís Moniz Pereira
    A General Tabulation Procedure for Extended Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    TAPD, 1998, pp:67-74 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 2002, v:17, n:2, pp:187-202 [Journal]
  36. Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
    From Rough Sets to Rough Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:215-246 [Journal]
  37. João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
    An encompassing framework for Paraconsistent Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2005, v:3, n:1, pp:67-95 [Journal]
  38. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    A Logic Programming System for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:14, n:1, pp:93-147 [Journal]
  39. Carlos Viegas Damásio, Luís Moniz Pereira
    Hybrid Probabilistic Logic Programs as Residuated Logic Programs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:113-138 [Journal]
  40. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
    Termination of logic programs with imperfect information: applications and query procedure. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:435-458 [Journal]

  41. Computability and Complexity Issues of Extended RDF. [Citation Graph (, )][DBLP]


  42. Implementing Simple Modular ERDF ontologies. [Citation Graph (, )][DBLP]


  43. An Implementation of Extended P-Log Using XASP. [Citation Graph (, )][DBLP]


  44. Semantically Enabled Framework for User Centric Profile Description, Search and Match. [Citation Graph (, )][DBLP]


  45. A Principled Framework for Modular Web Rule Bases and Its Semantics. [Citation Graph (, )][DBLP]


  46. On the Computability and Complexity Issues of Extended RDF. [Citation Graph (, )][DBLP]


  47. A Formal Theory for Modular ERDF Ontologies. [Citation Graph (, )][DBLP]


  48. Embeddings of Simple Modular Extended RDF. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002