2253 search results - page 159 / 451 » The ComFoRT Reasoning Framework |
114
click to vote
EWCBR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Experience with the growing number of large-scale CBR systems has led to increasing recognition of the importance of case-base maintenance. Multiple researchers have addr...
164
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
119
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
163
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
128
click to vote
ILP
2000
Springer
15 years 8 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...