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...

Bibliográfalaš dieđut
Váldodahkkit:	Cropper, A, Hocquette, C
Materiálatiipa:	Conference item
Giella:	English
Almmustuhtton:	Association for the Advancement of Artificial Intelligence 2023

Geahča maid

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

Learning logic programs by combining programs
Dahkki: Cropper, A, et al.
Almmustuhtton: (2023)

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

Learning programs with magic values
Dahkki: Hocquette, MEJ, et al.
Almmustuhtton: (2023)

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

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

Learning efficient logic programs
Dahkki: Cropper, A, et al.
Almmustuhtton: (2018)

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

Learning logic programs through divide, constrain, and conquer
Dahkki: Cropper, A
Almmustuhtton: (2022)

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

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

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

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

Inductive logic programming at 30
Dahkki: Cropper, A, et al.
Almmustuhtton: (2021)

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

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

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

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

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

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

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

Discovering, Learning, and Exploiting Visual Cues
Dahkki: Tiwary, Kushagra
Almmustuhtton: (2023)

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

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

Description Logic Programs: Combining Logic Programs with Description Logic
Dahkki: Grosof, Benjamin, et al.
Almmustuhtton: (2004)

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

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

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

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

Deep learning for discovering new product opportunities
Dahkki: Perez, Santiago(Perez Lastra)
Almmustuhtton: (2018)

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

Logic programming

Logic programming /
Dahkki: Lassez, Jean-Loius, et al.
Almmustuhtton: (1987)

Logic and programming /
Dahkki: 423361 Parent, Michel, et al.
Almmustuhtton: (1985)

Logic programming /
Dahkki: Levi, Giorgio, et al.
Almmustuhtton: (1989)

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

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

When deep learning meets inductive logic programming
Dahkki: Cao, Yushi
Almmustuhtton: (2025)

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

Computing with logic : logic programming with Prolog /
Dahkki: 401449 Maier, David
Almmustuhtton: (1988)