Copertina

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Wirth, Claus-Peter
Natura:	Preprint
Pubblicazione:	2011
Soggetti:	Artificial Intelligence Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
di: Salhi, Yakoub
Pubblicazione: (2024)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
di: Han, Sangjun, et al.
Pubblicazione: (2025)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
di: Bennett, Michael Timothy
Pubblicazione: (2023)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements
di: Kampik, Timotheus, et al.
Pubblicazione: (2024)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
di: Bouke, Mohamed Aly
Pubblicazione: (2025)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
di: Meng, Qiaolan, et al.
Pubblicazione: (2025)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
di: Anders, Markus, et al.
Pubblicazione: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
di: Rashid, Adnan
Pubblicazione: (2026)

Operator-based semantics for choice programs: is choosing losing? (full version)
di: Heyninck, Jesse
Pubblicazione: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
di: Doherty, Patrick, et al.
Pubblicazione: (2023)

A Compositional Framework for On-the-Fly LTLf Synthesis
di: Li, Yongkang, et al.
Pubblicazione: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
di: de Lima, Tiago, et al.
Pubblicazione: (2024)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
di: Vitali, Fabio
Pubblicazione: (2025)

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Improving ASP-based ORS Schedules through Machine Learning Predictions
di: Bruno, Pierangela, et al.
Pubblicazione: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
di: Bhat, Vishak K, et al.
Pubblicazione: (2026)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
di: Itoh, Kei
Pubblicazione: (2025)

Constrained Assumption-Based Argumentation Frameworks
di: De Angelis, Emanuele, et al.
Pubblicazione: (2026)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
di: Spaans, Jeroen, et al.
Pubblicazione: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
di: Yoo, Harim
Pubblicazione: (2025)

Splitting Argumentation Frameworks with Collective Attacks and Supports
di: Berthold, Matti, et al.
Pubblicazione: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
di: Andrews, Uri, et al.
Pubblicazione: (2025)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
di: Guasch, Antoni, et al.
Pubblicazione: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
di: Xu, Jianfeng
Pubblicazione: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
di: Nicoletti, Stefano M., et al.
Pubblicazione: (2025)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
di: David, Victor, et al.
Pubblicazione: (2026)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
di: Bertini, Flavio, et al.
Pubblicazione: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
di: Collinson, Matthew, et al.
Pubblicazione: (2026)

On SCC-recursiveness in Quantitative Argumentation
di: Wang, Zongshun, et al.
Pubblicazione: (2020)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
di: Andrews, Uri, et al.
Pubblicazione: (2025)