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

• 2015

  Allowing cyclic dependencies in modular logic programming

  Damásio, C. V. & João, M., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 363-375 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic Programming 100%
  • Logic programming 97%
  • Module 55%
  • Computer programming 43%
  • Semantics 28%
  1 Citation (Scopus)

• SPARQL commands in jena rules

  Alves, M. B., Damásio, C. V. & Correia, N., 2015, Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Proceedings. Springer Verlag, Vol. 518. p. 253-262 10 p. (Communications in Computer and Information Science; vol. 518).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Inference engines 100%
  • Query languages 88%
  4 Citations (Scopus)

• Syntax versus Semantics

  Kahle, R. & Keller, W., 2015, 4th International Conference on Tools for Teaching Logic. Huertas, M. A., Marcos, J., Manzano, M., Pinchinat, S. & Schwarzentruber, F. (eds.). University of Rennes 1, p. 75-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Educational Tool 100%
  • Philosophical Issues 74%
  • Syntax 46%
• 2014

  An abductive reasoning approach to the belief-bias effect

  Pereira, L. M., Dietz, E. A. & Hölldobler, S., 1 Jan 2014, 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014. AAAI Press, p. 653-656 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Beliefs 100%
  • Reasoning 88%
  • Abduction 69%
  • Semantics 63%
  • Operational Semantics 58%
  14 Citations (Scopus)

• Complex systems of mindful entities: on intention recognition and commitment

  Pereira, L. M., Han, T. A. & Santos, F. C., 1 Jan 2014, Model-Based Reasoning in Science and Technology - Theoretical and Cognitive Issues. Magnani, L. (ed.). Springer International Publishing, p. 499-525 27 p. (Studies in Applied Philosophy, Epistemology and Rational Ethics; vol. 8).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Complex Systems 100%
  • Evolutionary Game Theory 96%
  • Cognitive Ability 73%
  • Entity 66%
  • Bird's-Eye View 43%
  3 Citations (Scopus)

• CONDENSER: A Graph-Based Approach for Detecting Botnets

  Krippahl, L., 1 Jan 2014, BOTCONF. p. 1-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Botnet 100%
  • Machine learning 21%
  • Military operations 17%
  • Malware 16%
  • Knowledge representation 16%

• Evolving Bridge Rules in Evolving Multi-Context Systems

  Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Lecture Notes in Computer Science. Bulling, N., van, D. T. LWN., Villata, S., Jamroga, W. & Vasconcelos, W. (eds.). Springer, Vol. 8624. p. 52-69

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  10 Citations (Scopus)

• Evolving Multi-Context Systems

  Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 375--380

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  23 Citations (Scopus)

• Extending Social Abstract Argumentation with Votes on Attacks

  Egilmez, S., Martins, J. & Leite, J. A. C. P., 1 Jan 2014, Lecture Notes in Computer Science. Black, E., Modgil, S. & Oren, N. (eds.). Springer, Vol. 8306. p. 16--31

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  27 Citations (Scopus)

• kd-SNN: A Metric Data Structure Seconding the Clustering of Spatial Data

  Faustino, B. F., Moura-Pires, J., Santos, M. Y. & Moreira, G., 2014, COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1. Murgante, B., Misra, S., Rocha, AMAC., Torre, C., Rocha, JG., Falcao, MI., Taniar, D., Apduhan, BO. & Gervasi, O. (eds.). SPRINGER-VERLAG BERLIN, p. 312-327 16 p. (Lecture Notes in Computer Science; vol. 8579).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Data structures 100%
  • Clustering algorithms 54%
  • Scalability 48%
  • Sensors 31%
  5 Citations (Scopus)

• On Efficient Evolving Multi-Context Systems

  Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Pham, DN. & Park, S. (eds.). Springer International Publishing, p. 284-296 (Lecture Notes in Artificial Intelligence; vol. 8862).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Polynomials 100%
  2 Citations (Scopus)

