Image de couverture de livre

Knowledge on a Budget

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Majer, Ondrej, Manoorkar, Krishna, Poiger, Wolfgang, Sedlár, Igor
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
par: Kozhemiachenko, Daniil, et autres
Publié: (2026)

Completeness of Finitely Weighted Kleene Algebra With Tests
par: Sedlár, Igor
Publié: (2024)

Query Answering in Lattice-based Description Logic
par: Manoorkar, Krishna, et autres
Publié: (2024)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

Questions as cognitive filters
par: Conradie, Willem, et autres
Publié: (2025)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

Obligations and permissions on selfextensional logics
par: De Domenico, Andrea, et autres
Publié: (2024)

Prime Factorization in Models of PV$_1$
par: Ježil, Ondřej
Publié: (2025)

Parallelism and Adaptivity in Student-Teacher Witnessing
par: Ježil, Ondřej, et autres
Publié: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
par: Tóth, Jan, et autres
Publié: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Modal reduction principles: a parametric shift to graphs
par: Conradie, Willem, et autres
Publié: (2024)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
par: Huvar, Ondřej, et autres
Publié: (2026)

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

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
par: Bilkova, Marta, et autres
Publié: (2024)

Speedability of computably approximable reals and their approximations
par: Barmpalias, George, et autres
Publié: (2026)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
par: Habermehl, Peter, et autres
Publié: (2024)

Topological Semantics for Common Inductive Knowledge
par: Namachivayam, Siddharth
Publié: (2026)

A Conjecture for ATP Research
par: Bibel, Wolfgang
Publié: (2024)

Qualitative reasoning in a two-layered framework
par: Bilkova, Marta, et autres
Publié: (2022)

Synergistic Knowledge
par: Cachin, Christian, et autres
Publié: (2024)

Game semantics for lattice-based modal μ-calculus
par: Ding, Yiwen, et autres
Publié: (2023)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2026)

Group Knowledge of Hypothetical Values
par: Baltag, Alexandru, et autres
Publié: (2025)

Logic of (Common or Distributed) Knowledge
par: Shi, Chenwei
Publié: (2025)

Common Knowledge, Sailboats, and Publicity
par: Bozdag, Sena, et autres
Publié: (2025)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
par: Kubono, Yudai, et autres
Publié: (2025)

Uniform Agent-interpolation of Distributed Knowledge
par: Su, Youan
Publié: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

MCAC: A Model Counting Algorithm for Exact Computation of Error Metrics of Approximate Circuits
par: Ramprasath, S, et autres
Publié: (2024)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

Minimal Model Counting via Knowledge Compilation
par: Kabir, Mohimenul
Publié: (2024)

Knowledge Reasoning Involving Four Types of Syllogisms
par: Wei, Long, et autres
Publié: (2025)