1486 search results - page 257 / 298 » Mathematical Fuzzy Logics |
194
click to vote
POPL
2003
ACM
16 years 4 days ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
KR
2004
Springer
15 years 5 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
105
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
WWW
2003
ACM
16 years 15 days ago
2003
ACM
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...