Imagen de Portada

ABD: Default Exception Abduction in Finite First Order Worlds

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Batzoglou, Serafim
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
por: Bavikadi, Divyagna, et al.
Publicado: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
por: Xu, Weidi, et al.
Publicado: (2023)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
por: Wang, Maijunxian
Publicado: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2026)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
por: Falomir, Zoe
Publicado: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
por: Mishra, Suyash
Publicado: (2026)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
por: Ludäscher, Bertram, et al.
Publicado: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
por: Deng, Zihao, et al.
Publicado: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
por: Un, ChongIn, et al.
Publicado: (2025)

Formal Verification of Neural Certificates Done Dynamically
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
por: Ai, Lun, et al.
Publicado: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
por: Sartor, Gabriele, et al.
Publicado: (2024)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
por: Sonna, Belona, et al.
Publicado: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
por: Garmaev, Sergei, et al.
Publicado: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
por: Rothenfusser, Kaspar
Publicado: (2025)

Probabilistic Active Goal Recognition
por: Zhang, Chenyuan, et al.
Publicado: (2025)

Two Constraint Compilation Methods for Lifted Planning
por: Mantenoglou, Periklis, et al.
Publicado: (2025)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
por: Bednarek, Jakub, et al.
Publicado: (2024)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
por: Aso-Mollar, Ángel, et al.
Publicado: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
por: Ardon, Leo, et al.
Publicado: (2024)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
por: Kim, Yejin, et al.
Publicado: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
por: Yaoxian, Song, et al.
Publicado: (2023)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
por: Bhandari, Keshav, et al.
Publicado: (2025)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
por: Vinanzi, Samuele, et al.
Publicado: (2022)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
por: Kaliakatsos-Papakostas, Maximos, et al.
Publicado: (2025)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
por: Wang, Yao, et al.
Publicado: (2026)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
por: Gao, Silin, et al.
Publicado: (2025)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
por: Kovács, Zoltán, et al.
Publicado: (2024)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
por: Buali, Mahdi, et al.
Publicado: (2024)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
por: Aswal, Darpan, et al.
Publicado: (2025)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
por: Ariño-Morera, Belén, et al.
Publicado: (2024)

Large Language Models as Mirrors of Societal Moral Standards
por: Papadopoulou, Evi, et al.
Publicado: (2024)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
por: Meijer, Mijntje, et al.
Publicado: (2024)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
por: Garrido-Merchán, Eduardo C., et al.
Publicado: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
por: Sinha, Sania, et al.
Publicado: (2025)

EFO: the Emotion Frame Ontology
por: De Giorgis, Stefano, et al.
Publicado: (2024)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
por: Lane, Rupert, et al.
Publicado: (2025)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
por: Wu, Siyu, et al.
Publicado: (2024)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
por: Bui, Tuan, et al.
Publicado: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
por: Shalyt, Michael, et al.
Publicado: (2025)