• On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)

  Gonçalves, R., Knorr, M. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 47-53

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• On Strong and Default Negation in Logic Program Updates

  Slota, M., Balaz, M. & Leite, J. A. C. P., 2014, INFSYS Research Report.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• On Supporting Strong and Default Negation in Answer-Set Program Updates

  Slota, M., Balaz, M. & Leite, J. A. C. P., 1 Jan 2014, ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014). Bazzan, ALC. & Pichara, K. (eds.). Berlin: SPRINGER-VERLAG BERLIN, Vol. 8864. p. 41-53 (Lecture Notes in Artificial Intelligence; vol. 8864).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • semantics 100%
  • citizen 25%
  • interaction 19%
  1 Citation (Scopus)

• On the Efficient Implementation of Social Abstract Argumentation

  Correia, M., Cruz, J. C. F. R. D. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 225--230

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  13 Citations (Scopus)

• Probabilistic constraints for nonlinear inverse problems

  Carvalho, E., Cruz, J. & Barahona, P., 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, Vol. 8656 LNCS. p. 913-917 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8656 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Probabilistic Constraints 100%
  • Nonlinear Inverse Problems 85%
  • Inverse problems 69%
  • Ocean Color 68%
  • Uncertainty 53%

• Reasoning about Space and Time: Moving towards a Theory of Granularities

  Moura-Pires, J., Silva, R. A. & Santos, M. Y., 2014, COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1. Murgante, B., Misra, S., Rocha, AMAC., Torre, C., Rocha, JG., Falcao, MI., Taniar, D., Apduhan, BO. & Gervasi, O. (eds.). SPRINGER-VERLAG BERLIN, p. 328-343 16 p. (Lecture Notes in Computer Science; vol. 8579).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5 Citations (Scopus)

• Representative Encodings to Translate Finite CSPs into SAT

  Barahona, P. M. C. C. D., Hölldobler, S. & Van-Hau, N., Jan 2014, Lecture Notes in Computer Science. ACM - Association for Computing Machinery, Vol. 8451. p. 251-267

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Constraint satisfaction problems 100%
  9 Citations (Scopus)

• Risk Based Maintenance and Lifetime Management of Overhead Lines

  Azevedo, F. D. M. E. C. A. D., 2014, CIGRÉ Belgian Conference. p. online

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Overhead lines 100%
  • Inspection 24%
  • Fog 17%
  • Risk analysis 17%
  • Cost reduction 16%

• Summarised presentation of personal photo sets

  Datia, N., Pires, J. C. G. M. & Correia, N., 2014, MultiMedia Modeling - 20th Anniversary International Conference, MMM 2014, Proceedings. PART 1 ed. Vol. 8325 LNCS. p. 195-206 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8325 LNCS, no. PART 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • User Evaluation 100%
  • Presentation 75%
  • Distinct 63%
  • Set Partition 58%
  • Relevance 43%
  2 Citations (Scopus)

