🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

cs.LO 🏛 arXiv 📚 37 cites 6 years ago

🔮 🔮 The Ethereal

Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning

Gil Lederman, Markus N. Rabe, ... (+2 more)

cs.LO 🏛 arXiv 📚 37 cites 7 years ago

🔮 🔮 The Ethereal

Relational reasoning via probabilistic coupling

Gilles Barthe, Thomas Espitau, ... (+4 more)

cs.LO 🏛 Logic Programming and Automated Reasoning 📚 37 cites 10 years ago

🔮 🔮 The Ethereal

The Imandra Automated Reasoning System (system description)

Grant Olney Passmore, Simon Cruanes, ... (+7 more)

cs.LO 🏛 International Joint Conference on Automated Reasoning 📚 36 cites 6 years ago

🔮 🔮 The Ethereal

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving

Stefan Mitsch, André Platzer

cs.LO 🏛 F-IDE@FM 📚 36 cites 9 years ago

🔮 🔮 The Ethereal

The Bang Calculus Revisited

Antonio Bucciarelli, Delia Kesner, ... (+2 more)

cs.LO 🏛 Fuji International Symposium on Functional and Logic Programming 📚 35 cites 6 years ago

🔮 🔮 The Ethereal

An Assertion-Based Program Logic for Probabilistic Programs

Gilles Barthe, Thomas Espitau, ... (+4 more)

cs.LO 🏛 European Symposium on Programming 📚 35 cites 8 years ago

🔮 🔮 The Ethereal

First-Order Model Checking on Structurally Sparse Graph Classes

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz

cs.LO 🏛 STOC 📚 34 cites 3 years ago

🔮 🔮 The Ethereal

Automata and Fixpoints for Asynchronous Hyperproperties

Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

cs.LO 🏛 PACMPL 📚 34 cites 5 years ago

🔮 🔮 The Ethereal

On the Solvability of Inductive Problems: A Study in Epistemic Topology

Alexandru Baltag, Nina Gierasimczuk, Sonja Smets

cs.LO 🏛 Theoretical Aspects of Rationality and Knowledge 📚 34 cites 9 years ago

🔮 🔮 The Ethereal

Finite LTL Synthesis with Environment Assumptions and Quality Measures

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

cs.LO 🏛 KR 📚 33 cites 7 years ago

🔮 🔮 The Ethereal

The Rationale behind the Concept of Goal

Guido Governatori, Francesco Olivieri, ... (+3 more)

cs.LO 🏛 TPLP 📚 33 cites 10 years ago

🔮 🔮 The Ethereal

Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games

Julian Gutierrez, Muhammad Najib, ... (+2 more)

cs.LO 🏛 AI 📚 32 cites 5 years ago

🔮 🔮 The Ethereal

Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms

Marcelo Finger

cs.LO 🏛 Lecture Notes in Computer Science 📚 32 cites 6 years ago

🔮 🔮 The Ethereal

Verifying Security Policies in Multi-agent Workflows with Loops

Bernd Finkbeiner, Christian Müller, ... (+2 more)

cs.LO 🏛 CCS 📚 32 cites 8 years ago

🔮 🔮 The Ethereal

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)

Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)

cs.LO 🏛 FM 📚 32 cites 8 years ago

🔮 🔮 The Ethereal

Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput

Zinovy Diskin, Harald König, Mark Lawford

cs.LO 🏛 Formal Aspects of Computing 📚 31 cites 6 years ago

🔮 🔮 The Ethereal

The Bang Calculus and the Two Girard's Translations

Giulio Guerrieri, Giulio Manzonetto

cs.LO 🏛 Linearity-TLLA@FLoC 📚 31 cites 7 years ago

🔮 🔮 The Ethereal

Abstract Learning Frameworks for Synthesis

Christof Löding, P. Madhusudan, Daniel Neider

cs.LO 🏛 ICTACAS 📚 31 cites 10 years ago

🔮 🔮 The Ethereal

Conjunctive Queries: Unique Characterizations and Exact Learnability

Balder ten Cate, Victor Dalmau

cs.LO 🏛 ICDT 📚 30 cites 5 years ago

🔮 🔮 The Ethereal

Simple Strategies in Multi-Objective MDPs (Technical Report)

Florent Delgrange, Joost-Pieter Katoen, ... (+2 more)

cs.LO 🏛 ICTACAS 📚 30 cites 6 years ago

🔮 🔮 The Ethereal

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

cs.LO 🏛 IJCAI 📚 30 cites 6 years ago

🔮 🔮 The Ethereal

Shepherding Hordes of Markov Chains

Milan Ceska, Nils Jansen, ... (+2 more)

cs.LO 🏛 ICTACAS 📚 30 cites 7 years ago

🔮 🔮 The Ethereal

Bounded Quantifier Instantiation for Checking Inductive Invariants

Yotam M. Y. Feldman, Oded Padon, ... (+3 more)

cs.LO 🏛 ICTACAS 📚 30 cites 8 years ago