245 search results - page 21 / 49 » Class Algebra as a Description Logic |
111
Voted
ML
2006
ACM
15 years 13 days ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
103
Voted
JDWM
2007
15 years 11 days ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...
109
Voted
ENTCS
2007
15 years 13 days ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
93
Voted
BSL
1999
15 years 5 days ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
96
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...