Computer Science - Logic in Computer Science

Logic in Computer ScienceLE- Logic: Enhancing Knowledge Representation

Learn how LE- logic improves knowledge representation and query answering.

Krishna Manoorkar, Ruoding Wang

2025-06-18T00:48:24+00:00 ― 5 min read

Logic in Computer ScienceAutomating the Transformation of Nonlinear Optimization Models

This paper discusses automated methods for transforming complex nonlinear optimization models into linear forms.

Jian Cao, Liyong Lin, Lele Li

2025-06-17T06:51:46+00:00 ― 5 min read

Logic in Computer ScienceThe Mason-Stothers Theorem and Its Impact

Exploring the Mason-Stothers Theorem and its significance in number theory.

Jineon Baek, Seewoo Lee

2025-06-16T00:16:36+00:00 ― 6 min read

Logic in Computer ScienceExamining Weihrauch Reducibility Through Büchi Games

Analyzing the connections between Weihrauch problems and Büchi games in computer science.

Cécilia Pradic

2025-06-15T22:57:57+00:00 ― 5 min read

Artificial IntelligenceRethinking Reasoning: The Role of Exceptions

Examining how defeasible reasoning accommodates exceptions in our understanding of concepts.

Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni

2025-06-15T19:05:12+00:00 ― 6 min read

LogicConnecting Constructive and Intuitionistic Modal Logics

A study revealing similarities between two types of modal logic.

Leonardo Pacheco

2025-06-14T23:22:15+00:00 ― 5 min read

Logic in Computer ScienceNavigating Hybrid Games and Control Strategies

Exploring the challenges of hybrid games and the synthesis problem.

Catalin Dima, Mariem Hammami, Youssouf Oualhadj

2025-06-14T21:13:48+00:00 ― 5 min read

LogicUnderstanding Deep Sets in Computation

Exploring the significance and implications of deep sets in information theory.

Ang Li

2025-06-13T21:35:28+00:00 ― 6 min read

Logic in Computer ScienceManaging Shared-Memory Concurrency in Programming

Learn key strategies for handling shared resources in concurrent programming.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

2025-06-12T19:59:12+00:00 ― 5 min read

Discrete MathematicsThe Complexity of Automata Networks Revealed

This article discusses the challenges in analyzing automata networks and their implications.

Aliénor Goubault--Larrecq, Kévin Perrot

2025-06-12T09:43:00+00:00 ― 7 min read

Artificial IntelligenceIdentifying Minimal Unsatisfiable Cores in Temporal Logic

A new method for finding minimal unsatisfiable cores in linear temporal logic.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza

2025-06-12T02:52:12+00:00 ― 5 min read

Logic in Computer ScienceExploring the Role of Containers in Programming

Containers shape data structures for better management and organization in programming.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

2025-06-11T22:50:17+00:00 ― 7 min read

Logic in Computer ScienceEfficient Counting of Minimal Models in Boolean Formulas

A new method streamlines the counting of minimal models in Boolean logic.

Mohimenul Kabir

2025-06-11T04:52:54+00:00 ― 5 min read

Logic in Computer ScienceIntroducing Resource Lambda Calculus

A fresh approach to lambda calculus, integrating resource usage and approximation.

Davide Barbarossa

2025-06-10T21:38:24+00:00 ― 5 min read

Logic in Computer ScienceExamining the Stability Property in Call-by-Value Calculus

A look at the Stability Property and its significance in call-by-value calculus.

Davide Barbarossa

2025-06-10T21:06:48+00:00 ― 5 min read

Logic in Computer ScienceThe Role of Randomness in Computing

A look at how randomness shapes modern computational techniques.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

2025-06-09T22:28:00+00:00 ― 5 min read

Category TheoryUnderstanding Functions and Their Changes

A look into functions, derivatives, and their interconnectedness in everyday scenarios.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani

2025-06-09T16:13:12+00:00 ― 5 min read

Algebraic TopologyA Deep Dive into Covering Spaces

Explore the significance of covering spaces in algebraic topology and their applications.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

2025-06-08T19:41:01+00:00 ― 6 min read

Software EngineeringAdvancements in Proof Automation Using LLMs

Exploring new methods to improve proof verification in software engineering.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 7 min read

Logic in Computer ScienceConcurrency and Probability in Modern Programming

