Buchumschlag

Scalable Knowledge Refactoring using Constrained Optimisation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Liu, Minghao, Cerna, David M., Gouveia, Filipe, Cropper, Andrew
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
von: Cardellini, Matteo, et al.
Veröffentlicht: (2024)

Common Knowledge Always, Forever
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

Honey, I shrunk the hypothesis space (through logical preprocessing)
von: Cropper, Andrew, et al.
Veröffentlicht: (2025)

Constrained Assumption-Based Argumentation Frameworks
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2026)

Knowledge and Common Knowledge of Strategies
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2022)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Permissible Knowledge Pooling
von: Dong, Huimin
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

On the Logical Content of Knowledge Bases
von: Gheorghiu, Alexader V., et al.
Veröffentlicht: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Representing Pedagogic Content Knowledge Through Rough Sets
von: Mani, A
Veröffentlicht: (2024)

Probabilistic and Causal Satisfiability: Constraining the Model
von: Bläser, Markus, et al.
Veröffentlicht: (2025)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
von: Patil, Jaikrishna Manojkumar, et al.
Veröffentlicht: (2025)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
von: Amendola, Giovanni, et al.
Veröffentlicht: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
von: Zese, Riccardo, et al.
Veröffentlicht: (2023)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
von: Vitali, Fabio
Veröffentlicht: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
von: Majkic, Zoran
Veröffentlicht: (2026)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
von: Shahbazi, Alireza, et al.
Veröffentlicht: (2024)

A Note On Square-free Sequences and Anti-unification Type
von: Cerna, David M.
Veröffentlicht: (2024)

Schematic Unification
von: Cerna, David M.
Veröffentlicht: (2023)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
von: Lu, Jialin, et al.
Veröffentlicht: (2026)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
von: Sun, Qiang, et al.
Veröffentlicht: (2025)

Commonsense Ontology Micropatterns
von: Eells, Andrew, et al.
Veröffentlicht: (2024)

Defeasible Conditionals using Answer Set Programming
von: Dennison, Racquel, et al.
Veröffentlicht: (2026)

A Theory of Formalisms for Representing Knowledge
von: Zhang, Heng, et al.
Veröffentlicht: (2024)

Enriching Ontologies with Disjointness Axioms using Large Language Models
von: Crum, Elias, et al.
Veröffentlicht: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
von: Shmuel, Ido, et al.
Veröffentlicht: (2026)