2685 search results - page 50 / 537 » A Formal Semantics for SPKI |
GI
2010
Springer
13 years 5 months ago
2010
Springer
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
CLA
2007
13 years 9 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
IEEEVAST
2010
13 years 2 months ago
2010
Insight Externalization (IE) refers to the process of capturing and recording the semantics of insights in decision making and problem solving. To reduce human effort, Automated I...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...