受强制性开放获取政策约束的文章 - David Pearce了解详情
无法在其他位置公开访问的文章:1 篇
Algebraic semantics for modal and superintuitionistic non-monotonic logics
D Pearce, L Uridia
Journal of Applied Non-Classical Logics 23 (1-2), 147-158, 2013
强制性开放获取政策: Government of Spain
可在其他位置公开访问的文章:12 篇
Characterising equilibrium logic and nested logic programs: Reductions and complexity
D Pearce, H Tompits, S Woltran
Theory and Practice of Logic Programming 9 (05), 565-616, 2009
强制性开放获取政策: Austrian Science Fund
A semantical framework for hybrid knowledge bases
J De Bruijn, D Pearce, A Polleres, A Valverde
Knowledge and Information Systems 25 (1), 81-104, 2010
强制性开放获取政策: Science Foundation Ireland
Forgetting auxiliary atoms in forks
F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal
Proceedings of the 10th Workshop on Answer Set Programming and Other …, 2017
强制性开放获取政策: Government of Spain
Synonymous theories and knowledge representations in answer set programming
D Pearce, A Valverde
Journal of Computer and System Sciences 78 (1), 86-104, 2012
强制性开放获取政策: Government of Spain
Infinitary equilibrium logic and strongly equivalent logic programs
A Harrison, V Lifschitz, D Pearce, A Valverde
Artificial Intelligence 246, 22-33, 2017
强制性开放获取政策: US National Science Foundation
A denotational semantics for equilibrium logic
F Aguado, P Cabalar, D Pearce, G Pérez, C Vidal
Theory and Practice of Logic Programming 15 (4-5), 620-634, 2015
强制性开放获取政策: Government of Spain
An approach to minimal belief via objective belief
D Pearce, L Uridia
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
强制性开放获取政策: Government of Spain
A Free Logic for Stable Models with Partial Intensional Functions
P Cabalar, LF del Cerro, D Pearce, A Valverde
Logics in Artificial Intelligence, 340-354, 2014
强制性开放获取政策: Government of Spain
The Topology of Common Belief.
D Pearce, L Uridia
AT, 246-259, 2012
强制性开放获取政策: Government of Spain
Stable reasoning
P Cabalar, D Pearce, A Valverde
Journal of Applied Non-Classical Logics, 1-17, 2018
强制性开放获取政策: Government of Spain
On the Properties of Atom Definability and Well-Supportedness in Logic Programming
P Cabalar, J Fandinno, L Fariñas, D Pearce, A Valverde
Portuguese Conference on Artificial Intelligence, 624-636, 2017
强制性开放获取政策: Government of Spain
Some equivalence concepts for hybrid theories
M Fink, D Pearce
CAEPIA, Spanish Association for Artifical Intelligence, 327-336, 2009
强制性开放获取政策: Austrian Science Fund
出版信息和资助信息由计算机程序自动确定