1027 search results - page 105 / 206 » Representing and Reasoning with Operational Semantics |
204
click to vote
DEBU
2007
15 years 21 days ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
82
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
97
Voted
LPNMR
1997
Springer
15 years 4 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
118
click to vote
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...