• The logical cone

  Kahle, R., 1 Jan 2014, Proceedings of Philosophy, Mathematics, Linguistics: Aspects of Interaction. p. 102-110

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Efficient Evolving Multi-Context Systems (Preliminary Report)

  Knorr, M., Gonçalves, R. & Leite, J. A. C. P., 2014, Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014). Ellmauthaler, S. & Pührer, J. (eds.). Universitat Leipzig, p. 39-45

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards the structure of mathematical proof

  Kahle, R., 1 Jan 2014, CEUR Workshop Proceedings. p. 7

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
• 2013

  4D(+)SNN: A Spatio-temporal Density-based Clustering Approach with 4D Similarity

  Oliveira, R., Santos, M. Y. & Moura-Pires, J., 2013, 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW). Ding, W., Washio, T., Xiong, H., Karypis, G., Thuraisingham, B., Cook, D. & Wu (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 1045-1052 8 p. (IEEE International Conference on Data Mining).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Semantics 100%
  • Set theory 47%
  20 Citations (Scopus)

• Advances in Vegetation Management to improve Reliability

  Azevedo, F. D. M. E. C. A. D., Gomes-Mota, J., Casaca, J., Almeida, V., Pinho da Silva, N. & Campos-Pinto, L., 1 Jan 2013, (CIGRÉ Romania) International Conference on Condition Monitoring, Diagnosis and Maintenance (CMDM). p. 8 pages

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• A Query Tool for EL with Non-monotonic Rules

  Ivanov, V., Knorr, M. & Leite, J. A. C. P., 2013, The Semantic Web: ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Alani, H., Kagal, L., Fokoue, A., Groth, PT., Biemann, C., Parreira, JX., Aroyo, L., Noy, NF., Welty, C. & Janowicz, K. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 216-231 (Lecture Notes in Computer Science; no. 8218).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Ontology 100%
  • Logic programming 34%
  • Semantics 20%
  • Engines 18%
  16 Citations (Scopus)

  20 Downloads (Pure)

• Decidability and implementation of parametrized logic programs

  Gonçalves, R. & Alferes, J. J., 22 Oct 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer Verlag, p. 361-373 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Computability and decidability 100%
  • Logic Programs 85%
  • Decidability 74%
  • Semantics 50%
  • Logic 38%
  2 Citations (Scopus)

• Dynamic Analytics for Spatial Data with an Incremental Clustering Approach

  Mendes, F., Santos, M. Y. & Moura-Pires, J., 2013, 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW). Ding, W., Washio, T., Xiong, H., Karypis, G., Thuraisingham, B., Cook, D. & Wu (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 552-559 8 p. (IEEE International Conference on Data Mining).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Clustering algorithms 100%
  4 Citations (Scopus)

• Early Recovery in Logic Program Updates

  Leite, J. A. C. P., 1 Jan 2013, Lecture Notes in Computer Science. Cabalar, P. & Son, TC. (eds.). Springer, Vol. 8148. p. 512-517

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• External transaction logic with automatic compensations

  Gomes, A. S. & Alferes, J. J., 2013, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Leite, J., Son, T. C., Torroni, P., van der Torre, L. & Woltran, S. (eds.). Berlin, Heidelberg: Springer, p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Transactions 100%
  • Repair 65%
  • Logic 63%
  • Compensation and Redress 60%
  • Logic programming 23%
  1 Citation (Scopus)

• Fatores Sócio-ambientais Críticos afetando a Fiabilidade das Redes de Transporte

  Azevedo, F. D. M. E. C. A. D., Gomes-Mota, J., Casaca, J. & Campos-Pinto, L., 1 Jan 2013, Encontro Regional Ibero-americano do Cigré (ERIAC). p. 9 pages

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Forgetting under the well-founded semantics

  Alferes, J. J., Knorr, M. & Wang, K., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer, p. 36-41 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Well-founded Semantics 100%
  • Semantics 44%
  • Logic Programs 38%
  • Syntax 32%
  • Computational Complexity 30%
  12 Citations (Scopus)

• Incremental tabling for query-driven propagation of logic program updates

  Saptawijaya, A. & Pereira, L. M., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer Verlag, p. 694-709 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic programming 100%
  • Logic Programs 98%
  • Query 83%
  • Update 82%
  • Propagation 77%
  7 Citations (Scopus)

• Justifications for logic programming

  Viegas Damásio, C., Analyti, A. & Antoniou, G., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Vol. 8148 LNAI. p. 530-542 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Provenance 100%
  • Relational Algebra 83%
  • Logic Programming 72%
  • Logic programming 70%
  • Justification 60%
  28 Citations (Scopus)

• NoHR: Querying EL with Non-monotonic Rules

  Knorr, M. & Leite, J. A. C. P., 1 Jan 2013, CEUR Workshop Proceedings. Blomqvist, E. & Groza, T. (eds.). CEUR-WS.org, Vol. 1035. p. 17-20

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• On Condensing a Sequence of Updates in Answer-Set Programming

  Leite, J. A. C. P., 1 Jan 2013, Proceedings of the International Joint Conference on Artificial Intelligence. Rossi, F. (ed.). IJCAI/AAAI, p. 1094-1103

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  4 Citations (Scopus)

• Program Updating by Incremental and Answer Subsumption Tabling

  Saptawijaya, A. & Pereira, L. M., 2013, LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013). Cabalar, P. & Son, TC. (eds.). SPRINGER-VERLAG BERLIN, p. 479-484 6 p. (Lecture Notes in Computer Science; vol. 8148).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic programming 100%
  • Engines 54%
  4 Citations (Scopus)

