Efficient Reasoning for Inconsistent Horn Formulae

AuthID
P-00M-GTR
4
Author(s)
Ignatiev, A
·
Mencia, C
·
Penaloza, R
2
Editor(es)
Michael,L;Kakas,AC
Tipo de Documento
Proceedings Paper
Year published
2016
Publicado
in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 10021, Páginas: 336-352 (17)
Conference
15Th European Conference on Logics in Artificial Intelligence (Jelia), Date: NOV 09-11, 2016, Location: Larnaca, CYPRUS
Indexing
Publication Identifiers
DBLP: conf/jelia/Marques-SilvaIM16
SCOPUS: 2-s2.0-84995581766
Unpaywall: 10.1007/978-3-319-48758-8_22
Wos: WOS:000389316500022
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.