1321 search results - page 41 / 265 » Subtyping in Logical Form |
173
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
153
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
151
Voted
ALP
1994
Springer
15 years 9 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
136
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
117
click to vote
ACL
2001
15 years 6 months ago
2001
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. Our logical definition leads to a neat relation...