17054 search results - page 103 / 3411 » Logics of Dynamical Systems |
148
click to vote
BTW
2001
Springer
15 years 9 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
119
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
185
click to vote
TLCA
1993
Springer
15 years 8 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
140
click to vote
PRICAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...