3776 search results - page 383 / 756 » Partition-Based Logical Reasoning |
173
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
123
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
148
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
151
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
129
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...