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

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

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

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

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

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

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

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

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

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

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

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

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

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

All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants: Sort Polymorphism for Proof Assistants

Autoři: Josselin Poiret Gaëtan Gilbert Kenji Maillard a další

Přispěvatelé: Josselin Poiret Gaëtan Gilbert Kenji Maillard a další

Zdroj: Proceedings of the ACM on Programming Languages. 9:2253-2281

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], proof assistants, Theory of computation → Type theory type theory, type theory

Popis souboru: application/pdf

Přístupová URL adresa: https://nantes-universite.hal.science/hal-04801739v1/document
https://nantes-universite.hal.science/hal-04801739v1
https://doi.org/10.1145/3704912

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

Property-Based Testing by Elaborating Proof Outlines

Autoři: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Přispěvatelé: Miller, Dale Momigliano, Alberto Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Zdroj: Theory and Practice of Logic Programming. 24:1123-1162

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], λ-tree syntax, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, relational specifications, [INFO] Computer Science [cs], 01 natural sciences, metatheory of programming languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), linear logic, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], property-based testing, meta-theory of programing languages

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2406.10053
https://hal.science/hal-04710992v1/document
https://hal.science/hal-04710992v1
https://hdl.handle.net/2434/1120939
https://doi.org/10.1017/s1471068424000176

On the Road to Paradise: Some Logical Steps

Autoři: Plagnol, Arnaud

Přispěvatelé: Plagnol, Arnaud

Zdroj: Logica Universalis. 18:533-545

Témata: [SHS.PSY] Humanities and Social Sciences/Psychology, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [SHS] Humanities and Social Sciences, [SHS.RELIG] Humanities and Social Sciences/Religions

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

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