Oruga: An Avatar of Representational Systems Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Raggi, Daniel, Stapleton, Gem, Jamnik, Mateja, Stockdill, Aaron, Garcia, Grecia Garcia, Cheng, Peter C-H.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science 68T30, 68T27, 03B35 I.2.4; I.2.3; F.4.1; F.4.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
di: Raggi, Daniel, et al.
Pubblicazione: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

Which are the True Defeasible Logics?
di: Maher, Michael J.
Pubblicazione: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, et al.
Pubblicazione: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
di: de Mas, Jordina Francès, et al.
Pubblicazione: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
di: Sochański, Michał, et al.
Pubblicazione: (2025)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

Faithful Logic Embeddings in HOL -- Deep and Shallow
di: Benzmüller, Christoph
Pubblicazione: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
di: Benzmüller, Christoph, et al.
Pubblicazione: (2026)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
di: Echenim, Mnacho, et al.
Pubblicazione: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
di: Santacana, Andreu Ballus
Pubblicazione: (2025)

Varieties of Distributed Knowledge
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

Topological Logics with Connectedness over Euclidean Spaces
di: Kontchakov, Roman, et al.
Pubblicazione: (2011)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Normative Conditional Reasoning as a Fragment of HOL
di: Parent, Xavier, et al.
Pubblicazione: (2023)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
di: Firsching, Moritz, et al.
Pubblicazione: (2026)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

A convergence law for continuous logic and continuous structures with finite domains
di: Koponen, Vera
Pubblicazione: (2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
di: Ceragioli, Leonardo, et al.
Pubblicazione: (2025)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
di: Kesseli, Pascal, et al.
Pubblicazione: (2025)

Reasoning and Planning with Dynamically Changing Norms
di: Olson, Taylor, et al.
Pubblicazione: (2026)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
di: Linhares, Alexandre
Pubblicazione: (2026)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Complete Robust Hybrid Systems Reachability
di: Wafa, Noah Abou El, et al.
Pubblicazione: (2026)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Metric Equational Theories
di: Mardare, Radu, et al.
Pubblicazione: (2025)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

Implementing Dependent Type Theory Inhabitation and Unification
di: Norman, Chase, et al.
Pubblicazione: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
di: Wright, Craig Steven
Pubblicazione: (2025)

The Hamiltonian Syllogistic
di: Pratt-Hartmann, Ian
Pubblicazione: (2010)