3776 search results - page 616 / 756 » Partition-Based Logical Reasoning |
114
click to vote
IGPL
2010
15 years 29 days ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
154
click to vote
JELIA
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
114
click to vote
KI
2010
Springer
15 years 27 days ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
108
click to vote
SEMWEB
2010
Springer
15 years 10 days ago
2010
Springer
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
141
click to vote
EUSFLAT
2009
15 years 8 days ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...