1317 search results - page 44 / 264 » Fusions of Description Logics and Abstract Description Syste... |
156
click to vote
ROBOCUP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.
190
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
146
click to vote
RULEML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
150
click to vote
KSEM
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
164
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...