Image de couverture de livre

Generalisation Through Negation and Predicate Invention

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cerna, David M., Cropper, Andrew
Format:	Preprint
Publié:	2023
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient rule induction by ignoring pointless rules
par: Cropper, Andrew, et autres
Publié: (2025)

Predicate Invention for Bilevel Planning
par: Silver, Tom, et autres
Publié: (2022)

EXPIL: Explanatory Predicate Invention for Learning in Games
par: Sha, Jingyuan, et autres
Publié: (2024)

Honey, I shrunk the hypothesis space (through logical preprocessing)
par: Cropper, Andrew, et autres
Publié: (2025)

Symmetry breaking for inductive logic programming
par: Cropper, Andrew, et autres
Publié: (2025)

Scalable Knowledge Refactoring using Constrained Optimisation
par: Liu, Minghao, et autres
Publié: (2024)

Relational decomposition for program synthesis
par: Hocquette, Céline, et autres
Publié: (2024)

Inference of Abstraction for Grounded Predicate Logic
par: Kido, Hiroyuki
Publié: (2025)

Predicate Renaming via Large Language Models
par: Gentili, Elisabetta, et autres
Publié: (2025)

Autonomous Option Invention for Continual Hierarchical Reinforcement Learning and Planning
par: Nayyar, Rashmeet Kaur, et autres
Publié: (2024)

Robot Metacognition: Decision Making with Confidence for Tool Invention
par: Meera, Ajith Anil, et autres
Publié: (2025)

Consistent Query Answering for Existential Rules with Closed Predicates
par: Marconi, Lorenzo, et autres
Publié: (2024)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
par: Hinnerichs, Tilman, et autres
Publié: (2024)

Visual Theory of Mind Enables the Invention of Proto-Writing
par: Spiegel, Benjamin A., et autres
Publié: (2025)

Predicate-Conditional Conformalized Answer Sets for Knowledge Graph Embeddings
par: Zhu, Yuqicheng, et autres
Publié: (2025)

Learning Logical Rules using Minimum Message Length
par: Sharma, Ruben, et autres
Publié: (2025)

Learning logic programs by discovering higher-order abstractions
par: Hocquette, Céline, et autres
Publié: (2023)

Explaining Control Policies through Predicate Decision Diagrams
par: Chakraborty, Debraj, et autres
Publié: (2025)

Decision Predicate Graphs: Enhancing Interpretability in Tree Ensembles
par: Arrighi, Leonardo, et autres
Publié: (2024)

Inventorship in AI-Assisted Inventions: Designing an Experiment to Shape Case Law
par: Shchetynin, Yevhenii, et autres
Publié: (2026)

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
par: Liang, Yichao, et autres
Publié: (2024)

Jointly Learning Predicates and Actions Enables Zero-Shot Skill Composition
par: Quartey, Benedict, et autres
Publié: (2026)

Extending Decision Predicate Graphs for Comprehensive Explanation of Isolation Forest
par: Ceschin, Matteo, et autres
Publié: (2025)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
par: Zhu, Jie, et autres
Publié: (2025)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
par: Merler, Matteo, et autres
Publié: (2025)

Generalising Planning Environment Redesign
par: Pozanco, Alberto, et autres
Publié: (2024)

Towards Generalisable Imitation Learning Through Conditioned Transition Estimation and Online Behaviour Alignment
par: Gavenski, Nathan, et autres
Publié: (2026)

Aligning Generalisation Between Humans and Machines
par: Ilievski, Filip, et autres
Publié: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
par: Haufe, Cedric, et autres
Publié: (2026)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

DistJoin: A Decoupled Join Cardinality Estimator based on Adaptive Neural Predicate Modulation
par: Zhang, Kaixin, et autres
Publié: (2025)

From Pixels to Predicates Structuring urban perception with scene graphs
par: Liu, Yunlong, et autres
Publié: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
par: Jakubův, Jan, et autres
Publié: (2024)

Learning With Generalised Card Representations for "Magic: The Gathering"
par: Bertram, Timo, et autres
Publié: (2024)

Deep Learning for Generalised Planning with Background Knowledge
par: Chen, Dillon Z., et autres
Publié: (2024)

Predicate-Argument Structure Divergences in Chinese and English Parallel Sentences and their Impact on Language Transfer
par: Tripodi, Rocco, et autres
Publié: (2025)

ScaleDoc: Scaling LLM-based Predicates over Large Document Collections
par: Zhang, Hengrui, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
par: Soroka, Emi, et autres
Publié: (2024)