3776 search results - page 316 / 756 » Partition-Based Logical Reasoning |
147
click to vote
ILP
2000
Springer
15 years 8 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...
147
click to vote
DEON
2010
Springer
15 years 7 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
139
click to vote
AAAI
2007
15 years 7 months ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
142
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We give a graph theoretical criterion on multiplicative additive linear logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hypercliqu...
150
click to vote
DLOG
2004
15 years 6 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...