4126 search results - page 214 / 826 » Set based logic programming |
149
click to vote
IJCAI
1993
15 years 7 months ago
1993
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...
163
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
183
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
170
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...
168
click to vote
FASE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...