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

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

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

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

Sequent Calculi for Data-Aware Modal Logics

Autoři: Areces, Carlos Cassano, Valentin Dutto, Danae a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 430:8-25

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

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

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

BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING

Autoři: Schubert, Aleksy Urzyczyn, Paweł Zdanowski, Konrad

Zdroj: The Journal of Symbolic Logic. :1-22

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/2405.05670

DOMAINS, INFORMATION FRAMES, ROUGH SETS: AN EQUIVALENCE OF CATEGORIES

Autoři: Spreen, Dieter

Zdroj: Journal of Mathematical Sciences. 292:274-301

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, 06B35, 68Q55, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO), F.3.m

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

Closing Star-Free Closure

Autoři: Thomas Place Marc Zeitoun

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

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)

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

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

Autoři: Sidrane, Chelsea Tumova, Jana

Zdroj: 2025 American Control Conference (ACC). :1288-1293

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, FOS: Electrical engineering, electronic engineering, information engineering, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Logic in Computer Science (cs.LO)

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

Flexible constraint satisfiability and a problem in semigroup theory

Autoři: Marcel Jackson

Zdroj: International Journal of Algebra and Computation. 35:771-821

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Mathematics - Logic, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Computational Complexity, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), 0101 mathematics, Logic (math.LO), 68Q17, 20M07, 03C05, 08B99, 08C15

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

Thoughts on sub-Turing interactive computability

Autoři: Japaridze, Giorgi

Zdroj: Logical Investigations. 31:97-109

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03B47, 03B70, 03F03, F.4.1, F.1.2, F.1.3, Logic in Computer Science (cs.LO)

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

Practical Modelling with Bigraphs

Autoři: Blair Archibald Muffy Calder Michele Sevegnani

Zdroj: Formal Aspects of Computing. 37:1-36

Témata: Computer Science - Symbolic Computation, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)

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

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

Proof Assistants for Teaching: a Survey

Autoři: Tran Minh, Frédéric Gonnord, Laure Narboux, Julien a další

Přispěvatelé: Tran Minh, Frédéric Gonnord, Laure Narboux, Julien a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 419:1-27

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [SHS.EDU] Humanities and Social Sciences/Education, Computer Science - Human-Computer Interaction, [INFO] Computer Science [cs], Logic in Computer Science (cs.LO), Human-Computer Interaction (cs.HC)

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