Efficient reasoning for inconsistent horn formulae

dc.contributor.author	Marques-Silva, J.
dc.contributor.author	Ignatiev, A.
dc.contributor.author	Mencía Cascallana, Carlos
dc.contributor.author	Peñaloza, R.
dc.date.accessioned	2017-03-24T07:58:28Z
dc.date.available	2017-03-24T07:58:28Z
dc.date.issued	2016
dc.identifier.isbn	9783319487571
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/10651/40859
dc.format.extent	p. 336-352
dc.language.iso	eng
dc.relation.ispartof	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.rights	©,
dc.source	Scopus
dc.source.uri	https://www.scopus.com/inward/record.uri?eid=2-s2.0-84995581766&doi=10.1007%2f978-3-319-48758-8_22&partnerID=40&md5=ba0685d7b19cf41243a6ba4e0845d5b8
dc.title	Efficient reasoning for inconsistent horn formulae
dc.type	conference output	spa
dc.identifier.doi	10.1007/978-3-319-48758-8_22
dc.relation.publisherversion	http://dx.doi.org/10.1007/978-3-319-48758-8_22

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.