有根据的语义学
操作语义
指称语义学
计算机科学
语义学(计算机科学)
动作语义
证明理论语义学
计算语义学
程序设计语言
形式语义学(语言学)
理论计算机科学
作者
Wolfgang Dvořák,Sarah Alice Gaggl
标识
DOI:10.1093/logcom/exu006
摘要
Journal Article Stage semantics and the SCC-recursive schema for argumentation semantics Get access Wolfgang Dvořák, Wolfgang Dvořák University of Vienna, Faculty of Computer Science, Vienna, Austria. E-mail: wolfgang.dvorak@univie.ac.at Search for other works by this author on: Oxford Academic Google Scholar Sarah Alice Gaggl Sarah Alice Gaggl Technische Universität Dresden, Institute of Artificial Intelligence, Computational Logic Group, Dresden, Germany. E-mail: sarah.gaggl@tu-dresden.de Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 26, Issue 4, August 2016, Pages 1149–1202, https://doi.org/10.1093/logcom/exu006 Published: 13 February 2014 Article history Received: 29 April 2013 Published: 13 February 2014
科研通智能强力驱动
Strongly Powered by AbleSci AI