🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Equilibria for Games with Combined Qualitative and Quantitative Objectives

Julian Gutierrez, Aniello Murano, ... (+4 more)

cs.LO 🏛 Acta Informatica 📚 16 cites 5 years ago

🔮 🔮 The Ethereal

Partial Compilation of ASP Programs

Bernardo Cuteri, Carmine Dodaro, ... (+2 more)

cs.LO 🏛 TPLP 📚 16 cites 6 years ago

🔮 🔮 The Ethereal

Founded World Views with Autoepistemic Equilibrium Logic

Pedro Cabalar, Jorge Fandinno, Luis Fariñas

cs.LO 🏛 ICLPNR 📚 16 cites 7 years ago

🔮 🔮 The Ethereal

Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality

Andreas Abel, Thierry Coquand

cs.LO 🏛 Log. Methods Comput. Sci. 📚 16 cites 6 years ago

🔮 🔮 The Ethereal

Verification Logics for Quantum Programs

Robert Rand

cs.LO 🏛 arXiv 📚 16 cites 7 years ago

🔮 🔮 The Ethereal

The External Interface for Extending WASP

Carmine Dodaro, Francesco Ricca

cs.LO 🏛 TPLP 📚 16 cites 7 years ago

🔮 🔮 The Ethereal

Approximation Strategies for Incomplete MaxSAT

Saurabh Joshi, Prateek Kumar, ... (+2 more)

cs.LO 🏛 CP 📚 16 cites 7 years ago

🔮 🔮 The Ethereal

Reasoning about Parallel Quantum Programs

Mingsheng Ying, Li Zhou, Yangjia Li

cs.LO 🏛 arXiv 📚 16 cites 7 years ago

🔮 🔮 The Ethereal

DynASP2.5: Dynamic Programming on Tree Decompositions in Action

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

cs.LO 🏛 IPEC 📚 16 cites 8 years ago

🔮 🔮 The Ethereal

Relational $\star$-Liftings for Differential Privacy

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

cs.LO 🏛 ICALP 📚 16 cites 9 years ago

🔮 🔮 The Ethereal

Founded Semantics and Constraint Semantics of Logic Rules

Yanhong A. Liu, Scott D. Stoller

cs.LO 🏛 ICLFCS 📚 16 cites 9 years ago

🔮 🔮 The Ethereal

Thirty-seven years of relational Hoare logic: remarks on its principles and history

David A. Naumann

cs.LO 🏛 FM 📚 15 cites 5 years ago

🔮 🔮 The Ethereal

Verifying OpenJDK's LinkedList using KeY

Hans-Dieter A. Hiep, Olaf Maathuis, ... (+4 more)

cs.LO 🏛 ICTACAS 📚 15 cites 6 years ago

🔮 🔮 The Ethereal

The theory of concatenation over finite models

Dominik D. Freydenberger, Liat Peterfreund

cs.LO 🏛 ICALP 📚 15 cites 6 years ago

🔮 🔮 The Ethereal

Provenance Analysis for Logic and Games

Erich Grädel, Val Tannen

cs.LO 🏛 Moscow Journal of Combinatorics and Number Theory 📚 15 cites 6 years ago

🔮 🔮 The Ethereal

Self-Driving Vehicle Verification Towards a Benchmark

Nima Roohi, Ramneet Kaur, ... (+3 more)

cs.LO 🏛 arXiv 📚 15 cites 7 years ago

🔮 🔮 The Ethereal

Exploring Approximations for Floating-Point Arithmetic using UppSAT

Aleksandar Zeljic, Peter Backeman, ... (+2 more)

cs.LO 🏛 International Joint Conference on Automated Reasoning 📚 15 cites 8 years ago

🔮 🔮 The Ethereal

On Hashing-Based Approaches to Approximate DNF-Counting

Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

cs.LO 🏛 TCS 📚 15 cites 8 years ago

🔮 🔮 The Ethereal

On the Computation of Paracoherent Answer Sets

Giovanni Amendola, Carmine Dodaro, ... (+3 more)

cs.LO 🏛 AAAI 📚 15 cites 8 years ago

🔮 🔮 The Ethereal

Proving Soundness of Extensional Normal-Form Bisimilarities

Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

cs.LO 🏛 Mathematical Foundations of Programming Semantics 📚 15 cites 8 years ago

🔮 🔮 The Ethereal

Confluence in Probabilistic Rewriting

Alejandro Díaz-Caro, Guido Martínez

cs.LO 🏛 ICLSFA W 📚 15 cites 8 years ago

🔮 🔮 The Ethereal

Monte Carlo Tableau Proof Search

Michael Färber, Cezary Kaliszyk, Josef Urban

cs.LO 🏛 CADE 📚 15 cites 9 years ago

🔮 🔮 The Ethereal

A multi-paradigm language for reactive synthesis

Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann

cs.LO 🏛 SYNT 📚 15 cites 10 years ago

🔮 🔮 The Ethereal

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

Stefan Borgwardt, Theofilos Mailis, ... (+2 more)

cs.LO 🏛 Journal on Data Semantics 📚 15 cites 10 years ago