2696 search results - page 361 / 540 » Semantic Abstraction and Anaphora |
184
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
159
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
168
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
143
click to vote
ACOM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
183
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...