1588 search results - page 43 / 318 » On the Logic of Constitutive Rules |
147
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
174
click to vote
ENTCS
2011
15 years 1 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
171
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose an original hybrid statistical-structural method for on-line Chinese character recognition. We model characters thanks to fuzzy inference rules combining...
147
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
152
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...