3566 search results - page 320 / 714 » Signed Logic Programs |
259
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
116
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
154
click to vote
AUSAI
2004
Springer
15 years 8 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
120
Voted
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
113
click to vote
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...