English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/134120
logo share SHARE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

DC FieldValueLanguage
dc.contributor.authorAlsinet, Teresa-
dc.contributor.authorBarroso, David-
dc.contributor.authorBejar, Ramon-
dc.contributor.authorBou, Felix-
dc.contributor.authorCerami, Marco-
dc.contributor.authorEsteva, Francesc-
dc.identifierdoi: 10.1007/978-3-642-40381-1_25-
dc.identifierissn: 0302-9743-
dc.identifierisbn: 978-3-642-40380-4-
dc.identifier.citationLecture Notes in Artificial Intelligence 8078. Scalable Uncertainty Management, 7th International Conference, SUM 2013 Washington, DC, USA, September 16-18, 2013, Proceedings, pp 325-330.-
dc.description.abstractIn this paper we explain the design and preliminary implementation of a solver for the positive satisfiability problem of concepts in a fuzzy description logic over the infinite-valued product logic. This very solver also answers 1-satisfiability in quasi-witnessed models. The solver works by first performing a direct reduction of the problem to a satisfiability problem of a quantifier free boolean formula with non-linear real arithmetic properties, and secondly solves the resulting formula with an SMT solver. We show that the satisfiability problem for such formulas is still a very challenging problem for even the most advanced SMT solvers, and so it represents an interesting problem for the community working on the theory and practice of SMT solvers.-
dc.description.sponsorshipResearch partially funded by the Spanish MICINN projects ARINF (TIN2009-14704-C03-01/03) and TASSAT (TIN2010-20967-C04-01/03), MINECO project EdeTRI (TIN2012-39348-C02-01), Agreement Techologies (CONSOLIDER CSD 2007- 0022), Catalan Government (2009SGR-1433/34) and ESF project POST - UP II No. CZ.1.07/2.3.00/30.0041 that is co-financed by the European Social Fund and the state budget of the Czech Republic.-
dc.subjectDescription logics-
dc.subjectFuzzy product logic-
dc.subjectSMT solvers-
dc.titleOn the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers-
dc.typecomunicación de congreso-
dc.description.versionPeer Reviewed-
dc.contributor.funderMinisterio de Economía y Competitividad (España)-
dc.contributor.funderGeneralitat de Catalunya-
Appears in Collections:(IIIA) Libros y partes de libros
Files in This Item:
File Description SizeFormat 
LNCS8078_p.325-30.pdf160,92 kBUnknownView/Open
Show simple item record

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.