Sciweavers

2519 search results - page 222 / 504
» Reasoning with Textual Cases
Sort
View
LPNMR
2007
Springer
16 years 23 days ago
General Default Logic
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
Yi Zhou, Fangzhen Lin, Yan Zhang
KBSE
2006
IEEE
16 years 19 days ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
177
Voted
IUI
2005
ACM
16 years 5 days ago
ComicKit: acquiring story scripts using common sense feedback
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
Ryan Williams 0002, Barbara Barry, Push Singh
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
16 years 4 days ago
Behavioral Extensions of Institutions
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
Andrei Popescu, Grigore Rosu
154
Voted
ICCBR
2005
Springer
16 years 4 days ago
Supporting Conversation Variability in COBBER Using Causal Loops
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
Hector Gómez-Gauchía, Belén D...