Back
  1. Home
  3. Detailled Reference
Download
Article (Scientific journals)
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, Dov M.; Pearce, David; Valverde, Agust In
2014 • In Journal of Artificial Intelligence Research, abs/1401.3897
Peer Reviewed verified by ORBi
Permalink
https://hdl.handle.net/10993/26071
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
file.pdf
Publisher postprint (4.35 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Gabbay, Dov M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pearce, David
Valverde, Agust In
External co-authors :
yes
Language :
English
Title :
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Publication date :
2014
Journal title :
Journal of Artificial Intelligence Research
ISSN :
1943-5037
Publisher :
Morgan Kaufmann Publishers
Volume :
abs/1401.3897
Peer reviewed :
Peer Reviewed verified by ORBi
Additional URL :
http://arxiv.org/abs/1401.3897
Available on ORBilu :
since 22 March 2016

Statistics

Number of views
43 (5 by Unilu)
Number of downloads
13 (3 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu