Learning logic programs by discovering where not to search

Learning logic programs by discovering where not to search

The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises training examples and background knowledge (BK). To improve performance, we introduce an approach that, before searching for a hypothesis, first discovers "where not to search". We use given BK to...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Cropper, A, Hocquette, C
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Association for the Advancement of Artificial Intelligence 2023

Eitemau Tebyg

Learning logic programs by discovering higher-order abstractions
gan: Hocquette, C, et al.
Cyhoeddwyd: (2024)

Learning logic programs by combining programs
gan: Cropper, A, et al.
Cyhoeddwyd: (2023)

Learning MDL logic programs from noisy data
gan: Hocquette, C, et al.
Cyhoeddwyd: (2024)

Learning programs with magic values
gan: Hocquette, MEJ, et al.
Cyhoeddwyd: (2023)

Learning big logical rules by joining small rules
gan: Hocquette, C, et al.
Cyhoeddwyd: (2024)

Learning efficient logic programs
gan: Cropper, A, et al.
Cyhoeddwyd: (2018)

Relational program synthesis with numerical reasoning
gan: Hocquette, C, et al.
Cyhoeddwyd: (2023)

Learning logic programs by explaining their failures
gan: Morel, R, et al.
Cyhoeddwyd: (2023)

Learning logic programs through divide, constrain, and conquer
gan: Cropper, A
Cyhoeddwyd: (2022)

Learning higher-order logic programs
gan: Cropper, A, et al.
Cyhoeddwyd: (2019)

Typed meta-interpretive learning of logic programs
gan: Ong, C, et al.
Cyhoeddwyd: (2019)

Learning higher-order logic programs through abstraction and invention
gan: Cropper, A, et al.
Cyhoeddwyd: (2016)

Inductive logic programming at 30: a new introduction
gan: Cropper, A, et al.
Cyhoeddwyd: (2022)

Inductive logic programming at 30
gan: Cropper, A, et al.
Cyhoeddwyd: (2021)

Discovering the world with fuzzy logic /
gan: Novak, Vilem, et al.
Cyhoeddwyd: (2000)

Learning efficient logical robot strategies involving composable objects
gan: Cropper, A, et al.
Cyhoeddwyd: (2015)

Learning programs by learning from failures
gan: Cropper, A, et al.
Cyhoeddwyd: (2021)

'Where' and 'what' in visual search.
gan: Atkinson, J, et al.
Cyhoeddwyd: (1989)

WHERE AND WHAT IN VISUAL-SEARCH
gan: Atkinson, J, et al.
Cyhoeddwyd: (1989)

Discovering blind spots in reinforcement learning
gan: Ramakrishnan, Ramya, et al.
Cyhoeddwyd: (2020)

Where to go from here : discovering your own life's wisdom in the second half of your life/
gan: 383075 Birren, James E., et al.
Cyhoeddwyd: (1997)

Discovering, Learning, and Exploiting Visual Cues
gan: Tiwary, Kushagra
Cyhoeddwyd: (2023)

Discovering Structure by Learning Sparse Graphs
gan: Lake, Brenden M, et al.
Cyhoeddwyd: (2017)

Description Logic Programs: Combining Logic Programs with Description Logic
gan: Grosof, Benjamin, et al.
Cyhoeddwyd: (2004)

Symbolic metaprogram search improves learning efficiency and explains rule learning in humans
gan: Rule, JS, et al.
Cyhoeddwyd: (2024)

The logic of programming /
gan: 395286 Hehner, Eric C. R.
Cyhoeddwyd: (1984)

Grammar Learning using Inductive Logic Programming
gan: Pulman, S, et al.
Cyhoeddwyd: (2001)

Learning to predict where humans look
gan: Judd, Tilke M., et al.
Cyhoeddwyd: (2011)

Learning computer programming : structured logic, algorithms and flowcharting /
gan: 355951 Silver, Gerald A., et al.
Cyhoeddwyd: (1986)

Deep learning for discovering new product opportunities
gan: Perez, Santiago(Perez Lastra)
Cyhoeddwyd: (2018)

Logic and programming /
gan: 423361 Parent, Michel, et al.
Cyhoeddwyd: (1985)

Logic programming /
gan: Levi, Giorgio, et al.
Cyhoeddwyd: (1989)

Logic programming /
gan: Lassez, Jean-Loius, et al.
Cyhoeddwyd: (1987)

Logic programming

Learning and teaching where worldviews meet /
gan: Sutherland, Rosamund, et al.
Cyhoeddwyd: (2003)

Learning to Update: Using Reinforcement Learning to Discover Policies for List Update
gan: Quaye, Isabelle A.
Cyhoeddwyd: (2024)

A connectionist system approach for learning logic programs
gan: Shamsuddin, Siti Mariam, et al.
Cyhoeddwyd: (2008)

When deep learning meets inductive logic programming
gan: Cao, Yushi
Cyhoeddwyd: (2025)

Computing with logic : logic programming with Prolog /
gan: 401449 Maier, David
Cyhoeddwyd: (1988)

An inductive logic programming approach to statistical relational learning /
gan: 382560 Kersting, Kristian
Cyhoeddwyd: (2006)