Computer Science - Logic in Computer Science

RSS

Machine Learning A New Way to Assess System Reliability

A hybrid framework improves failure prediction in complex systems.

Xingyu Xiao, Peng Chen

2025-03-12T15:14:51+00:00 ― 6 min read

Latest Articles

Artificial Intelligence Dealing with Conflicts in Logic

A look at handling inconsistencies in logical systems using variable occurrences.

Yakoub Salhi

2025-03-02T10:29:06+00:00 ― 6 min read

Artificial Intelligence The Debate in Knowledge Representation

Exploring how AI stores and uses knowledge for decision-making.

Heng Zhang, Guifei Jiang, Donghui Quan

2025-03-02T08:52:48+00:00 ― 6 min read

Logic in Computer Science The Role of Predictors in Technology

Learn how predictors enhance the reliability of modern adaptive systems.

Christel Baier, Sascha Klüppelholz, Jakob Piribauer

2025-03-01T18:26:06+00:00 ― 6 min read

Logic in Computer Science Arguments in Conflict: Navigating Inconsistencies

Exploring the role of argumentation frameworks in inconsistent databases.

Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

2025-02-28T19:57:54+00:00 ― 6 min read

Logic in Computer Science Coordinating Agents: Lessons from Party Planning

Discover how multi-agent systems mirror our daily coordination challenges.

Rafael Dewes, Rayna Dimitrova

2025-02-25T07:42:09+00:00 ― 6 min read

Logic in Computer Science Isabelle Gets a New Build Manager

The Isabelle platform improves efficiency with its new custom build manager.

Fabian Huch

2025-02-25T02:05:06+00:00 ― 6 min read

Artificial Intelligence Counting Queries and Knowledge Bases: Unlocking Insights

Discover how counting queries power knowledge bases for smarter data analysis.

Quentin Manière, Marcin Przybyłko

2025-02-24T06:01:21+00:00 ― 6 min read

Artificial Intelligence Navigating Uncertainty: The Role of POMDPs in Decision Making

Learn how POMDPs help make decisions amid uncertainty.

Marius Belly, Nathanaël Fijalkow, Hugo Gimbert

2025-02-21T20:49:12+00:00 ― 6 min read

Logic in Computer Science Cracking the Code of Quantified Formulas

A look into the world of quantified formulas and their satisfiability.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi

2025-02-21T17:01:57+00:00 ― 4 min read

Cryptography and Security Securing Industrial Control Systems Against Cyber Threats

Learn how to protect industrial systems from cyber attacks with new security methods.

Arthur Amorim, Trevor Kann, Max Taylor

2025-02-21T00:10:48+00:00 ― 8 min read

Logic in Computer Science Understanding Cognitive Attitudes: Your Mental Guide

Explore how cognitive attitudes shape your beliefs and decisions.

Tiago de Lima, Emiliano Lorini, Elise Perrotin

2025-02-19T00:01:48+00:00 ― 6 min read

Logic in Computer Science Simplifying Liveness Verification with Implicit Rankings

A new approach to verify system behavior using implicit rankings.

Raz Lotan, Sharon Shoham

2025-02-18T16:00:18+00:00 ― 6 min read

Artificial Intelligence Simplifying Reasoning with Conditional Independence

Learn how conditional independence makes complex reasoning easier in knowledge representation.

Jesse Heyninck

2025-02-16T22:16:30+00:00 ― 7 min read

Logic in Computer Science Backward Thinking: The Logic of Reasoning

Learn how reductive logic aids everyday problem-solving and reasoning.

Alexander V. Gheorghiu, David J. Pym

2025-02-15T05:56:50+00:00 ― 6 min read

Artificial Intelligence Understanding Multi-Agent Systems and Information Transparency

Explore how agents interact and make decisions in complex environments.

Chunyan Mu, Nima Motamed, Natasha Alechina

2025-02-13T10:48:54+00:00 ― 6 min read

Logic in Computer Science AuDaLa: A New Way to Code

Discover AuDaLa, the programming language simplifying data handling and parallel tasks.

Tom T. P. Franken, Thomas Neele

2025-02-12T12:20:42+00:00 ― 5 min read

Logic in Computer Science Understanding the Magic of Boolean Circuits

Discover how Boolean circuits transform yes/no decisions in technology.

Daniil Averkov, Tatiana Belova, Gregory Emdin

2025-02-12T11:32:33+00:00 ― 7 min read

Logic in Computer Science Clearing Up Cycles in Knowledge Graphs

Automated methods address cycles in knowledge graphs for clearer data relationships.

Shuai Wang, Peter Bloem, Joe Raad

2025-02-11T14:02:20+00:00 ― 7 min read

Formal Languages and Automata Theory Vector Addition Systems: A Simple Guide

An easy breakdown of Vector Addition Systems and their reachability challenges.

Yangluo Zheng

2025-02-11T05:51:00+00:00 ― 4 min read

Computer Science and Game Theory Temporal Graphs: Timed Games Unleashed

Explore the fascinating world of games shaped by time and strategy.

Pete Austin, Nicolas Mazzocchi, Sougata Bose

2025-02-09T20:08:42+00:00 ― 7 min read

Cryptography and Security DAI: The Stablecoin You Can Trust

Learn how DAI maintains a stable value in the cryptosphere.

Francesco De Sclavis, Giuseppe Galano, Aldo Glielmo

2025-02-07T23:12:18+00:00 ― 7 min read

Logic in Computer Science Bayesian Networks and Proof-Nets: A Clear Connection

Learn how Bayesian networks and proof-nets help make sense of complex information.

Thomas Ehrhard, Claudia Faggian, Michele Pagani

2025-01-20T02:35:42+00:00 ― 6 min read

Logic in Computer Science Unpacking Computation: RASMs and Beyond

A deep dive into innovative computation models using RASMs and RASMPs.

Desmond Lau

2025-01-19T14:33:27+00:00 ― 7 min read

Logic in Computer Science Advancements in Interactive Theorem Provers

Discover how HOLALA improves proof efficiency in interactive theorem proving.

Shuai Wang

2025-01-18T09:40:03+00:00 ― 6 min read

Logic in Computer Science ProofCloud: Your Guide to Higher Order Logic

Discover an efficient way to find verified higher order logic proofs.

Shuai Wang

2025-01-18T08:03:45+00:00 ― 5 min read

Category Theory Understanding the Intricacies of Operator Spaces

Operator spaces reshape our view of mathematics, especially in quantum theories.

Bert Lindenhovius, Vladimir Zamdzhiev

2025-01-18T03:59:00+00:00 ― 6 min read