Publications of Carlos Viegas Damásio

Carlos Viegas Damásio's Publications

Esta página em Português

Papers in Scientific Journals

Papers in International Conferences and Workshops

Books, Book Chapters, Translated Books

Submitted Papers and Technical Reports

Submitted Papers and Technical Reports (thanks for comments)

Umberto Straccia, Carlos Viegas Damásio, Manuel Ojeda-Aciego. Fixed-points of Multi-valued Functions and their Application to Generalized Logic Programs. Submitted.
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner. Extended RDF as a Semantic Foundation of Rule Markup Languages . Deliverable I1-D3-2 of REWERSE. 2006.
Gerd Wagner, Carlos Viegas Damásio, Sergey Lukichev. First-Version Rule Markup Languages. Deliverable I1-D3-1 of REWERSE. 2005.
Grigoris Antoniou, Carlos Viegas Damásio, Benjamin Grosof, Ian Horrocks, Michael Kifer, Jan Maluszynski, Peter F. Patel-Schneider. Combining Rules and Ontologies. A survey. Deliverable I3-D1 of REWERSE. 2005.
João Alcântara, C. V. Damásio and L. M. Pereira. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets (extended version).
João Alcântara, C. V. Damásio and L. M. Pereira. A Frame-based Characterisation of the Paraconsistent Well-founded Semantics with Explicit Negation.

Invited Talks

C. V. Damásio . W⁴ - Well-founded semantics for the World Wide Web. In Rule Markup Techniques for the Semantic Web, organized by H. Boley, B. Grosof, S. Tabet, and G. Wagner.
Dagstuhl Seminar Nº 02061, Dagstuhl, Germany, February 3rd-8th, 2002.
João Alcântara, C. V. Damásio, L. M. Pereira. The Logic(s) of Logic Programming (Power Point Presentation, compressed). Jornada de lógica y matemáticas aplicada a la programación. Altea, Spain, October 2003.

Books

C. V. Damásio. Paraconsistent Extended Logic Programming with Constraints. PhD. Thesis. Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, October 1996.

Book Chapters

C. V. Damásio and L. M. Pereira, A Survey on Paraconsistent Semantics for Extended Logic Programas, in: D.M. Gabbay and Ph. Smets (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp 241-320, Kluwer Academic Publishers, 1998
C. V. Damásio and L. M. Pereira, Application to diagnosis, debugging and updating of logic programs with implicit and explicit negation, in: V.Dahl, A.Sobrino (eds) Estudios sobre programación lógica y sus aplicaciones, Cursos e Congresos da Universidade de Santiago de Compostela nº89, pp 131-170, Série Cursos de Verán, 1996
C. V. Damásio, W. Nejdl, L. M. Pereira and M. Schroeder, Model-based Diagnosis Preferences and Strategies Representation with Logic Meta-Programming, in: K. Apt and F. Turini (eds.), Meta-Logics and Logic Programming, pp. 267-308, MIT Press, 1995

Translated Books

C. V. Damásio (translator), Dicionário de Termos de Informática e Internet. A translation of Douglas Downing, Michael Covington and Melody Covington, Dictionary of Computer and Internet Terms. Sixth Edition, Barron's Educational Series, 1998.

Papers in Scientific Journals

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.
Gerd Wagner, C. V. Damásio, Grigoris Antoniou. Towards a general web rule language. In Special Issue on Semantic Web Technologies for Data Integration and Multimedia Presentation, Guest Editors: Dr. Flavius Frasincar, Prof. Geert-Jan Houben and Dr. Jacco van Ossenbruggen. International Journal of Web Engineering and Technology 2005 - Vol. 2, No.2/3 pp. 181 - 206. Inderscience Publishers, 2005.
João Alcântara, C. V. Damásio and L. M. Pereira. An Encompassing Framework for Paraconsistent Logic Programs. Journal of Applied Logic 3(1): 67-95, 2005.
There is an extended version with the proofs of all theorems.
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.
C. V. Damásio and L. M. Pereira. Hybrid probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1), pp 113-138, Kluwer Academic Press 2002.
P. Froehlich, W. Nejdl, M. Schroeder, C. V. Damásio and L. M. Pereira, Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. International Journal of Applied Intelligence 17(2), pp. 187-202, Kluwer Academic Press, 2002.
J. J. Alferes and C. V. Damásio and L. M. Pereira, A Logic Programming System for Non-monotonic Reasoning, Journal of Automated Reasoning (14):93-147, 1995

