1549 search results - page 34 / 310 » On the rules of intermediate logics |
139
click to vote
BMCBI
2008
15 years 5 months ago
2008
This paper describes the use and customization of Inductive Logic Programming (ILP) to infer indexing rules from MEDLINE citations. Preliminary results suggest this method may enh...
140
click to vote
RSCTC
2010
Springer
15 years 3 months ago
2010
Springer
Randomisation is a method to test the statistical significance of a symbolic rule; it is, however, very expensive. In this paper we present a sequential randomisation test which d...
157
Voted
RULEML
2009
Springer
16 years 2 days ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
171
click to vote
SAFECOMP
2005
Springer
15 years 11 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
179
click to vote
TABLEAUX
2009
Springer
16 years 2 days ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...