2776 search results - page 307 / 556 » System-Level Abstraction Semantics |
183
click to vote
SEMWEB
2007
Springer
16 years 23 days 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...
198
click to vote
SUM
2007
Springer
16 years 22 days 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 ...
175
click to vote
ARGMAS
2005
Springer
16 years 5 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...
171
click to vote
CADE
2005
Springer
16 years 5 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...
169
click to vote
EWMF
2005
Springer
16 years 5 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...