154 search results - page 3 / 31 » Order Sorted Predicate Logic |
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
ASIAN
2004
Springer
14 years 23 days ago
2004
Springer
JOLLI
2007
13 years 7 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
IJIT
2004
13 years 8 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
ILP
2000
Springer
13 years 11 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...