Suchergebnisse - [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]

Towards a High Level Linter for Data Science

Autoren: Greta Dolcetti Agostino Cortesi Caterina Urban et al.

Weitere Verfasser: Greta Dolcetti Agostino Cortesi Caterina Urban et al.

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

Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract Interpretation, Static Analysis, Data Science

Dateibeschreibung: application/pdf

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

Autoren: Forraz, Hugo Petremand, Shems Soyez-Martin, Claire et al.

Weitere Verfasser: Forraz, Hugo Petremand, Shems Soyez-Martin, Claire et al.

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-05185254v1

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

Autoren: Cohen, Cyril Sakaguchi, Kazuhiko

Weitere Verfasser: Cohen, Cyril Sakaguchi, Kazuhiko

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

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

Dateibeschreibung: application/pdf

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

Autoren: Cyril Cohen Enzo Crance Assia Mahboubi et al.

Weitere Verfasser: Cyril Cohen Enzo Crance Assia Mahboubi et al.

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

Schlagwörter: Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Proof transfer, Proof assistants, Univalence, Representation independence

Dateibeschreibung: application/pdf

Session Types for the Concurrent Composition of Interactive Differential Privacy

Autoren: Sannier, Victor Baillot, Patrick Gaboardi, Marco

Weitere Verfasser: Sannier, Victor Baillot, Patrick Gaboardi, Marco

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04719333v3

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

Autoren: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

Weitere Verfasser: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

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

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

Dateibeschreibung: application/pdf

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

Autoren: Pujet, Loïc Leray, Yann Tabareau, Nicolas

Weitere Verfasser: Pujet, Loïc Leray, Yann Tabareau, Nicolas

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-05085635v1/document
https://hal.science/hal-05085635v1
https://doi.org/10.1145/3719342

Intrinsically Correct Sorting in Cubical Agda

Autoren: Cass Alexandru Vikraman Choudhury Jurriaan Rot et al.

Weitere Verfasser: Cass Alexandru Vikraman Choudhury Jurriaan Rot et al.

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

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

Dateibeschreibung: application/pdf

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

Autoren: Nguyen, Quang-Anh Pham, Thu-Trang Vuong, Thi-Hai-Yen et al.

Weitere Verfasser: Nguyen, Quang-Anh Pham, Thu-Trang Vuong, Thi-Hai-Yen et al.

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

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

Dateibeschreibung: application/pdf

Graphical Analysis of Abstract Argumentation Frameworks via Boolean Networks

Autoren: Trinh, Van-Giang Benhamou, Belaid Risch, Vincent

Weitere Verfasser: Trinh, Van-Giang Benhamou, Belaid Risch, Vincent

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

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

Dateibeschreibung: application/pdf

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

Autoren: Boldo, Sylvie Clément, François Hamelin, David et al.

Weitere Verfasser: Boldo, Sylvie Clément, François Hamelin, David et al.

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

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

Dateibeschreibung: application/pdf

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

Autoren: Gimbert, Hugo Mascle, Corto Muscholl, Anca et al.

Weitere Verfasser: Gimbert, Hugo Mascle, Corto Muscholl, Anca et al.

Quelle: Logical Methods in Computer Science. 21

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

Dateibeschreibung: application/pdf

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

Autoren: Chardonnet, Kostia Saurin, Alexis Valiron, Benoît et al.

Weitere Verfasser: Chardonnet, Kostia Saurin, Alexis Valiron, Benoît et al.

Quelle: Logical Methods in Computer Science. 21

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

Dateibeschreibung: application/pdf

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

Autoren: Kaustuv Chaudhuri Arunava Gantait Dale Miller et al.

Weitere Verfasser: Kaustuv Chaudhuri Arunava Gantait Dale Miller et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783032060846

Schlagwörter: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-05157939v1

Gröbner Bases for Boolean Function Minimization

Autoren: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Weitere Verfasser: Faroß, Nicolas Schwarz, Simon Weidenbach, Christoph

Quelle: Mathematics in Computer Science. 19

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

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-04315477v1

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

Autoren: Ghasemi, Fatemeh Grange, Julien Kanté, Mamadou Moustapha et al.

Weitere Verfasser: Ghasemi, Fatemeh Grange, Julien Kanté, Mamadou Moustapha et al.

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

Zugangs-URL: https://hal.science/hal-05332862v1

Combining fixpoint and differentiation theory

Autoren: Galal, Zeinab Pacaud Lemay, Jean-Simon

Weitere Verfasser: Galal, Zeinab Pacaud Lemay, Jean-Simon

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

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

Dateibeschreibung: application/pdf

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

CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS

Autoren: DAGUR ASGEIRSSON RICCARDO BRASCA NIKOLAS KUHN et al.

Weitere Verfasser: DAGUR ASGEIRSSON RICCARDO BRASCA NIKOLAS KUHN et al.

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

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

Dateibeschreibung: application/pdf

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

Queries With Exact Truth Values in Paraconsistent Description Logics

Autoren: Bienvenu, Meghyn Bourgaux, Camille Kozhemiachenko, Daniil

Weitere Verfasser: Bienvenu, Meghyn Bourgaux, Camille Kozhemiachenko, Daniil

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2408.07283
https://hal.science/hal-04730579v1

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

Autoren: Bienvenu, Meghyn Bourgaux, Camille Jean, Robin

Weitere Verfasser: Bienvenu, Meghyn Bourgaux, Camille Jean, Robin

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

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

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2407.20754
https://hal.science/hal-04730664v1