2138 search results - page 361 / 428 » Logics for the Relational Syllogistic |
ICIW
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
TIME
2008
IEEE
14 years 3 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
WETICE
2008
IEEE
14 years 3 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...