1083 search results - page 18 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
117
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
136
Voted
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
114
Voted
MSCS
2008
15 years 1 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
105
click to vote
OWLED
2007
15 years 3 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
136
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...