Výsledky vyhledávání - [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Towards a High Level Linter for Data Science

Autoři: Greta Dolcetti Agostino Cortesi Caterina Urban a další

Přispěvatelé: Greta Dolcetti Agostino Cortesi Caterina Urban a další

Zdroj: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains. :18-25

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract Interpretation, Static Analysis, Data Science

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04739441v1/document
https://inria.hal.science/hal-04739441v1
https://doi.org/10.1145/3689609.3689996
https://hdl.handle.net/10278/5102049
https://doi.org/10.1145/3689609.3689996

Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case

Autoři: Forraz, Hugo Petremand, Shems Soyez-Martin, Claire a další

Přispěvatelé: Forraz, Hugo Petremand, Shems Soyez-Martin, Claire a další

Zdroj: 2025 25th International Conference on Control Systems and Computer Science (CSCS). :568-571

Témata: [INFO.INFO-SY] Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO] Computer Science [cs]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05185254v1

A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free

Autoři: Cohen, Cyril Sakaguchi, Kazuhiko

Přispěvatelé: Cohen, Cyril Sakaguchi, Kazuhiko

Zdroj: Proceedings of the ACM on Programming Languages. 9:1-29

Témata: FOS: Computer and information sciences, Stable sort, Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Mergesort, Interactive theorem proving, Data Structures and Algorithms, Logic in Computer Science, Programming Languages, Data Structures and Algorithms (cs.DS), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2403.08173
https://hal.science/hal-05111866v2
https://hal.science/hal-05111866v2/document
https://doi.org/10.1145/3747505

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

Autoři: Cyril Cohen Enzo Crance Assia Mahboubi a další

Přispěvatelé: Cyril Cohen Enzo Crance Assia Mahboubi a další

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

Témata: Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Proof transfer, Proof assistants, Univalence, Representation independence

Popis souboru: application/pdf

Session Types for the Concurrent Composition of Interactive Differential Privacy

Autoři: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Přispěvatelé: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Zdroj: 2025 IEEE 38th Computer Security Foundations Symposium (CSF). :113-126

Témata: Differential privacy, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Session types, Operational semantics, Probabilistic languages, Pi-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-04719333v3

Graphical Conditions for the Existence, Unicity and Number of Regular Models

Autoři: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain a další

Přispěvatelé: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 416:175-187

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, semantics of negation, Datalog, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Computer Science - Artificial Intelligence, Boolean network, feedback vertex set, Logic in Computer Science (cs.LO), canonical model, logic programming, Artificial Intelligence (cs.AI), three-valued model, abstract argumentation, model counting, Computer Science - Discrete Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2502.09220
https://amu.hal.science/hal-04708861v1/document
https://doi.org/10.4204/eptcs.416.16
https://amu.hal.science/hal-04708861v1

Observational Equality Meets CIC

Autoři: Pujet, Loïc Leray, Yann Tabareau, Nicolas

Přispěvatelé: Pujet, Loïc Leray, Yann Tabareau, Nicolas

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

Témata: Observational equality, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Type theory, Proof assistants, Rewriting rules, Inductive types

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05085635v1/document
https://hal.science/hal-05085635v1
https://doi.org/10.1145/3719342

Intrinsically Correct Sorting in Cubical Agda

Autoři: Cass Alexandru Vikraman Choudhury Jurriaan Rot a další

Přispěvatelé: Cass Alexandru Vikraman Choudhury Jurriaan Rot a další

Zdroj: Stark, K. (ed.), CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs Denver CO USA January 20-21, 2025, pp. 34-49

Témata: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Software Science, Mathematics - Combinatorics, F.3.2, Mathematics - Category Theory, F.3.1, [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2412.08362
https://hdl.handle.net/2066/316735
https://repository.ubn.ru.nl//bitstream/handle/2066/316735/316735.pdf

Detecting Misleading Information with LLMs and Explainable ASP

Autoři: Nguyen, Quang-Anh Pham, Thu-Trang Vuong, Thi-Hai-Yen a další

Přispěvatelé: Nguyen, Quang-Anh Pham, Thu-Trang Vuong, Thi-Hai-Yen a další

Zdroj: Proceedings of the 17th International Conference on Agents and Artificial Intelligence. :1327-1334

Témata: LLM, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], ASP, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], misleading information detection, explainability

Popis souboru: application/pdf

Graphical Analysis of Abstract Argumentation Frameworks via Boolean Networks

Autoři: Trinh, Van-Giang Benhamou, Belaid Risch, Vincent

Přispěvatelé: Trinh, Van-Giang Benhamou, Belaid Risch, Vincent

Zdroj: Proceedings of the 17th International Conference on Agents and Artificial Intelligence. :745-756

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Extension-Based Semantics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract Argumentation Framework, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], Graphical Analysis, Boolean Network

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04917990v1/document
https://inria.hal.science/hal-04917990v1
https://doi.org/10.5220/0013346400003890

Teaching Divisibility and Binomials with Coq

Autoři: Boldo, Sylvie Clément, François Hamelin, David a další

