Imagen de Portada

Satisfiability Modulo Theory Meets Inductive Logic Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Upreti, Nijesh, Belle, Vaishak
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Logic Tensor Network-Enhanced Generative Adversarial Network
por: Upreti, Nijesh, et al.
Publicado: (2026)

Neuro-symbolic Weak Supervision: Theory and Semantics
por: Upreti, Nijesh, et al.
Publicado: (2025)

An Algebraic Framework for Hierarchical Probabilistic Abstraction
por: Upreti, Nijesh, et al.
Publicado: (2025)

Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
por: Upreti, Nijesh, et al.
Publicado: (2025)

Counterfactual Explanations as Plans
por: Belle, Vaishak
Publicado: (2025)

Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models
por: Tang, Weizhi, et al.
Publicado: (2024)

ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
por: Tang, Weizhi, et al.
Publicado: (2024)

Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
por: Habib, Saimun, et al.
Publicado: (2026)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
por: Oh, Hyunseok, et al.
Publicado: (2026)

A Counterfactual Cause in Situation Calculus
por: Liu, Daxin, et al.
Publicado: (2025)

Practical Considerations for Agentic LLM Systems
por: Sypherd, Chris, et al.
Publicado: (2024)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
por: Molick, Sanderson, et al.
Publicado: (2026)

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
por: Cen, Yunuo, et al.
Publicado: (2026)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
por: Tang, Weizhi, et al.
Publicado: (2025)

Program Semantic Inequivalence Game with Large Language Models
por: Miceli-Barone, Antonio Valerio, et al.
Publicado: (2025)

LTLBench: Towards Benchmarks for Evaluating Temporal Reasoning in Large Language Models
por: Tang, Weizhi, et al.
Publicado: (2024)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
por: Lin, Yuanfei, et al.
Publicado: (2024)

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
por: Feldstein, Jonathan, et al.
Publicado: (2024)

Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning
por: Diallo, Alec F., et al.
Publicado: (2024)

Self-Supervised Inductive Logic Programming
por: Patsantzis, Stassa
Publicado: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
por: Li, Jinzhao, et al.
Publicado: (2025)

Differentiable Inductive Logic Programming for Fraud Detection
por: Wolfson, Boris, et al.
Publicado: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
por: Heck, Linus, et al.
Publicado: (2025)

Differentiable Inductive Logic Programming in High-Dimensional Space
por: Purgał, Stanisław J., et al.
Publicado: (2022)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
por: Tang, Weizhi, et al.
Publicado: (2025)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
por: Hillerstrom, Fieke, et al.
Publicado: (2024)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
por: Lee, Joohyung, et al.
Publicado: (2025)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
por: Bartholomew, Michael, et al.
Publicado: (2026)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
por: Rocha, Filipe Marinho, et al.
Publicado: (2024)

Inductive Learning for Possibilistic Logic Programs Under Stable Models
por: Hu, Hongbo, et al.
Publicado: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
por: Meli, Daniele, et al.
Publicado: (2024)

Integer Linear Programming Preprocessing for Maximum Satisfiability
por: Zhang, Jialu, et al.
Publicado: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
por: Li, Jinzhao, et al.
Publicado: (2023)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
por: Mendez-Lucero, Miguel Angel, et al.
Publicado: (2024)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
por: Johnson, Blair, et al.
Publicado: (2025)

Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information
por: Miceli-Barone, Antonio Valerio, et al.
Publicado: (2026)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
por: Aljaafari, Nura, et al.
Publicado: (2026)

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach
por: Fossemò, Daniele, et al.
Publicado: (2026)

Logical Reasoning with Relation Network for Inductive Knowledge Graph Completion
por: Zhang, Qinggang, et al.
Publicado: (2024)

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
por: Gandarela, João Pedro, et al.
Publicado: (2024)