3706 search results - page 228 / 742 » System Description: E-KRHyper |
71
Voted
DSVIS
1995
Springer
15 years 4 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
130
Voted
AAAI
2007
15 years 3 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
115
Voted
DLOG
2007
15 years 3 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
110
Voted
WSC
2007
15 years 3 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
101
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...