2685 search results - page 421 / 537 » A Formal Semantics for SPKI |
162
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
199
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
182
click to vote
AAAI
2010
15 years 7 months ago
2010
Ontology matching is the problem of determining correspondences between concepts, properties, and individuals of different heterogeneous ontologies. With this paper we present a n...
159
click to vote
ACL
2008
15 years 7 months ago
2008
In lexicalized grammatical formalisms, it is possible to separate lexical category assignment from the combinatory processes that make use of such categories, such as parsing and ...
172
click to vote
APCCM
2008
15 years 7 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...