🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Exact ASP Counting with Compact Encodings

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel

cs.LO 🏛 AAAI 📚 10 cites 2 years ago

🔮 🔮 The Ethereal

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Remi Desmartin, Omri Isac, ... (+4 more)

cs.LO 🏛 ICITP 📚 9 cites 1 year ago

🔮 🔮 The Ethereal

On Model-Checking Higher-Order Effectful Programs (Long Version)

Ugo Dal Lago, Alexis Ghyselen

cs.LO 🏛 PACMPL 📚 9 cites 2 years ago

🔮 🔮 The Ethereal

Answering Regular Path Queries Over SQ Ontologies

Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung

cs.LO 🏛 AAAI 📚 9 cites 5 years ago

🔮 🔮 The Ethereal

Fixed Point Semantics for Stream Reasoning

Christian Antić

cs.LO 🏛 AI 📚 9 cites 5 years ago

🔮 🔮 The Ethereal

CDCL(Crypto) SAT Solvers for Cryptanalysis

Saeed Nejati, Vijay Ganesh

cs.LO 🏛 Conference of the Centre for Advanced Studies on Collaborative Research 📚 9 cites 5 years ago

🔮 🔮 The Ethereal

Knowledge of Uncertain Worlds: Programming with Logical Constraints

Yanhong A. Liu, Scott D. Stoller

cs.LO 🏛 ICLFCS 📚 9 cites 6 years ago

🔮 🔮 The Ethereal

Reasoning about disclosure in data integration in the presence of source constraints

Michael Benedikt, Pierre Bourhis, ... (+2 more)

cs.LO 🏛 IJCAI 📚 9 cites 6 years ago

🔮 🔮 The Ethereal

Towards Evolutionary Theorem Proving for Isabelle/HOL

Yutaka Nagashima

cs.LO 🏛 GECCO 📚 9 cites 7 years ago

🔮 🔮 The Ethereal

Mutation Testing with Hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

cs.LO 🏛 J.SSM 📚 9 cites 6 years ago

🔮 🔮 The Ethereal

Efficient Graph Rewriting

Graham Campbell

cs.LO 🏛 arXiv 📚 9 cites 6 years ago

🔮 🔮 The Ethereal

On the Conditional Logic of Simulation Models

Duligur Ibeling, Thomas Icard

cs.LO 🏛 IJCAI 📚 9 cites 8 years ago

🔮 🔮 The Ethereal

On the Semantics of Snapshot Isolation

Azalea Raad, Ori Lahav, Viktor Vafeiadis

cs.LO 🏛 ICVMCAI 📚 9 cites 7 years ago

🔮 🔮 The Ethereal

Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic

Christoph Wernhard

cs.LO 🏛 arXiv 📚 9 cites 8 years ago

🔮 🔮 The Ethereal

Counterfactual Causality from First Principles?

Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani

cs.LO 🏛 CREST 📚 9 cites 8 years ago

🔮 🔮 The Ethereal

Axiomatizing Category Theory in Free Logic

Christoph Benzmüller, Dana S. Scott

cs.LO 🏛 arXiv 📚 9 cites 9 years ago

🔮 🔮 The Ethereal

Range-based argumentation semantics as 2-valued models

Mauricio Osorio, Juan Carlos Nieves

cs.LO 🏛 arXiv 📚 9 cites 10 years ago

🔮 🔮 The Ethereal

Axiomatizations for downward XPath on Data Trees

Sergio Abriola, María Emilia Descotte, ... (+2 more)

cs.LO 🏛 Journal of computer and system sciences (Print) 📚 9 cites 9 years ago

🔮 🔮 The Ethereal

Coherent branching feature bisimulation

Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

cs.LO 🏛 FMSPLE 📚 9 cites 11 years ago

🔮 🔮 The Ethereal

Fix Your Types

Sol Swords, Jared Davis

cs.LO 🏛 ICATPIA W 📚 9 cites 10 years ago

🔮 🔮 The Ethereal

Program Analysis with Local Policy Iteration

George Karpenkov, David Monniaux, Philipp Wendler

cs.LO 🏛 ICVMCAI 📚 9 cites 10 years ago

🔮 🔮 The Ethereal

Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study

Cyprien Mangin, Matthieu Sozeau

cs.LO 🏛 arXiv 📚 9 cites 10 years ago

🔮 🔮 The Ethereal

Formal Verification of Zero-Knowledge Circuits

Alessandro Coglio, Eric McCarthy, Eric W. Smith

cs.LO 🏛 ICATPIA W 📚 9 cites 2 years ago

🔮 🔮 The Ethereal

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

Gustavo A. Cardona, Kevin Leahy, ... (+2 more)

cs.LO 🏛 arXiv 📚 9 cites 2 years ago