Preferred semantics as Socratic discussion


Autoria(s): Caminada, Martin W. A.; Dvořák, Wolfgang; Vesic, Srdjan
Contribuinte(s)

University of Aberdeen, Natural & Computing Sciences, Computing Science

Data(s)

05/08/2016

05/08/2016

12/02/2014

20/03/2012

Resumo

Funding For M.C., the major part of the work on this article was carried out while he was affiliated with the Interdisciplinary Centre for Security, Reliability and Trust at the University of Luxembourg. His research was supported by the National Research Fund, Luxembourg (LAAMI project), as well as by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project). For S.V., the major part of the work on this article was carried out while he was affiliated with the Computer Science and Communication Research Unit at the University of Luxembourg. He worked on this article during the tenure of an ERCIM Alain Bensoussan Fellowship Programme, which is supported by the Marie Curie Co-funding of Regional, National and International Programmes (COFUND) of the European Commission. During this time, he was also funded by the National Research Fund, Luxembourg. When finishing the work on this article, he was a CRNS researcher affiliated with CRIL

Peer reviewed

Postprint

Identificador

Caminada , M W A , Dvořák , W & Vesic , S 2014 , ' Preferred semantics as Socratic discussion ' Journal of Logic and Computation . DOI: 10.1093/logcom/exu005

0955-792X

PURE: 31696952

PURE UUID: b506ce7c-48bf-4bdd-bdff-fd497cbf5613

http://hdl.handle.net/2164/6341

http://dx.doi.org/10.1093/logcom/exu005

Idioma(s)

eng

Relação

Journal of Logic and Computation

Direitos

This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-authenticated version Caminada, MWA, Dvořák, W & Vesic, S 2014, 'Preferred Semantics as Socratic Discussion' Journal of Logic and Computation is available online at http://logcom.oxfordjournals.org/content/early/2014/02/06/logcom

Palavras-Chave #BC Logic #Computer Science(all) #Engineering and Physical Sciences Research Council (EPSRC) #EP/J012084/1 #BC
Tipo

Journal article