University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

Preferred semantics as Socratic discussion

Simple item page
dc.contributor.authorCaminada, Martin W. A.
dc.contributor.authorDvořák, Wolfgang
dc.contributor.authorVesic, Srdjan
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2017-01-17T14:28:26Z
dc.date.available2017-01-17T14:28:26Z
dc.date.embargoedUntil2017-09-01
dc.date.issued2016-08
dc.descriptionFunding 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 CRILen
dc.description.statusPeer revieweden
dc.format.extent36
dc.format.extent378096
dc.identifier31696952
dc.identifierb506ce7c-48bf-4bdd-bdff-fd497cbf5613
dc.identifier84982170160
dc.identifier.citationCaminada, M W A, Dvořák, W & Vesic, S 2016, 'Preferred semantics as Socratic discussion', Journal of Logic and Computation, vol. 26, no. 4, pp. 1257-1292. https://doi.org/10.1093/logcom/exu005en
dc.identifier.doi10.1093/logcom/exu005
dc.identifier.iss4en
dc.identifier.issn0955-792X
dc.identifier.urihttp://hdl.handle.net/2164/8017
dc.identifier.vol26en
dc.language.isoeng
dc.relation.ispartofJournal of Logic and Computationen
dc.subjectabstract argumentationen
dc.subjectpreferred semanticsen
dc.subjectSocratic dialogueen
dc.subjectcomputational complexityen
dc.subjectBC Logicen
dc.subjectGeneral Computer Scienceen
dc.subjectEngineering and Physical Sciences Research Council (EPSRC)en
dc.subjectEP/J012084/1en
dc.subject.lccBCen
dc.titlePreferred semantics as Socratic discussionen
dc.typeJournal articleen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
preferred_game_JLC.pdf
Size:
369.23 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
8.23 KB
Format:
Plain Text
Description:
Download

Collections

All research
Computing Science research
University Office research