1864 search results - page 130 / 373 » Formal topology and domains |
162
click to vote
KI
2007
Springer
16 years 17 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
163
click to vote
LICS
2005
IEEE
16 years 10 hour ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
128
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
146
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
155
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...