892 search results - page 72 / 179 » Strategies in sentential reasoning |
141
Voted
FOIS
2006
15 years 6 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
124
Voted
AICOM
2010
15 years 4 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
137
Voted
AICOM
2010
15 years 4 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
121
Voted
GIS
2008
ACM
15 years 4 months ago
2008
ACM
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...
121
click to vote
GIS
2000
ACM
15 years 4 months ago
2000
ACM
The GIS literature abounds with strategies to guide the development of a corporate GIS as a single project but lacks discussion on the long term management of the GIS. This paper d...