1027 search results - page 109 / 206 » Representing and Reasoning with Operational Semantics |
124
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
101
Voted
IJAR
2010
14 years 11 months ago
2010
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
130
click to vote
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
113
Voted
LACL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
89
Voted
AAAI
2008
15 years 3 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...