Sciweavers

653 search results - page 27 / 131
» The Logic of Learning
Sort
View
CORR
2002
Springer
133views Education» more  CORR 2002»
15 years 5 months ago
Complete Axiomatizations for Reasoning About Knowledge and Time
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Va...
157
Voted
AAAI
2006
15 years 7 months ago
kFOIL: Learning Simple Relational Kernels
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
Niels Landwehr, Andrea Passerini, Luc De Raedt, Pa...
JMLR
2006
100views more  JMLR 2006»
15 years 5 months ago
Learning Recursive Control Programs from Problem Solving
In this paper, we propose a new representation for physical control
Pat Langley, Dongkyu Choi
AAAI
2006
15 years 7 months ago
Unifying Logical and Statistical AI
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew...
COLING
2000
15 years 7 months ago
Learning Semantic-Level Information Extraction Rules by Type-Oriented ILP
This paper describes an approach to using semantic rcprcsentations for learning information extraction (IE) rules by a type-oriented inductire logic programming (ILl)) system. NLP...
Yutaka Sasaki, Yoshihiro Matsuo