Výsledky vyhledávání - "Computer Science - Logic in Computer Science"

AGM Belief Revision, Semantically

Autoři: Faiq Miftakhul Falakh Sebastian Rudolph Kai Sauerwald

Zdroj: ACM Transactions on Computational Logic. 26:1-54

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2112.13557

Functorial Semantics for Relational Theories

Autoři: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

Zdroj: Polynesian Journal of Mathematics. 2:1-56

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/1711.08699

Fully evaluated left-sequential logics

Autoři: Alban Ponse Daan J. C. Staudt

Zdroj: Journal of Applied Non-Classical Logics. :1-53

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03C90, F.3.2, F.3.1, 16. Peace & justice, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2403.14576

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

Autoři: John C. Kolesar Shan Ali Timos Antonopoulos a další

Zdroj: Proceedings of the ACM on Programming Languages. 9:357-385

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2504.01198

Revisiting Assumptions Ordering in CAR-Based Model Checking

Autoři: Yibo Dong Yu Chen Jianwen Li a další

Zdroj: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2411.00026

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries

Autoři: Nikolaos Tziavelis Wolfgang Gatterbauer Mirek Riedewald

Zdroj: ACM Transactions on Database Systems. 51:1-47

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Databases, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Databases (cs.DB), Data Structures and Algorithms (cs.DS), 02 engineering and technology, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2205.05649

Cumulative-Time Signal Temporal Logic

Autoři: Hongkai Chen Zeyu Zhang Shouvik Roy a další

Zdroj: ACM Transactions on Embedded Computing Systems. 24:1-23

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2504.10325

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

Autoři: Noam Zilberstein

Zdroj: ACM Transactions on Programming Languages and Systems. 47:1-71

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Autoři: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

Zdroj: ACM Transactions on Programming Languages and Systems. 47:1-56

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2312.14374

Sound Value Iteration for Simple Stochastic Games

Autoři: Azeem, Muqsit Kretinsky, Jan Weininger, Maximilian

Zdroj: Electronic Proceedings in Theoretical Computer Science. 428:29-44

Témata: Computer Science and Game Theory, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computer Science and Game Theory, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Multiagent Systems, Logic in Computer Science (cs.LO), Computer Science and Game Theory (cs.GT), Multiagent Systems (cs.MA)

Přístupová URL adresa: http://arxiv.org/abs/2509.14112
http://arxiv.org/abs/2411.11549

The Sigma-max System Induced from Randomness & Fuzziness and Its Application in Time Series Prediction

Autoři: Wei Mei Ming Li Yuanzeng Cheng a další

Zdroj: Contemporary Mathematics. :6174-6202

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Probability (math.PR), FOS: Mathematics, 03B48, 03B52, 60A05, 68T07, Mathematics - Probability, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2110.07722

Regular Representations of Uniform TC 0

Autoři: Lauri Hella Juha Kontinen Kerkko Luosto

Zdroj: ACM Transactions on Computational Logic. 26:1-46

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2309.06926

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games

Autoři: Guillermo Badia Daniel Găină Alexander Knapp a další

Zdroj: ACM Transactions on Computational Logic. 26:1-25

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2406.02094

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images

Autoři: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a další

Přispěvatelé: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a další

Zdroj: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SDV.IB] Life Sciences [q-bio]/Bioengineering, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, segmentation, Mathematics - Logic, fuzzy semantics, fiber bundles, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), FOS: Mathematics, spatial reasoning, recognition, Logic (math.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

Syntactic Effectful Realizability in Higher-Order Logic

Autoři: Cohen, Liron Grunfeld, Ariel Kirst, Dominik a další

Přispěvatelé: Cohen, Liron Grunfeld, Ariel Kirst, Dominik a další

Zdroj: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :16-30

Témata: Realizability, FOS: Computer and information sciences, Monads, Computer Science - Logic in Computer Science, Effects, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Syntactic translation, Higher-order logic, Type system, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2506.09458
https://hal.science/hal-05106028v1

Group Order Logic

Autoři: Dahan, Anatole

Přispěvatelé: Dahan, Anatole

Zdroj: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :236-248

Témata: Schreier-Sims algorithm, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic for P, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Fixed-point logic, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], G.2.2, Group Theory (math.GR), Computational Complexity (cs.CC), Logic in Computer Science (cs.LO), 68Q19, Computational Group Theory, Computer Science - Computational Complexity, F.4.1, Computer Science - Data Structures and Algorithms, FOS: Mathematics, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Data Structures and Algorithms (cs.DS), Descriptive Complexity, Mathematics - Group Theory, Finite Model Theory, [MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.15359
https://hal.science/hal-05083596v1
https://doi.org/10.48550/arxiv.2505.15359
https://hal.science/hal-05083596v1/document

Convergence Laws for Extensions of First-Order Logic with Averaging

Autoři: Benedikt, M Adam-Day, S Laurrari, A

Zdroj: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :818-830

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2504.14270
https://ora.ox.ac.uk/objects/uuid:a873d455-4130-497f-9ba3-dd4d0d31a2fd

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory

Autoři: Lindenhovius, Bert Zamdzhiev, Vladimir

Přispěvatelé: Lindenhovius, Bert Zamdzhiev, Vladimir

Zdroj: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :870-883

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Quantum Physics, FOS: Physical sciences, [MATH] Mathematics [math], [INFO] Computer Science [cs], Quantum Physics (quant-ph), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2505.06069
https://hal.science/hal-05209412v1

When is the partial map classifier a Sierpiński cone?

Autoři: Pugh, Leoni Sterling, Jonathan DSpace at Cambridge pro (8.1)

Přispěvatelé: Pugh, Leoni Sterling, Jonathan DSpace at Cambridge pro (8.1)

Zdroj: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :718-731

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2504.06789
https://www.repository.cam.ac.uk/handle/1810/382614
https://doi.org/10.17863/cam.117346

Restricted Chase Termination: You Want More than Fairness

Autoři: Carral, David Gerlach, Lukas Larroque, Lucas a další

Přispěvatelé: Carral, David Gerlach, Lukas Larroque, Lucas a další

Zdroj: Proceedings of the ACM on Management of Data. 3:1-17

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Databases, Databases (cs.DB), Chase, [INFO] Computer Science [cs], Tuple Generating Dependencies, Existential Rules, Undecidability, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.16551
https://hal.science/hal-05240721v1
https://hal.science/hal-05240721v1/document
https://doi.org/10.1145/3725246