![]() |
Carlos Viegas Damásio's Publications |
|
|
Papers in Scientific Journals | Papers in International Conferences and Workshops | Books, Book Chapters, Translated Books | Submitted Papers and Technical Reports |
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: An Approach to Representing Uncertainty Rules in RuleML. Best papers of RuleML 2006, accepted for publication in Fundamenta Informaticae, 2007.
C. V. Damásio, Jesús Medina, Manuel Ojeda-Aciego. Termination of logic programs with imperfect information: applications and query procedure. Best papers of JELIA 2004. Journal of Applied Logic 5(3):435-458, 2006.
Anastasia Analyti, Grigoris Antoniou, Carlos
Viegas Damásio, Gerd Wagner.
Negation and
Negative Information in the W3C Resource Description Framework.
In Annals of Mathematics, Computing
& Teleinformatics, vol. 2, number 1, pp. 25-34, 2004
© TEI Larissa.
A. Vitória, C. V. Damásio and J. Maluszynski. From Rough Sets to Rough Knowledge Bases. Fundamenta-Informaticae, vol. 57, nº 2-4. IOS Press.
2006
2005
2004
Gregory R. Wheeler, C. V. Damásio. An implementation of Statistical Default Logic. In J. J Alferes and J. A. Leite (Eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Proceedings. Lecture Notes in Computer Science 3229 Springer 2004, ISBN 3-540-23242-7, pp. 121-133. Lisbon, Portugal, September 27-30, 2004.
C. V. Damásio, Jesús Medina, Manuel Ojeda-Aciego. Sorted Multi-adjoint Logic Programs: Termination Results and Applications. In J. J Alferes and J. A. Leite (Eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Proceedings. Lecture Notes in Computer Science 3229 Springer 2004, ISBN 3-540-23242-7, pp. 252-265. Lisbon, Portugal, September 27-30, 2004.
C. V. Damásio, J. Medina, M. Ojeda-Aciego. A
termination theorem for sorted multi-adjoint logic programs.
In XII Congreso Español sobre Tecnologías y Lógica Fuzzy,
Jaén, Spain, September 2004.
C. V. Damásio, J. Medina, M. Ojeda-Aciego. A Tabulation Proof Procedure for Residuated Logic Programming. In Ramon López de Mántaras, Lorenza Saitta (Eds.): Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. IOS Press 2004, ISBN 1-58603-452-9, pp. 808-812.
João Alcântara, C. V. Damásio and L. M. Pereira. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets. In Ramon López de Mántaras, Lorenza Saitta (Eds.): Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. IOS Press 2004, ISBN 1-58603-452-9, pp. 951-952.
C. V. Damásio, Jesús Medina and Manuel
Ojeda-Aciego.
Termination Results for Sorted Multi-Adjoint Logic
Programs.
In
Information Processing and Management of
Uncertainty,
IPMU'04, Perugia, Italy, July 2004, pp.
1879-1886.
2003
A. Vitória, C. V. Damásio
and J. Maluszynski. Query Answering in Rough
Knowledge Bases.
In 9th International Conference on Rough Sets, Fuzzy
Sets, Data Mining and Granular Computing (RSFDGrC'2003), pp. 197-204,
Chongqing, China, May
26-29, 2003.
J. J. Alferes, C. V. Damásio, L. M. Pereira, Semantic Web Logic Programming Tools, invited paper in F. Bry, N. Henze, J. Maluszynski (eds.), Procs. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), Springer , LNAI,pp 16-32. At 19th Int. Conf. on Logic Programming (ICLP '03), Mumbai, India, December, 2003.
2002
João Alcântara, C. V. Damásio and L. M. Pereira. Paraconsistent Logic Programs. In S. Flesca and G. Ianni (Eds.): Logics In Artificial Intelligence,8th European Conference, JELIA2002, Cosenza, Italy, September 23-27, 2002, Proceedings. Lecture Notes in Artificial Intelligence 2424 Springer 2002, ISBN 3-540-44190-5, pp 345-356. © Springer-Verlag. (Slides)
João Alcântara, C. V. Damásio and L. M. Pereira. Paraconsistent Logic Programs. Workshop on Paraconsistent Logics of ESSLLI'2002, Trento, Italy, August 5-9, 2002. Published on-line in CLE e-Prints Vol 2(7), ISSN 1519-9681.
2001
2000