We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]

Tue, 6 Jun 2023

[1]  arXiv:2306.03045 [pdf, ps, other]
Title: Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Authors: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Comments: The manuscript is going to be submitted to the Journal on Logical Methods in Computer Science. arXiv admin note: substantial text overlap with arXiv:2106.10192
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[2]  arXiv:2306.02967 [pdf, ps, other]
Title: Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms
Authors: Derek Egolf, Stavros Tripakis
Subjects: Logic in Computer Science (cs.LO)
[3]  arXiv:2306.02774 [pdf, ps, other]
Title: Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
Authors: Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2306.02769 [pdf, other]
Title: On simple expectations and observations of intelligent agents: A complexity study
Authors: Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
Comments: Accepted in KR 2023
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[5]  arXiv:2306.02521 [pdf, ps, other]
Title: Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Authors: Tim S. Lyon, Piotr Ostropolski-Nalewaja
Comments: Appended version of paper accepted to KR 2023
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic (math.LO)
[6]  arXiv:2306.02427 [pdf, other]
Title: Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Authors: Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Symbolic Computation (cs.SC); Systems and Control (eess.SY)
[7]  arXiv:2306.02184 (cross-list from cs.CC) [pdf, ps, other]
Title: Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system
Authors: Joshua A. Grochow
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Mon, 5 Jun 2023

[8]  arXiv:2306.01517 [pdf, other]
Title: Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Authors: Lucie Guillou, Corto Mascle, Nicolas Waldburger
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2306.01487 [pdf, other]
Title: Quantitative Graded Semantics and Spectra of Behavioural Metrics
Authors: Jonas Forster, Lutz Schröder, Paul Wild
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2306.01473 [pdf, ps, other]
Title: Third Order Matching is Decidable
Authors: Gilles Dowek
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2306.01466 [pdf, other]
Title: Automated Polyhedral Abstraction Proving
Authors: Nicolas Amat (LAAS, LAAS-VERTICS), Silvano Dal Zilio (LAAS-VERTICS, LAAS), Didier Le Botlan (LAAS-VERTICS, LAAS)
Journal-ref: 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2306.01455 [pdf, ps, other]
Title: The logic of temporal domination
Authors: Thomas Studer
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2306.01193 [pdf, other]
Title: Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines
Authors: Joshua Ani, Michael Coulombe, Erik D. Demaine, Yevhenii Diomidov, Timothy Gomez, Dylan Hendrickson, Jayson Lynch
Comments: 22 pages, 19 figures. Presented at SAND 2023
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[14]  arXiv:2306.01439 (cross-list from cs.LG) [pdf, other]
Title: Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction
Authors: Quentin Delfosse, Hikaru Shindo, Devendra Dhami, Kristian Kersting
Comments: 9 main pages + appendix (19 in total)
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[15]  arXiv:2306.01399 (cross-list from cs.AI) [pdf, other]
Title: Knowledge Graph Reasoning over Entities and Numerical Values
Authors: Jiaxin Bai, Chen Luo, Zheng Li, Qingyu Yin, Bing Yin, Yangqiu Song
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

Fri, 2 Jun 2023

[16]  arXiv:2306.00617 [pdf]
Title: Multiple inheritance hazards in algebraic typeclass hierarchies
Authors: Eric Wieser
Comments: 11 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:2306.00584 [pdf, other]
Title: Representation Theorems Obtained by Miningacross Web Sources for Hints
Authors: Marco B. Caminati, Juliana K. F. Bowles
Comments: In press at IEEEXplore
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2306.00498 [pdf, ps, other]
Title: Automated theorem proving in first-order logic modulo: on the difference between type theory and set theory
Authors: Gilles Dowek
Subjects: Logic in Computer Science (cs.LO)
[19]  arXiv:2306.00495 [pdf, ps, other]
Title: Axioms vs. rewrite rules: from completeness to cut elimination
Authors: Gilles Dowek
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2306.00478 [pdf, ps, other]
Title: From proof theory to theories theory
Authors: Gilles Dowek
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2306.00461 [pdf, other]
Title: Enumerating Disjoint Partial Models without Blocking Clauses
Authors: Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
Subjects: Logic in Computer Science (cs.LO)
[22]  arXiv:2306.00420 [pdf, ps, other]
Title: Logics with probabilistic team semantics and the Boolean negation
Authors: Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[23]  arXiv:2306.00790 (cross-list from cs.AI) [pdf, other]
Title: Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
Authors: Hasra Dodampegama, Mohan Sridharan
Comments: 17 pages, 3 Figures
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[24]  arXiv:2306.00004 (cross-list from cs.SE) [pdf, ps, other]
Title: Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)
Authors: Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Comments: 36 pages
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

Thu, 1 Jun 2023 (showing first 1 of 2 entries)

[25]  arXiv:2305.19985 (cross-list from cs.GT) [pdf, other]
Title: Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games
Authors: Martin Fränzle, Sarah Winter, Martin Zimmermann
Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[ total of 33 entries: 1-25 | 26-33 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2306, contact, help  (Access key information)