有根据的语义学
保守扩展
证明理论语义学
扩展(谓词逻辑)
语义学(计算机科学)
稳定模型语义
指称语义学
操作语义
答案集编程
论证框架
计算机科学
数学
逻辑程序设计
理论计算机科学
程序设计语言
论证理论
认识论
哲学
作者
Martin Caminada,Walter Carnielli,Paul E. Dunne
标识
DOI:10.1093/logcom/exr033
摘要
Journal Article Semi-stable semantics Get access Martin W. A. Caminada, Martin W. A. Caminada Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg.E-mail: martin.caminada@uni.lu Search for other works by this author on: Oxford Academic Google Scholar Walter A. Carnielli, Walter A. Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy, Unicamp, Brazil.E-mail: walter.carnielli@cle.unicamp.br Search for other works by this author on: Oxford Academic Google Scholar Paul E. Dunne Paul E. Dunne Department of Computer Science, University of Liverpool, UK.E-mail: ped@csc.liv.ac.uk Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 22, Issue 5, October 2012, Pages 1207–1254, https://doi.org/10.1093/logcom/exr033 Published: 14 September 2011 Article history Received: 18 March 2010 Published: 14 September 2011
科研通智能强力驱动
Strongly Powered by AbleSci AI