🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Justifications for Goal-Directed Constraint Answer Set Programming

Joaquín Arias, Manuel Carro, ... (+2 more)

cs.LO 🏛 ICLP Technical Communications 📚 46 cites 5 years ago

🔮 🔮 The Ethereal

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)

Ruggero Lanotte, Massimo Merro, ... (+2 more)

cs.LO 🏛 TOPS 📚 46 cites 7 years ago

🔮 🔮 The Ethereal

Answer Set Solving with Bounded Treewidth Revisited

Johannes Fichte, Markus Hecher, ... (+2 more)

cs.LO 🏛 ICLPNR 📚 46 cites 9 years ago

🔮 🔮 The Ethereal

Interacting Conceptual Spaces I : Grammatical Composition of Concepts

Joe Bolt, Bob Coecke, ... (+4 more)

cs.LO 🏛 Conceptual Spaces: Elaborations and Applications 📚 46 cites 9 years ago

🔮 🔮 The Ethereal

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

Meghyn Bienvenu, Camille Bourgaux

cs.LO 🏛 KR 📚 45 cites 6 years ago

🔮 🔮 The Ethereal

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum

cs.LO 🏛 ICGALFV 📚 45 cites 7 years ago

🔮 🔮 The Ethereal

Real-time Stream-based Monitoring

Peter Faymonville, Bernd Finkbeiner, ... (+2 more)

cs.LO 🏛 arXiv 📚 45 cites 8 years ago

🔮 🔮 The Ethereal

Reachability is in DynFO

Samir Datta, Raghav Kulkarni, ... (+3 more)

cs.LO 🏛 ICALP 📚 45 cites 11 years ago

🔮 🔮 The Ethereal

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

Noam Zilberstein, Derek Dreyer, Alexandra Silva

cs.LO 🏛 PACMPL 📚 43 cites 3 years ago

🔮 🔮 The Ethereal

Polynomial Invariant Generation for Non-deterministic Recursive Programs

Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)

cs.LO 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 42 cites 7 years ago

🔮 🔮 The Ethereal

The First-Order Logic of Hyperproperties

Bernd Finkbeiner, Martin Zimmermann

cs.LO 🏛 STACS 📚 42 cites 9 years ago

🔮 🔮 The Ethereal

On Automated Lemma Generation for Separation Logic with Inductive Definitions

Constantin Enea, Mihaela Sighireanu, Zhilin Wu

cs.LO 🏛 ATVA 📚 42 cites 10 years ago

🔮 🔮 The Ethereal

Automated Lemma Synthesis in Symbolic-Heap Separation Logic

Quang-Trung Ta, Ton Chanh Le, ... (+2 more)

cs.LO 🏛 PACMPL 📚 41 cites 8 years ago

🔮 🔮 The Ethereal

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, ... (+4 more)

cs.LO 🏛 Journal of automated reasoning 📚 41 cites 9 years ago

🔮 🔮 The Ethereal

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Mario Lezoche, Hervé Panetto

cs.LO 🏛 Enterprise Information Systems 📚 40 cites 7 years ago

🔮 🔮 The Ethereal

Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)

Siddharth Krishna, Dennis Shasha, Thomas Wies

cs.LO 🏛 PACMPL 📚 40 cites 8 years ago

🔮 🔮 The Ethereal

Verifying Equivalence of Database-Driven Applications

Yuepeng Wang, Isil Dillig, ... (+2 more)

cs.LO 🏛 PACMPL 📚 40 cites 8 years ago

🔮 🔮 The Ethereal

Automated Mutual Explicit Induction Proof in Separation Logic

Quang-Trung Ta, Ton Chanh Le, ... (+2 more)

cs.LO 🏛 FM 📚 40 cites 9 years ago

🔮 🔮 The Ethereal

A program logic for union bounds

Gilles Barthe, Marco Gaboardi, ... (+3 more)

cs.LO 🏛 ICALP 📚 40 cites 10 years ago

🔮 🔮 The Ethereal

Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification

Marcel Hark, Benjamin Lucien Kaminski, ... (+2 more)

cs.LO 🏛 PACMPL 📚 39 cites 7 years ago

🔮 🔮 The Ethereal

Spatial Logics and Model Checking for Medical Imaging (Extended Version)

Fabrizio Banci Buonamici, Gina Belmonte, ... (+3 more)

cs.LO 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 39 cites 7 years ago

🔮 🔮 The Ethereal

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Cristina Feier, Antti Kuusisto, Carsten Lutz

cs.LO 🏛 ICDT 📚 39 cites 9 years ago

🔮 🔮 The Ethereal

Proving Liveness of Parameterized Programs

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

cs.LO 🏛 Logic in Computer Science 📚 39 cites 9 years ago

🔮 🔮 The Ethereal

Differential Hybrid Games

André Platzer

cs.LO 🏛 ACM Transactions on Computational Logic 📚 38 cites 10 years ago