Papers in International Conferences and Workshops

2006

Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos, Umberto Straccia: An Approach to Representing Uncertainty Rules in RuleML. In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens (Eds.): Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings. IEEE Computer Society 2006, pp. 97-106, ISBN 0-7695-2652-7, 2006.
Carlos Viegas Damásio, Jesús Medina and Manuel Ojeda-Aciego, A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations, Proceedings of the IEEE Congress on Computational Intelligence (section Fuzzy Systems), IEEE Computer Society, Vancouver, Canada, Pag. 9576-9583, July 2006.
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou and Gerd Wagner, Open and Closed World Reasoning in the Semantic Web, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), special session Works on the Semantic Web, Editions E.D.K., Paris, France, ISBN 2-84254-112-x, Pag. 1850-1857, Participaçãoo por convite e sujeita a avaliação, July 2006.
Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou and Gerd Wagner, Supporting Open and Closed World Reasoning on the Web, in: José Júlio Alferes, J. Bailey and U. Schwertel (eds), Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Revised Selected Papers, Lecture Notes in Computer Science, Springer, Budva, Montenegro, Vol. 4187, ISBN 978-3-540-39586-, Pag. 149-163, (url), June 2006.
Rui Dias Jorge and Carlos Viegas Damásio, Diagnosis of Power System Protection, in: Moonis Ali and Richard Dapoigny (eds), Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Proceedings, Lecture Notes in Computer Science, Springer, Annecy, France, Vol. 4031, ISBN 3-540-35453-0, Pag. 650-659, (url), Nomeado para a competição dos melhores artigos, June 2006.
Miguel Alves, Carlos Viegas Damásio, Wolfgang Nejdl and Daniel Olmedilla, A Distributed Tabling Algorithm for Rule Based Policy Systems, POLICY'06: Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06), IEEE Computer Society, London, Ontario, Canadá, ISBN 0-7695-2598-9, Pag. 123-132, (url), 2006.

2005

