4211 search results - page 489 / 843 » A formal approach to MASQ |
190
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
197
click to vote
PPDP
2004
Springer
16 years 5 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
170
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
169
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
156
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...