Otros recursos con las palabras clave Intuitionistic Logic,Thomas Drakengren,Peter Jonsson Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic
Resultados 1 - 1 de 1 de Intuitionistic Logic,Thomas Drakengren,Peter Jonsson Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic. (0,24 segundos)
Documentos:
1. (100%)ReasoningAboutSetConstraintsAppliedtoTractableInferenceinIntuitionisticLogic - IntuitionisticLogic,ThomasDrakengren,PeterJonsson
, terminological logics and
spatial reasoning. In this paper, we identify a new class of setconstraints...Automated reasoningabout sets has received a considerable amount of
interest in the literature
(ps) - 31-mar-2009