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

Bibliografski detalji
Glavni autori:	Cropper, A, Hocquette, C
Format:	Conference item
Jezik:	English
Izdano:	Association for the Advancement of Artificial Intelligence 2023

Slični predmeti

Learning logic programs by discovering higher-order abstractions
od: Hocquette, C, i dr.
Izdano: (2024)

Learning logic programs by combining programs
od: Cropper, A, i dr.
Izdano: (2023)

Learning MDL logic programs from noisy data
od: Hocquette, C, i dr.
Izdano: (2024)

Learning programs with magic values
od: Hocquette, MEJ, i dr.
Izdano: (2023)

Learning big logical rules by joining small rules
od: Hocquette, C, i dr.
Izdano: (2024)

Relational program synthesis with numerical reasoning
od: Hocquette, C, i dr.
Izdano: (2023)

Learning efficient logic programs
od: Cropper, A, i dr.
Izdano: (2018)

Learning logic programs by explaining their failures
od: Morel, R, i dr.
Izdano: (2023)

Learning logic programs through divide, constrain, and conquer
od: Cropper, A
Izdano: (2022)

Learning higher-order logic programs
od: Cropper, A, i dr.
Izdano: (2019)

Typed meta-interpretive learning of logic programs
od: Ong, C, i dr.
Izdano: (2019)

Learning higher-order logic programs through abstraction and invention
od: Cropper, A, i dr.
Izdano: (2016)

Inductive logic programming at 30: a new introduction
od: Cropper, A, i dr.
Izdano: (2022)

Inductive logic programming at 30
od: Cropper, A, i dr.
Izdano: (2021)

Discovering the world with fuzzy logic /
od: Novak, Vilem, i dr.
Izdano: (2000)

Learning efficient logical robot strategies involving composable objects
od: Cropper, A, i dr.
Izdano: (2015)

Learning programs by learning from failures
od: Cropper, A, i dr.
Izdano: (2021)

'Where' and 'what' in visual search.
od: Atkinson, J, i dr.
Izdano: (1989)

WHERE AND WHAT IN VISUAL-SEARCH
od: Atkinson, J, i dr.
Izdano: (1989)

Discovering blind spots in reinforcement learning
od: Ramakrishnan, Ramya, i dr.
Izdano: (2020)

Where to go from here : discovering your own life's wisdom in the second half of your life/
od: 383075 Birren, James E., i dr.
Izdano: (1997)

Discovering, Learning, and Exploiting Visual Cues
od: Tiwary, Kushagra
Izdano: (2023)

Discovering Structure by Learning Sparse Graphs
od: Lake, Brenden M, i dr.
Izdano: (2017)

Symbolic metaprogram search improves learning efficiency and explains rule learning in humans
od: Rule, JS, i dr.
Izdano: (2024)

Description Logic Programs: Combining Logic Programs with Description Logic
od: Grosof, Benjamin, i dr.
Izdano: (2004)

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

Grammar Learning using Inductive Logic Programming
od: Pulman, S, i dr.
Izdano: (2001)

Learning to predict where humans look
od: Judd, Tilke M., i dr.
Izdano: (2011)

Learning computer programming : structured logic, algorithms and flowcharting /
od: 355951 Silver, Gerald A., i dr.
Izdano: (1986)

Deep learning for discovering new product opportunities
od: Perez, Santiago(Perez Lastra)
Izdano: (2018)

Learning and teaching where worldviews meet /
od: Sutherland, Rosamund, i dr.
Izdano: (2003)

Logic programming

Logic programming /
od: Lassez, Jean-Loius, i dr.
Izdano: (1987)

Logic and programming /
od: 423361 Parent, Michel, i dr.
Izdano: (1985)

Logic programming /
od: Levi, Giorgio, i dr.
Izdano: (1989)

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

A connectionist system approach for learning logic programs
od: Shamsuddin, Siti Mariam, i dr.
Izdano: (2008)

When deep learning meets inductive logic programming
od: Cao, Yushi
Izdano: (2025)

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

Computing with logic : logic programming with Prolog /
od: 401449 Maier, David
Izdano: (1988)