367 search results - page 34 / 74 » A Rewriting Logic Sampler |
201
Voted
POPL
2003
ACM
16 years 23 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...
181
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
101
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
108
click to vote
DLOG
2007
15 years 2 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
100
click to vote
DLOG
2003
15 years 1 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...