2685 search results - page 29 / 537 » A Formal Semantics for SPKI |
122
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
134
click to vote
JUCS
2002
15 years 1 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
112
Voted
JUCS
2008
15 years 1 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
136
click to vote
DLOG
2011
14 years 5 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
144
Voted
DLOG
2011
14 years 5 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...