Reference : Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/26071
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
English
Gabbay, Dov M. mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Pearce, David [> >]
Valverde, Agust In [> >]
2014
Journal of Artificial Intelligence Research
Morgan Kaufmann Publishers
abs/1401.3897
Yes (verified by ORBilu)
1076-9757
1943-5037
http://hdl.handle.net/10993/26071
http://arxiv.org/abs/1401.3897

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
file.pdfPublisher postprint4.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.