3624 search results - page 535 / 725 » Abstract Algebraic Logic |
205
click to vote
GEOS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
167
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
176
click to vote
ILP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
170
click to vote
MKM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
171
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...