Suchergebnisse - "Computer Science - Logic in Computer Science"

AGM Belief Revision, Semantically

Autoren: Faiq Miftakhul Falakh Sebastian Rudolph Kai Sauerwald

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2112.13557

Functorial Semantics for Relational Theories

Autoren: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/1711.08699

Fully evaluated left-sequential logics

Autoren: Alban Ponse Daan J. C. Staudt

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2403.14576

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

Autoren: John C. Kolesar Shan Ali Timos Antonopoulos et al.

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2504.01198

Revisiting Assumptions Ordering in CAR-Based Model Checking

Autoren: Yibo Dong Yu Chen Jianwen Li et al.

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

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

Zugangs-URL: http://arxiv.org/abs/2411.00026

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries

Autoren: Nikolaos Tziavelis Wolfgang Gatterbauer Mirek Riedewald

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2205.05649

Cumulative-Time Signal Temporal Logic

Autoren: Hongkai Chen Zeyu Zhang Shouvik Roy et al.

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

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

Zugangs-URL: http://arxiv.org/abs/2504.10325

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

Autoren: Noam Zilberstein

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Autoren: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2312.14374

Sound Value Iteration for Simple Stochastic Games

Autoren: Azeem, Muqsit Kretinsky, Jan Weininger, Maximilian

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

Schlagwörter: 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)

Zugangs-URL: 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

Autoren: Wei Mei Ming Li Yuanzeng Cheng et al.

Quelle: Contemporary Mathematics. :6174-6202

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2110.07722

Regular Representations of Uniform TC 0

Autoren: Lauri Hella Juha Kontinen Kerkko Luosto

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

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

Zugangs-URL: http://arxiv.org/abs/2309.06926

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games

Autoren: Guillermo Badia Daniel Găină Alexander Knapp et al.

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

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

Zugangs-URL: http://arxiv.org/abs/2406.02094

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

Autoren: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

Weitere Verfasser: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

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

Schlagwörter: [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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

Syntactic Effectful Realizability in Higher-Order Logic

Autoren: Cohen, Liron Grunfeld, Ariel Kirst, Dominik et al.

Weitere Verfasser: Cohen, Liron Grunfeld, Ariel Kirst, Dominik et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2506.09458
https://hal.science/hal-05106028v1

Group Order Logic

Autoren: Dahan, Anatole

Weitere Verfasser: Dahan, Anatole

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

Schlagwörter: 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]

Dateibeschreibung: application/pdf

Zugangs-URL: 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

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

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

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

Zugangs-URL: 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

Autoren: Lindenhovius, Bert Zamdzhiev, Vladimir

Weitere Verfasser: Lindenhovius, Bert Zamdzhiev, Vladimir

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

Schlagwörter: 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)

Zugangs-URL: http://arxiv.org/abs/2505.06069
https://hal.science/hal-05209412v1

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

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

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

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Autoren: Carral, David Gerlach, Lukas Larroque, Lucas et al.

Weitere Verfasser: Carral, David Gerlach, Lukas Larroque, Lucas et al.

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

Schlagwörter: 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)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2505.16551
https://hal.science/hal-05240721v1
https://hal.science/hal-05240721v1/document
https://doi.org/10.1145/3725246