Výsledky vyhľadávania - "Computer Science - Logic in Computer Science"

AGM Belief Revision, Semantically

Autori: Faiq Miftakhul Falakh Sebastian Rudolph Kai Sauerwald

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

Predmety: 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)

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

Functorial Semantics for Relational Theories

Autori: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

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

Predmety: 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)

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

Fully evaluated left-sequential logics

Autori: Alban Ponse Daan J. C. Staudt

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

Predmety: 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)

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

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

Autori: John C. Kolesar Shan Ali Timos Antonopoulos a ďalší

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

Predmety: 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)

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

Revisiting Assumptions Ordering in CAR-Based Model Checking

Autori: Yibo Dong Yu Chen Jianwen Li a ďalší

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

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

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

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries

Autori: Nikolaos Tziavelis Wolfgang Gatterbauer Mirek Riedewald

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

Predmety: 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)

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

Cumulative-Time Signal Temporal Logic

Autori: Hongkai Chen Zeyu Zhang Shouvik Roy a ďalší

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

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

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

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

Autori: Noam Zilberstein

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

Predmety: 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)

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

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Autori: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

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

Predmety: 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)

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

Sound Value Iteration for Simple Stochastic Games

Autori: Azeem, Muqsit Kretinsky, Jan Weininger, Maximilian

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

Predmety: 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)

Prí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

Autori: Wei Mei Ming Li Yuanzeng Cheng a ďalší

Zdroj: Contemporary Mathematics. :6174-6202

Predmety: 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)

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

Regular Representations of Uniform TC 0

Autori: Lauri Hella Juha Kontinen Kerkko Luosto

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

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

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

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games

Autori: Guillermo Badia Daniel Găină Alexander Knapp a ďalší

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

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

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

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

Autori: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a ďalší

Prispievatelia: Bloch, Isabelle Bonnot, Enzo Gori, Pietro a ďalší

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

Predmety: [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 súboru: application/pdf

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

Syntactic Effectful Realizability in Higher-Order Logic

Autori: Cohen, Liron Grunfeld, Ariel Kirst, Dominik a ďalší

Prispievatelia: Cohen, Liron Grunfeld, Ariel Kirst, Dominik a ďalší

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

Predmety: 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 súboru: application/pdf

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

Group Order Logic

Autori: Dahan, Anatole

Prispievatelia: Dahan, Anatole

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Benedikt, M Adam-Day, S Laurrari, A

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

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

Prí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

Autori: Lindenhovius, Bert Zamdzhiev, Vladimir

Prispievatelia: Lindenhovius, Bert Zamdzhiev, Vladimir

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

Predmety: 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)

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

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

Autori: Pugh, Leoni Sterling, Jonathan DSpace at Cambridge pro (8.1)

Prispievatelia: 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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Carral, David Gerlach, Lukas Larroque, Lucas a ďalší

Prispievatelia: Carral, David Gerlach, Lukas Larroque, Lucas a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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