1027 search results - page 129 / 206 » Representing and Reasoning with Operational Semantics |
107
Voted
ASP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
98
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
107
Voted
CLEIEJ
2008
15 years 23 days ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
90
Voted
AML
2004
15 years 16 days ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
89
Voted
OTM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...