409 search results - page 59 / 82 » Semantics for a theory of defeasible reasoning |
109
click to vote
NIL
1991
15 years 3 months ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
102
click to vote
CL
2002
Springer
14 years 11 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
110
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
158
click to vote
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
ESSLLI
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...