170 search results - page 13 / 34 » Contextual Deontic Logic |
137
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...
110
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
104
Voted
FLAIRS
2004
15 years 3 months ago
2004
We propose a rigorous definition of the notion of typicality, making use of the strict partial order naturally induced among the objects at hand by a given concept. This perspecti...
108
click to vote
PRIMA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...