Přispěvatelé: Boldo, Sylvie Clément, François Hamelin, David a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 419:124-139

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Arithmetic, 4. Education, Divisibility, [SHS.EDU] Humanities and Social Sciences/Education, Feuille d'exercices, Coefficient binomial, Logic in Computer Science (cs.LO), Divisibilité, Binomial coefficient, Coq, Arithmétique, Worksheet

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2404.12676
https://inria.hal.science/hal-04550762v2
https://inria.hal.science/hal-04550762v2/document
https://hal.science/hal-04725586v3
https://hal.science/hal-04725586v3/document
https://doi.org/10.4204/eptcs.419.8
https://hal.science/hal-04725586v2
https://hal.science/hal-04725586v2/document

Distributed controller synthesis for deadlock avoidance

Autoři: Gimbert, Hugo Mascle, Corto Muscholl, Anca a další

Přispěvatelé: Gimbert, Hugo Mascle, Corto Muscholl, Anca a další

Zdroj: Logical Methods in Computer Science. 21

Témata: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, lock synchronisation, deadlock avoidance, concurrent systems, 01 natural sciences, Distributed Synthesis, Logic in Computer Science (cs.LO), Deadlock Avoidance, Lock Synchronisation, Concurrency, 0202 electrical engineering, electronic engineering, information engineering, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2204.12409
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.125
https://hal.science/hal-03808894v1
https://hal.science/hal-03808894v1/document
https://doi.org/10.4230/lipics.icalp.2022.125

A Curry-Howard Correspondence for Linear, Reversible Computation

Autoři: Chardonnet, Kostia Saurin, Alexis Valiron, Benoît a další

Přispěvatelé: Chardonnet, Kostia Saurin, Alexis Valiron, Benoît a další

Zdroj: Logical Methods in Computer Science. 21

Témata: FOS: Computer and information sciences, Theory of computation → Linear logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic in Computer Science, Curry-Howard, 0102 computer and information sciences, 02 engineering and technology, Linear Logic, 01 natural sciences, Logic in Computer Science (cs.LO), Reversible Computation, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Equational logic and rewriting, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2302.11887
https://hal.science/hal-04308283v1/document
https://doi.org/10.4230/lipics.csl.2023.13
https://hal.science/hal-04308283v1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.13

Designing a Safe Forward Chaining Tactic Using Productive Proofs

Autoři: Kaustuv Chaudhuri Arunava Gantait Dale Miller a další

Přispěvatelé: Kaustuv Chaudhuri Arunava Gantait Dale Miller a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783032060846

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-05157939v1

Gröbner Bases for Boolean Function Minimization

Autoři: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Přispěvatelé: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Zdroj: Mathematics in Computer Science. 19

Témata: Multi-level Logic Optimization, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Boolean Function Synthesis, Gröbner Bases, Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-04315477v1

Weakly-sparse and strongly flip-flat classes of graphs are uniformly almost-wide

Autoři: Ghasemi, Fatemeh Grange, Julien Kanté, Mamadou Moustapha a další

Přispěvatelé: Ghasemi, Fatemeh Grange, Julien Kanté, Mamadou Moustapha a další

Témata: [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Almost-wide, Flip-flatness

Přístupová URL adresa: https://hal.science/hal-05332862v1

CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS

Autoři: DAGUR ASGEIRSSON RICCARDO BRASCA NIKOLAS KUHN a další

Přispěvatelé: DAGUR ASGEIRSSON RICCARDO BRASCA NIKOLAS KUHN a další

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

Témata: FOS: Computer and information sciences, MSC 18F10, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formalization of Mathematics, Formal Languages and Automata Theory (cs.FL), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Mathematics - Category Theory, Computer Science - Formal Languages and Automata Theory, [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT], 01 natural sciences, Proof Assistant Lean, Logic in Computer Science (cs.LO), [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], FOS: Mathematics, Category Theory (math.CT), Condensed Mathematics, 0101 mathematics, Grothendieck Topos, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], Category theory, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2407.12840
https://hal.science/hal-04633614v2
https://hal.science/hal-04633614v2/document
https://doi.org/10.1017/jsl.2024.69

Combining fixpoint and differentiation theory

Autoři: Galal, Zeinab Pacaud Lemay, Jean-Simon

Přispěvatelé: Galal, Zeinab Pacaud Lemay, Jean-Simon

Zdroj: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. :1-14

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), [MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT], Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2407.12691
https://inria.hal.science/hal-04834931v1/document
https://doi.org/10.1145/3661814.3662108
https://inria.hal.science/hal-04834931v1

Queries With Exact Truth Values in Paraconsistent Description Logics

Autoři: Bienvenu, Meghyn Bourgaux, Camille Kozhemiachenko, Daniil

Přispěvatelé: Bienvenu, Meghyn Bourgaux, Camille Kozhemiachenko, Daniil

Zdroj: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning. :145-155

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic in Computer Science, Logic, Databases (cs.DB), Logic in Computer Science (cs.LO), Databases, Artificial Intelligence (cs.AI), Artificial Intelligence, FOS: Mathematics, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], Logic (math.LO)

Popis souboru: application/pdf

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

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

Autoři: Bienvenu, Meghyn Bourgaux, Camille Jean, Robin

Přispěvatelé: Bienvenu, Meghyn Bourgaux, Camille Jean, Robin

Zdroj: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning. :167-177

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Databases (cs.DB), Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

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