2136 search results - page 143 / 428 » A Game-Theoretic Operational Semantics |
151
Voted
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
123
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
112
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
119
Voted
IUI
2010
ACM
15 years 5 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
120
click to vote
AAAI
2006
15 years 5 months ago
2006
Social networks are important for the Semantic Web. Several means can be used to obtain social networks: using social networking services, aggregating Friendof-a-Friend (FOAF) doc...