Publicações de Carlos Viegas Damásio

Publicações Científicas de Carlos Viegas Damásio

This page in English

Artigos em Revistas Internacionas

Artigos em Actas de Conferências com avaliação prévia

Livros, Capítulos de Livros, Tradução de Livros

Artigos Submetidos

Artigos Submetidos e Relatórios Técnicos (agradecem-se comentários)

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 da NoE REWERSE. 2006.
Gerd Wagner, Carlos Viegas Damásio, Sergey Lukichev. First-Version Rule Markup Languages. Deliverable I1-D3-1 da NoE 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 da NoE REWERSE. 2005.
João Alcântara, C. V. Damásio e L. M. Pereira. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets (versão estendida).
Relatório Técnico, 2004.
João Alcântara, C. V. Damásio e L. M. Pereira. A Frame-based Characterisation of the Paraconsistent Well-founded Semantics with Explicit Negation. Relatório Técnico 2004.

Palestras Convidadas

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

Livros

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

Capítulos de Livros

C. V. Damásio e L. M. Pereira, A Survey on Paraconsistent Semantics for Extended Logic Programas, in: D.M. Gabbay e Ph. Smets (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2, pp 241-320, Kluwer Academic Publishers, 1998
C. V. Damásio e 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 e 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

Tradução de Livros

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

Artigos em Revistas Científicas

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), pp. 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.
Existe uma versão estendida com as demonstrações de todos os teoremas.
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 e 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, C. V. Damásio e L. M. Pereira, A Logic Programming System for Non-monotonic Reasoning, Journal of Automated Reasoning (14):93-147, 1995.

Artigos em Actas de Conferência com Avaliação Prévia

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 e 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. Lisboa, Portugal, 27 a 30 de Setembro, 2004.
C. V. Damásio, Jesús Medina e Manuel Ojeda-Aciego. Sorted Multi-adjoint Logic Programs: Termination Results and Applications. In J. J Alferes e 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. Lisboa, Portugal, 27 a 30 de Setembro, 2004.
C. V. Damásio, J. Medina e 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, Espanha, Setembro 2004.
C. V. Damásio, J. Medina e 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, Espanha, 22 a 27 de Agosto, 2004. IOS Press 2004, ISBN 1-58603-452-9, pp. 808-812.
João Alcântara, C. V. Damásio e 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, Espanha, 22 a 27 de Agosto, 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, Itália, Julho 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, Itália, Julho 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 e 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, 26 a 29 de Maio de 2003.
Carlos Viegas Damásio e Manuel Ojeda-Aciego. On Termination of a Tabulation Procedure for Residuated Logic Programming. Workshop on Termination (WST'03), pp. 40-43, Valencia, Espanha,. Junho 2003.
João Alcântara, C. V. Damásio e L. M. Pereira. On Contradictions and their Propagation in Paraconsistent Logic Programs. in Procs. III World Congress on Paraconsistency (WCP3), Toulouse, França, Julho 2003.
J. J. Alferes, C. V. Damásio e L. M. Pereira, Semantic Web Logic Programming Tools, artigo convidado em F. Bry, N. Henze, J. Maluszynski (eds.), Procs. Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), Springer , LNAI, pp 16-32. Workshop da 19th Int. Conf. on Logic Programming (ICLP '03), Mumbai, Índia,Dezembro, 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, Itália, 23 a 27 de Setembro de 2002, Proceedings. Lecture Notes in Artificial Intelligence 2424 Springer 2002, ISBN 3-540-44190-5, pp 345-356. © Springer-Verlag. (Apresentação)
João Alcântara, C. V. Damásio and L. M. Pereira. Paraconsistent Logic Programs. Workshop on Paraconsistent Logics of ESSLLI'2002, Trento, Itália, 5 a 9 de Agosto de 2002. Publicado electronicamente em CLE e-Prints Vol 2(7), ISSN 1519-9681.

2001

C. V. Damásio e L. M. Pereira. Antitonic Logic Programs. In Thomas Eiter, Wolfgang Faber, Mirosaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR01, Viena, Áustria, Setembro 17-19, 2001, Proceedings. Lecture Notes in Artificial Intelligence 2173 Springer 2001, ISBN 3-540-42593-4, pp 379-392. © Springer-Verlag.
C. V. Damásio e 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, França, Setembro 19-21, 2001, Proceedings Lecture Notes in Artificial Intelligence 2143, Springer 2001, ISBN 3-540-42464-4, pp. 748-759. © Springer-Verlag.

2000

C. V. Damásio e L. M. Pereira, Hybrid probabilistic Logic Programs as Residuated Logic Programs. In M. O. Aciego, I. P. de Guzmán, G. Brewka e L. M. Pereira (eds.), Logics in AI, Procs. of JELIA'00, Málaga, pages 57-72, LNAI 1919, Springer, September-October 2000.
C. V. Damásio. A Distributed Tabling System. Proceedings of Tabulation in Parsing and Deduction 2000 (TAPD 2000), Vigo, September 2000.
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.
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 e T. Swift, Coherent Well-founded Annotated Logic Programs. In M. Gelfond, N. Leone e 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.
C. V. Damásio, e 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 e 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
C. V. Damásio, L. M. Pereira e 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

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 e 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 e 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, C. V. Damásio e 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. Alferes, C. V. Damásio e 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, C. V. Damásio e 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, C. V. Damásio e 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, C. V. Damásio e 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 e C. V. Damásio, The Sidetracking Meta Principle, in: Simpósio Brasileiro de Inteligência Artificial, Rio de Janeiro, Brasil, 1992, pp. 229--242

Última actualização em 28-05-2007
Envie comentários e sugestões para cd@di.fct.unl.pt.