Search Results - "Computer Science - Logic in Computer Science"

AGM Belief Revision, Semantically

Authors: Faiq Miftakhul Falakh Sebastian Rudolph Kai Sauerwald

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2112.13557

Functorial Semantics for Relational Theories

Authors: Bonchi, Filippo Pavlovic, Dusko Sobocinski, Pawel

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/1711.08699

Fully evaluated left-sequential logics

Authors: Alban Ponse Daan J. C. Staudt

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2403.14576

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

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

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2504.01198

Revisiting Assumptions Ordering in CAR-Based Model Checking

Authors: Yibo Dong Yu Chen Jianwen Li et al.

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

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

Access URL: http://arxiv.org/abs/2411.00026

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries

Authors: Nikolaos Tziavelis Wolfgang Gatterbauer Mirek Riedewald

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2205.05649

Cumulative-Time Signal Temporal Logic

Authors: Hongkai Chen Zeyu Zhang Shouvik Roy et al.

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

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

Access URL: http://arxiv.org/abs/2504.10325

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

Authors: Noam Zilberstein

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2401.04594

A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Authors: Dawn Michaelson Gopalan Nadathur Eric Van Wyk

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2312.14374

Sound Value Iteration for Simple Stochastic Games

Authors: Azeem, Muqsit Kretinsky, Jan Weininger, Maximilian

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

Subject Terms: 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)

Access 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

Authors: Wei Mei Ming Li Yuanzeng Cheng et al.

Source: Contemporary Mathematics. :6174-6202

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2110.07722

Regular Representations of Uniform TC 0

Authors: Lauri Hella Juha Kontinen Kerkko Luosto

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

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

Access URL: http://arxiv.org/abs/2309.06926

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games

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

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

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

Access URL: http://arxiv.org/abs/2406.02094

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

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

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

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

Subject Terms: [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)

File Description: application/pdf

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

Syntactic Effectful Realizability in Higher-Order Logic

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

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

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

Subject Terms: 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)

File Description: application/pdf

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

Group Order Logic

Authors: Dahan, Anatole

Contributors: Dahan, Anatole

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

Subject Terms: 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]

File Description: application/pdf

Access 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

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

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

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

Access 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

Authors: Lindenhovius, Bert Zamdzhiev, Vladimir

Contributors: Lindenhovius, Bert Zamdzhiev, Vladimir

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

Subject Terms: 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)

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

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

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

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

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

Subject Terms: 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)

File Description: application/pdf

Access 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

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

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

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

Subject Terms: 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)

File Description: application/pdf

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