4617 search results - page 385 / 924 » Automation of Diagrammatic Reasoning |
177
click to vote
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
184
click to vote
ICCBR
2010
Springer
2010
Springer
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation
15 years 5 months ago
Product recommendation systems are now a key part of many e-commerce services and have proven to be a successful way to help users navigate complex product spaces. In this paper, w...
146
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
185
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
181
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...