895 search results - page 57 / 179 » A Spectrum of Applications of Automated Reasoning |
135
click to vote
PPSWR
2004
Springer
15 years 10 months ago
2004
Springer
To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and S...
145
click to vote
RWEB
2009
Springer
15 years 11 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
140
click to vote
ASP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
132
Voted
FLOPS
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
122
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...