Copertina

Knowledge on a Budget

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Majer, Ondrej, Manoorkar, Krishna, Poiger, Wolfgang, Sedlár, Igor
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

Query Answering in Lattice-based Description Logic
di: Manoorkar, Krishna, et al.
Pubblicazione: (2024)

Many-valued coalgebraic logic over semi-primal varieties
di: Kurz, Alexander, et al.
Pubblicazione: (2023)

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

Complexity of Łukasiewicz Modal Probabilistic Logics
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Questions as cognitive filters
di: Conradie, Willem, et al.
Pubblicazione: (2025)

Defeasible Reasoning on Concepts
di: Ding, Yiwen, et al.
Pubblicazione: (2024)

Obligations and permissions on selfextensional logics
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
di: Ježil, Ondřej, et al.
Pubblicazione: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
di: Meng, Qiaolan, et al.
Pubblicazione: (2026)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
di: Tóth, Jan, et al.
Pubblicazione: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Modal reduction principles: a parametric shift to graphs
di: Conradie, Willem, et al.
Pubblicazione: (2024)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Early Validation of High-level Requirements on Cyber-Physical Systems
di: Vašíček, Ondřej
Pubblicazione: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
di: Bilkova, Marta, et al.
Pubblicazione: (2024)

Speedability of computably approximable reals and their approximations
di: Barmpalias, George, et al.
Pubblicazione: (2026)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
di: Habermehl, Peter, et al.
Pubblicazione: (2024)

Topological Semantics for Common Inductive Knowledge
di: Namachivayam, Siddharth
Pubblicazione: (2026)

A Conjecture for ATP Research
di: Bibel, Wolfgang
Pubblicazione: (2024)

Qualitative reasoning in a two-layered framework
di: Bilkova, Marta, et al.
Pubblicazione: (2022)

Synergistic Knowledge
di: Cachin, Christian, et al.
Pubblicazione: (2024)

Game semantics for lattice-based modal μ-calculus
di: Ding, Yiwen, et al.
Pubblicazione: (2023)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
di: Vašíček, Ondřej, et al.
Pubblicazione: (2026)

Group Knowledge of Hypothetical Values
di: Baltag, Alexandru, et al.
Pubblicazione: (2025)

Logic of (Common or Distributed) Knowledge
di: Shi, Chenwei
Pubblicazione: (2025)

Common Knowledge, Sailboats, and Publicity
di: Bozdag, Sena, et al.
Pubblicazione: (2025)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
di: Kubono, Yudai, et al.
Pubblicazione: (2025)

Uniform Agent-interpolation of Distributed Knowledge
di: Su, Youan
Pubblicazione: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
di: Ramprasath, S, et al.
Pubblicazione: (2024)

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

Knowledge Reasoning Involving Four Types of Syllogisms
di: Wei, Long, et al.
Pubblicazione: (2025)