Anastasia Analyti, Grigoris Antoniou, C. V. Damásio, Gerd Wagner. Stable Model Theory for Extended RDF ontologies.In Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen (Eds.): The SemanticWeb - ISWC 2005, 4th International SemanticWeb Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Lecture Notes in Computer Science 3729, pp. 21-36, Springer 2005. ISBN 3-540-29754-5
João Alcântara, C. V. Damásio and L. M. Pereira. A Well-Founded Semantics with Disjunction. In Maurizio Gabbrielli, Gopal Gupta (Eds.): Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings. Lecture Notes in Computer Science 3668, pp. 341-355, Springer 2005. ISBN 3-540-29208-X.

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.
C. V. Damásio, L. M. Pereira. Sorted Monotonic Logic Programs and their embedding (extended version) . Invited paper in the session of Logic Programming with Imperfect Information of Information Processing and Management of Uncertainty, IPMU'04, Perugia, Italy, July 2004, pp- 807-814.
Aida Vitória, C. V. Damásio e Jan Maluszynski. Towards Rough Knowledge Bases with Quantitative Measures. Proc. of the 4th International Conference on Rough Sets and Current Trends in Computing, RSCTC'04, Tsumoto S., Slowiński R., Komorowski J., Grzymala-Busse J. W. (eds). Lecture Notes in Computer Science 3066, pp. 153-158, © Springer-Verlag..
J. J. Alferes, F. Azevedo, P. Barahona, C. V. Damásio and T. Swift. Deductive Diagnosis of Digital Circuits. In First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2004), Kluwer Academic Press, pages 155-165, 2004.

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.
Carlos Viegas Damásio and Manuel Ojeda-Aciego. On Termination of a Tabulation Procedure for Residuated Logic Programming. Workshop on Termination (WST'03), pp. 40-43, Valencia, Spain,. June 2003.
João Alcântara, C. V. Damásio and L. M. Pereira. On Contradictions and their Propagation in Paraconsistent Logic Programs. in Procs. III World Congress on Paraconsistency (WCP3), Toulouse, France, July 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

C. V. Damásio and L. M. Pereira. Antitonic Logic Programs. In Thomas Eiter, Wolfgang Faber, Mirosaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR01, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Artificial Intelligence 2173 Springer 2001, ISBN 3-540-42593-4, pp 379-392. © Springer-Verlag. (Slides)
C. V. Damásio and L. M. Pereira. Monotonic and Residuated Logic Programs. In, Salem Benferhat, Philippe Besnard (Eds.): Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU-2001, Toulouse, France, September 19-21, 2001, Proceedings Lecture Notes in Artificial Intelligence 2143, Springer 2001, ISBN 3-540-42464-4, pp. 748-759. © Springer-Verlag. (Slides)

2000

C. V. Damásio and L. M. Pereira, Hybrid probabilistic Logic Programs as Residuated Logic Programs. In M. O. Aciego, I. P. de Guzmán, G. Brewka and L. M. Pereira (eds.), Logics in AI, Procs. of JELIA'00, Málaga, pages 57-72, LNAI 1919, Springer, September-October 2000. © Springer-Verlag. (Slides)
C. V. Damásio. A Distributed Tabling System. Proceedings of Tabulation in Parsing and Deduction 2000 (TAPD 2000), Vigo, September 2000. (Slides)
J. Gartner, T. Swift, A. Tien, C. V. Damásio, L. M. Pereira , Psychiatric Diagnosis from the Viewpoint of Computational Logic, In J. Lloyd et al. (eds.), Procs. of First International Conference on Computational Logic (CL 2000), London, UK, pages 1362-1376, LNAI 1861, Springer, July 2000. © Springer-Verlag.
J. Gartner, T. Swift, A. Tien, C. V. Damásio, L. M. Pereira , Psychiatric Diagnosis from the Viewpoint of Computational Logic In 7th Int. Conf. on Principles of Knowledge Representation and Reasoning, NMR ws on Abductive Reasoning, Breckenridge, CO, USA, April 2000.

1999

C. V. Damásio, L. M. Pereira and T. Swift, Coherent Well-founded Annotated Logic Programs. In M. Gelfond, N. Leone and G. Pfeifer (eds.), Procs. of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, Texas USA, pages 262-276, LNAI-1730, Springer, December 2-4, 1999.
© Springer-Verlag.
C. V. Damásio, V. B. Nogueira. Negation in Transaction Programs. In Proceedings of 1999 Joint Conference On Declarative Programming (AGP '99), L'Aquila (Italy), September 6-9, 1999.
P. Froehlich, C. V. Damásio, W. Nejdl, L. M. Pereira, M. Schroeder, Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks, In Proceedings of The Twelfth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE-99. Cairo, Egypt, May 1999. © Springer-Verlag.

1998

C. V. Damásio, L. M. Pereira, A general tabulation procedure for extended constraint logic programs, In 1st Int. Ws. Tabulation in Parsing and Deduction, (TAPD'98), Paris, France, pages 67-74, April 1998
C. V. Damásio. Paraconsistent Extended Logic Programming with Constraints. In Helder Coelho (ed), I Concurso Ibero-Americano de Teses e Dissertações em Inteligência Artificial do VI Congresso Ibero-Americano de Inteligência Artificial (IBERAMIA'98), pp. 481--492, Edições Colibri. 2nd Prize.

1997

C. V. Damásio and L. M. Pereira, A paraconsistent semantics with contradiction support detection. In J. Dix, U. Furbach and A. Nerode (eds), Logic Programming and NonMonotonic Reasoning, 4th International Conference, LPNMR'97, Lecture Notes in Artificial Intelligence 1265, Springer-Verlag, Dagstuhl, Germany, July 1997, pp. 224-243. © Springer-Verlag.
C. V. Damásio, L. M. Pereira and M. Schroeder, REVISE: Logic Programming and Diagnosis, In J. Dix, U. Furbach and A. Nerode (eds), Logic Programming and NonMonotonic Reasoning, 4th International Conference, LPNMR'97, Lecture Notes in Artificial Intelligence 1265, Springer-Verlag, Dagstuhl, Germany, July 1997, pp.353-362. © Springer-Verlag.

1996

C. V. Damásio, L. M. Pereira Default negation in the heads: why not?, In R. Dyckhoff et al (eds.), Extensions of Logic Programming, ELP'96, Leipzig, Lecture Notes in Artificial Intelligence 1050, Springer-Verlag, 1996, pp. 103-118
M. Schroeder, C. V. Damásio, L. M. Pereira, REVISE Report: An Architecture for a Diagnosis Agent, In ECAI workshop on Integrating Non-Monotonicity into Automated Reasoning Systems, Budapest, August 12-16,1996
C. V. Damásio, L. M. Pereira and M. Schroeder, REVISE Progress Report, Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Sussex, Brighton, April 1996

1995

S. Abreu, C. V. Damásio. A Proposal for Tabulation in And-Or Tree Rewriting Systems. International Logic Programming Symposium'95 Workshop: Design and Implementation of Parallel Logic Programming Systems, 1995.

C. V. Damásio, L. M. Pereira, Abduction on 3 valued extended logic programs, In V. W. Marek, A. Nerode and M. Trusczynski, editors, Logic Programming and Non-Monotonic Reasoning, Proc. of 3rd International Conf., LPNMR'95, Lecture Notes in Artificial Intelligence 928, Springer-Verlag,1995, pp. 29-42

1994

C. V. Damásio and Wolfgang Nejdl and L. M. Pereira, REVISE: An Extended Logic Programming System for Revising Knowledge Bases, in: Knowledge Representation and Reasoning, Morgan Kaufmann, 1994
J. J. Alferes and C. V. Damásio and L. M. Pereira, A Top-down query evaluation for well-founded semantics with explicit negation, in: European Conference on Artificial Intelligence, A. Cohn (ed.), Morgan Kaufmann, 1994, pp.140--144
J. J. Alferesand C. V. Damásio and L. M. Pereira, SLX -- A top-down derivation procedure for programs with explicit negation, in: Int. Logic Programming Symposium, M. Bruynooghe (ed.), MIT Press, 1994

1993

L. M. Pereira and C. V. Damásio and J. J. Alferes, Diagnosis and Debugging as Contradiction Removal, in: 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, L. M. Pereira and A. Nerode (eds.), MIT Press, 1993
L. M. Pereira and C. V. Damásio and J. J. Alferes, Debugging by Diagnosing Assumptions, in: Automatic Algorithmic Debugging, AADEBUG'93, Lecture Notes in Computer Science 749, Springer--Verlag, 1993, pp. 58--74
L. M. Pereira and C. V. Damásio and J. J. Alferes, Diagnosis and Debugging as Contradiction Removal in Logic Programs, in: Progress in Artificial Intelligence. Proceedings of the 6th Portuguese AI Conf., L. Damas and M. Filgueiras (eds.), Lecture Notes in Artificial Intelligence 727, Springer--Verlag, 1993

1992

L. M. Pereira, J. J. Alferes and C. V. Damásio, The Sidetracking Meta Principle, in: Simpósio Brasileiro de Inteligência Artificial, Rio de Janeiro, Brasil, 1992, pp. 229--242

Last update: 28-05-2007
Send your comments and suggestion to cd@di.fct.unl.pt.