Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site

Papers in proceedings

  • Luís Moniz Pereira and Ari Saptawijaya, Counterfactuals in Critical Thinking, with Application to Morality (extended abstract), Proceedings of Intl. Conf. MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY - Models and Inferences: Logical, Epistemological, and Cognitive Issues (MBR'015), (url), June 2015.
  • Luís Moniz Pereira and Ari Saptawijaya, Software with Ethical Discernment (extended abstract), Proceedings of Intl. Conf. MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY - Models and Inferences: Logical, Epistemological, and Cognitive Issues (MBR'015), (url), June 2015.
  • Luís Moniz Pereira and Ari Saptawijaya, Counterfactuals in Critical Thinking, with Application to Morality, Proceedings of II International Critical Thinking Seminar (SPIC'15),, (url), May 2015.
  • Emmanuelle-Anna Dietz, Steffen Hölldobler and Luís Moniz Pereira, On Indicative Conditionals, in: Steffen Hölldobler (eds), Procs. 1st Intl. Ws. on Semantic Technologies (IWOST), Intl. Ws. on Semantic Technologies (IWOST), CEUR Workshop Proceedings, http://ceur-ws.org/, Vol. 1339, ISSN 1613-0073, Pag. 19-30, (url), March 2015.
  • Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi and Vijay Saraswat and, Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization, Proc. Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI, (url), January 2015.
  • Fabrizio Riguzzi and Terrance Swift, A Survey of Probabilistic Logic Programming under the Distribution Semantics, Festschrift for David S. Warren, 2015.
  • Ricardo Filipe Silva, João Moura Pires, Maribel Yasmina Santos and Rui Leal, Aggregating Spatio-temporal Phenomena at Multiple Levels of Detail, AGILE GIS 2015, 2015.
  • Reinhard Kahle, Axioms as Hypotheses, in: Thomas Piecha and Peter Schroeder-Heister (eds), Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen, University of Tübingen, Pag. 47-54, (url), 2015.
  • Reinhard Kahle, Sets, truth, and recursion, in: Dora Achourioti, Kentaro Fujimoto, Henri Galinon and Jose Martinez (eds), Unifying the Philosophy of Truth, Logic, Epistemology and the Unity of Science, Springer, Vol. 36, (url), 2015.

This year's information may not be complete.


Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT