546 search results - page 31 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
121
Voted
ENTCS
2007
15 years 2 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
139
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
109
click to vote
PPDP
2010
Springer
15 years 10 days 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...
156
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
179
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...