3710 search results - page 177 / 742 » A new calculus of contexts |
192
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
196
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
190
click to vote
AAI
2010
15 years 2 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
247
click to vote
KBS
2011
15 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
250
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...