3773 search results - page 555 / 755 » Logical Reasoning |
194
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The integration of reasoning and computation services across system and language boundaries has been mostly treated from an engineering perspective. In this paper we take a foundat...
309
Voted
FM
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
153
Voted
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
138
Voted
ICLP
1997
Springer
15 years 9 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
157
click to vote
KRMED
2004
15 years 6 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...