1588 search results - page 20 / 318 » On the Logic of Constitutive Rules |
AML
2006
14 years 11 months ago
2006
We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...
JLP
2008
14 years 11 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
TCS
2002
14 years 11 months ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
124
click to vote
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
AUSDM
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a preprocessing step in mining association rules which uses tables to summarize synthetically the way variables interact by highlighting any zones which are at...