1364 search results - page 24 / 273 » Comparative Branching-Time Semantics |
TBILLC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
NLUCS
2008
15 years 1 months ago
2008
Conceptual vectors can be used to represent thematic aspects of text segments, which allow for the computation of semantic relatedness. We study the behavior of conceptual vectors ...
WISE
2005
Springer
15 years 5 months ago
2005
Springer
A key issue in web services is matching that involves comparing user requests with advertised services and finding the best available ones. In semantic web services, an ontology is...
RIVF
2007
15 years 1 months ago
2007
— Semantic file systems enhance standard file systems with the ability of file searching based on file semantics. The users interact with semantic file systems not only by execut...
AI
2007
Springer
14 years 12 months ago
2007
Springer
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...