A framework for analyzing concurrent programs with probabilistic outcomes.

Renato Neves

2025-06-06T13:53:12+00:00 ― 7 min read

Category TheoryPropositional Equality in Type Theory: A Deeper Look

Examining propositional equality's role in type theory and its implications.

Andrea Laretto, Fosco Loregian, Niccolò Veltri

2025-06-06T04:19:36+00:00 ― 4 min read

Artificial IntelligenceImproving AI Reasoning with Proof of Thought

A new framework aims to enhance reliability and clarity in AI reasoning.

Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary

2025-06-06T02:10:06+00:00 ― 7 min read

Logic in Computer ScienceThe Intersection of Logic and Geometry in Proofs

Examining the relationship between mathematical proofs and geometric spaces.

Davide Barbarossa

2025-06-05T18:16:37+00:00 ― 5 min read

Programming LanguagesA New Method for Proving Program Termination

Improving tools to check if loops in programs will finish running.

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 5 min read

Logic in Computer ScienceAnalyzing Infinite-State Markov Chains

A framework for better understanding complex Markov chains using abstraction and sampling techniques.

Benoît Barbot, Patricia Bouyer, Serge Haddad

2025-06-04T04:36:42+00:00 ― 6 min read

Logic in Computer ScienceAdvancing Security Through Team Semantics in Software Development

Team semantics enhances verification of complex properties in software systems.

Andreas Krebs, Arne Meier, Jonni Virtema

2025-06-04T04:28:48+00:00 ― 8 min read

Logic in Computer ScienceGuarded Recursion in Programming Languages

Exploring how guarded recursion enhances infinite data structures in programming.

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 9 min read

Group TheoryConnecting Snakes and Groups: A Research Overview

Explore the relationship between groups and snake tiling problems in mathematics.

Laurent Bartholdi, Ville Salo

2025-06-03T17:46:34+00:00 ― 5 min read

Logic in Computer ScienceConnecting Logic and Programming through Call-by-Value Evaluation

This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 10 min read

Artificial IntelligenceModeling Argumentation Frameworks: A New Approach

A fresh perspective on how the order of arguments shapes discussions.

Yann Munro, Camilo Sarmiento, Isabelle Bloch

2025-06-03T09:47:00+00:00 ― 7 min read

Programming LanguagesVerifying Exception Handling in Java Bytecode

A method for analyzing exceptional behavior in Java programs using bytecode.

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 6 min read

Logic in Computer ScienceBranching Bisimilarity and Time-Outs in Reactive Systems

Explore how time-outs impact system interactions in branching bisimilarity.

Gaspard Reghem, Rob van Glabbeek

2025-06-02T18:38:30+00:00 ― 5 min read

Logic in Computer ScienceRethinking Cybersecurity: A New Perspective

This paper discusses a new approach to cybersecurity using Probabilistic Obstruction Temporal Logic.

Jean Leneutre, Vadim Malvone, James Ortiz

2025-06-02T14:09:54+00:00 ― 6 min read

Logic in Computer ScienceBuilding Better Reactive Systems

Learn how to create efficient reactive systems that adapt to their environments.

Linda Feeken, Martin Fränzle

2025-06-02T10:20:48+00:00 ― 6 min read

Logic in Computer ScienceThe Importance of Program Termination

Learn why program termination is crucial for computer programming.

James Li, Noam Zilberstein, Alexandra Silva

2025-06-02T05:44:18+00:00 ― 10 min read

Logic in Computer ScienceUnderstanding Logic and Time in Technology

A look at how temporal logic shapes technology in our daily lives.

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag

2025-06-02T02:42:36+00:00 ― 5 min read

Programming LanguagesA New Approach to Polymorphic Metaprogramming

Introducing a framework for safe and efficient code generation.

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 6 min read

Logic in Computer ScienceUnderstanding Parametricity in Programming Languages

Learn how parametricity impacts programming and the challenges with GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 5 min read

Logic in Computer ScienceReliable Methods for Statistical Model Checking

Learn how to use sound statistical methods for better decision-making in complex systems.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer

2025-06-01T17:21:42+00:00 ― 6 min read

Artificial IntelligenceEnhancing Fraud Detection with Explainable AI

Combining fuzzy logic and symbolic regression for clearer fraud detection.

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 7 min read