2776 search results - page 307 / 556 » System-Level Abstraction Semantics |
201
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
221
click to vote
SUM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
191
click to vote
ARGMAS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
194
click to vote
CADE
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
188
click to vote
EWMF
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. To fight the problem of information overload in huge information sources like large document repositories, e. g. citeseer, or internet websites you need a selection crit...