CENTRIA – Centro de Inteligência Artificial

Research output

Research output per year 1989 2009 2010 2011 2012 2013 2014 2016

• 251 Conference contribution
• 93 Article
• 25 Chapter
• 21 Book
• 40 More
  • 11 Other contribution
  • 10 Conference article
  • 6 Book/Film/Article review
  • 5 Editorial
  • 4 Paper
  • 1 Commissioned report
  • 1 Other chapter contribution
  • 1 Abstract
  • 1 Review article

Research output per year

Research output per year

Search results

• 2014

  Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

  Fermé, E. & Leite, J. A. C. P., 2014, Heidelberg: Springer. (Lecture Notes in Computer Science; vol. 8761)

  Research output: Book/Report › Book › peer-review

  Open Access
  22 Citations (Scopus)

• STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014

  Endriss, U. & Leite, J. A. C. P., 2014, Amsterdam: IOS Press. (Frontiers in Artificial Intelligence and Applications; no. 264)

  Research output: Book/Report › Book
• 2013

  Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

  Leite, J. A. C. P., 1 Jan 2013, 1 ed. Heidelberg: Springer. (Lecture Notes in Computer Science; no. 8143)

  Research output: Book/Report › Book
• 2011

  Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

  Leite, J. A. C. P., 1 Jan 2011, Heidelberg: Springer. (Lecture Notes in Computer Science; no. 6814)

  Research output: Book/Report › Book

• Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers

  Leite, J. A. C. P., 1 Jan 2011, Heidelberg: Springer. (Lecture Notes in Computer Science; no. 6822)

  Research output: Book/Report › Book

• Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)

  Damásio, C. A. I. P. V., 1 Jan 2011, Ithaca: Computing Research Repository (CoRR).

  Research output: Book/Report › Book

• RuleML2011@BRF Challenge Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium

  Damásio, C. A. I. P. V., 1 Jan 2011, Aachen, Germany: RWTH Aachen University. (CEUR Workshop Proceedings; no. 799)

  Research output: Book/Report › Book
• 2010

  Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

  Leite, J. A. C. P., 1 Jan 2010, Berlin Heidelberg New York: Springer. (Lecture Notes in Computer Science; no. 6039)

  Research output: Book/Report › Book

• Proceedings of 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, Lisbon, Portugal, August 16-17, 2010.

  Leite, J. A. C. P., 1 Jan 2010, Berlin Heidelberg New York: Springer. (Lecture Notes in Computer Science)

  Research output: Book/Report › Book
• 2009

  Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009

  Leite, J. A. C. P., 1 Jan 2009, Aachen: CEUR-WS.org. (CEUR Workshop Proceedings; no. 494)

  Research output: Book/Report › Book
• 2007

  Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers

  Azevedo, F. D. M. E. C. A. D., Barahona, P. M. C. C. D., Fage, F. & Rossi, F., 2007, Berlin: Springer. 183 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4651 LNAI)

  Research output: Book/Report › Book › peer-review

  • Constraint Logic Programming 100%
  • Constraint Solving 92%
  • Inventory control 81%
  • Constraint satisfaction problems 81%
  • Logic programming 74%

• The applicative realm

  Kahle, R., Jul 2007, Coimbra: Departamento de Matemática, Universidade de Coimbra. 175 p. (Textos de Matemática; vol. 40)

  Research output: Book/Report › Book
• 2006

  Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006

  Alferes, J. J. A., 1 Jan 2006, Budva, Montenegro: Springer. (Lecture Notes in Artificial Intelligence; no. 4187)

  Research output: Book/Report › Book

  Open Access

  • Semantic Web 100%
  • Ontology 41%
  • Gene expression 26%
  • XML 23%
  • Network protocols 16%

• Reasoning Web: Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

  Barahona, P. M. C. C. D., Bry, F., Franconi, E., Henze, N. & Sattler, U., 2006, Springer: Springer. 269 p. (Lecture Notes in Computer Science; no. 4636)

  Research output: Book/Report › Book

  • Semantic Web 100%
  • Ontology 55%
  • Query languages 36%
  • Bioinformatics 35%
• 2005

  Constraint Reasoning for Differential Models

  Cruz, J. C. F. R. D., 2005, Netherlands: IOS Press. 244 p. (Frontiers of Artificial Intelligence and Applications; no. 126)

  Research output: Book/Report › Book

• Fuzzy Clustering via Proportional Membership Model

  Almeida, S. M. D. S. N. M. D., 2005, 1st ed. Amsterdam: IOS Press. 178 p. (Frontiers of Artificial Intelligence and Applications)

  Research output: Book/Report › Book › peer-review

  • Fuzzy clustering 100%
  • Consumer behavior 40%
  • Medicine 29%
  • Marketing 28%

• PPDP’05: Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: July 11-13, 2005 Lisbon, Portugal

  Barahona, P. M. C. C. D. & Felty, A., 2005, New York: ACM - Association for Computing Machinery. 252 p.

  Research output: Book/Report › Book

  • Portugal 100%
  • Italy 51%
  • program planning 39%
  • Sweden 31%
  • France 27%
• 2004

  Logics in Artificial Intelligence, 9th European Conference, JELIA 2004

  Alferes, J. J. A. & Leite, J. A. C. P., 1 Jan 2004, Lisbon, Portugal: Springer. (Lecture Notes in Artificial Intelligence; no. 3229)

  Research output: Book/Report › Book

  • Artificial intelligence 100%
  • Logic programming 67%
  • Formal methods 66%
  • Model checking 60%
  • Robotics 43%
• 2003

  Artificial Intelligence in Medicine: 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings

  Dojat, M., Keravnou, E. T. & Barahona, P. M. C. C. D., 1 Jan 2003, Berlin: Springer. 394 p. (Lecture Notes in Artificial Intelligence; no. 2780)

  Research output: Book/Report › Book

  • Terminology 100%
  • Medicine 91%
  • Artificial intelligence 79%
  • Case based reasoning 53%
  • Ontology 38%
• 2001

  Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings

  Quaglini, S., Barahona, P. M. C. C. D. & Andreassen, S., 2001, Berlin: Springer. 469 p. (Lecture Notes in Computer Science; no. 2101)

  Research output: Book/Report › Book

  • Telemedicine 100%
  • Case based reasoning 96%
  • Intelligent agents 94%
  • Knowledge management 92%
  • Decision support systems 83%
• 1999

  Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings

  Barahona, P. M. C. C. D. & Alferes, J. J., 1999, Berlin: Springer. 392 p. (Lecture Notes in Artificial Intelligence; no. 1695)

  Research output: Book/Report › Book

  • Theorem proving 100%
  • Logic programming 88%
  • Computer programming 79%
  • Multi agent systems 71%
  • Artificial intelligence 65%