dc.contributor.author | Gaintzarain Ibarmia, José | |
dc.contributor.author | Hermo Huguet, Montserrat; | |
dc.contributor.author | Lucio Carrasco, Francisca | |
dc.contributor.author | Navarro, Marisa | |
dc.date.accessioned | 2024-02-02T18:34:12Z | |
dc.date.available | 2024-02-02T18:34:12Z | |
dc.date.issued | 2010-01-25 | |
dc.identifier.citation | Theoretical Computer Science 411 : 1723-1733 (2010) | es_ES |
dc.identifier.issn | 0304-3975 | |
dc.identifier.uri | http://hdl.handle.net/10810/64611 | |
dc.description.abstract | Horn⊃ is a logic programming language that extends usual Horn clauses by adding intuitionistic implication in goals and clause bodies. This extension can be seen as a way of structuring programs in logic programming. We are interested in finding correct and efficient translations from Horn⊃ programs into some representation type that, preserving the signature, allows us suitable implementations of these kinds of programs. In this paper we restrict to the propositional setting of Horn⊃ and we study correct translations into Boolean circuits, i.e. graphs; into Boolean formulas, i.e. trees; and into conjunctions of propositional Horn clauses. Different results for the efficiencies of the transformations are obtained in the three cases. | es_ES |
dc.description.sponsorship | This work was partially supported by Spanish Project TIN2007-66523 and the Basque Project LoRea GIU07/35 | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Elsevier | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.subject | intuitionistic logic | es_ES |
dc.subject | horn clauses | es_ES |
dc.subject | boolean circuits | es_ES |
dc.title | Translating propositional extended conjunctions of Horn clauses into Boolean circuits | es_ES |
dc.type | info:eu-repo/semantics/preprint | es_ES |
dc.rights.holder | © 2010 Elsevier B.V. All rights reserved. | es_ES |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0304397510000381 | es_ES |
dc.identifier.doi | 10.1016/j.tcs.2010.01.013 | |
dc.departamentoes | Lenguajes y sistemas informáticos | es_ES |
dc.departamentoeu | Hizkuntza eta sistema informatikoak | es_ES |