8009 search results - page 240 / 1602 » cans 2005 |
187
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
170
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
146
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
138
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
129
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...