1588 search results - page 35 / 318 » On the Logic of Constitutive Rules |
152
click to vote
COLING
2000
15 years 7 months ago
2000
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
151
click to vote
BMCBI
2008
15 years 6 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...
151
click to vote
RSCTC
2010
Springer
15 years 4 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...
165
click to vote
RULEML
2009
Springer
16 years 19 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...
189
click to vote
TABLEAUX
2009
Springer
16 years 19 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...