• SNN Input Parameters: how are they related?

  Moreira, G., Santos, M. Y. & Moura-Pires, J., 2013, 2013 19TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2013). Institute of Electrical and Electronics Engineers (IEEE), p. 492-497 6 p. (International Conference on Parallel and Distributed Systems - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Clustering algorithms 100%
  • Big data 99%
  14 Citations (Scopus)

• Time is up! - Norms with deadlines in action languages

  Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J. & Slota, M., 30 Oct 2013, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Leite, J., Son, T. C., Torroni, P., van der Torre, L. & Woltran, S. (eds.). Berlin, Heidelberg: Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deadline 100%
  • Language 53%
  • Norm 44%
  • Reasoning 17%
  1 Citation (Scopus)

• Towards Action Languages with Norms and Deadlines

  Leite, J. A. C. P., 1 Jan 2013, Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning, Action and Change. Ji, J., Strass, H. & Wang, X. (eds.). Vol. 1. p. 29-36

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Towards Practical Tabled Abduction in Logic Programs

  Saptawijaya, A. & Pereira, L. M., 2013, PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013. Correia, L., Reis, LP. & Cascalho, J. (eds.). SPRINGER-VERLAG BERLIN, p. 223-234 12 p. (Lecture Notes in Artificial Intelligence; vol. 8154).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic programming 100%
  • Fuel burners 43%
  • Scalability 34%
  2 Citations (Scopus)

• Towards Practical Tabled Abduction Usable in Decision Making

  Saptawijaya, A. & Pereira, L. M., 2013, INTELLIGENT DECISION TECHNOLOGIES. NevesSilva, R., Watada, J., PhillipsWren, G., Jain, LC. & Howlett, RJ. (eds.). IOS Press, p. 429-438 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 255).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Decision making 100%
  • Logic programming 65%
  • Artificial intelligence 24%
  2 Citations (Scopus)

• Why is it so hard to say sorry? Evolution of apology with commitments in the iterated Prisoner's Dilemma

  Han, T. A., Pereira, L. M., Santos, F. C. & Lenaerts, T., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 177-183 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  35 Citations (Scopus)
• 2012

  Abductive Logic Programming with Tabled Abduction

  Pereira, L. M. S. M., 1 Jan 2012, International Conferences on Software Engineering Advances. p. 548-556

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• An embedding of input-output logic in deontic logic programs

  Gonçalves, R. & Alferes, J. J., 15 Aug 2012, Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. Ågotnes, T., Broersen, J. & Elgesem, D. (eds.). Berlin, Heidelberg: Springer Verlag, p. 61-75 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7393 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deontic Logic 100%
  • Logic Programs 68%
  • Logic 46%
  • Output 43%
  • Semantics 39%
  9 Citations (Scopus)

• A Unifying Perspective on Knowledge Updates

  Leite, J. A. C. P., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 7519. p. 372-384

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  17 Citations (Scopus)

• Intention Recognition, Commitment and the Evolution of Cooperation

  Pereira, L. M. S. M., 1 Jan 2012, IEEE World Congress on Computational Intelligence. p. 1-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  16 Citations (Scopus)

• Long term assessment of critical factors affecting the reliability of transmission grids

  Azevedo, F. D. M. E. C. A. D., 1 Jan 2012, NONE. p. 12 pages

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• MKNF knowledge bases in multi-context systems

  Homola, M., Knorr, M., Leite, J. & Slota, M., 6 Sept 2012, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Proceedings. Fisher, M., van der Torre, L., Dastani, M. & Governatori, G. (eds.). Berlin, Heidelberg: Springer Verlag, p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7486 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Negation as Failure 100%
  • Knowledge Base 80%
  • Logic programming 73%
  • Ontology 52%
  • Knowledge 47%
  5 Citations (Scopus)

• Moral Reasoning Under Uncertainty

  Pereira, L. M. S. M., 1 Jan 2012, The Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),. p. 212-227

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  34 Citations (Scopus)