| 1 |
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
806 |
8 years ago |
| 2 |
Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
|
🔮
The Ethereal
|
cs.DM
|
47 |
7 years ago |
| 3 |
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
|
🔮
The Ethereal
|
cs.LO
|
28 |
7 years ago |
| 4 |
A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
21 |
5 years ago |
| 5 |
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
18 |
6 years ago |
| 6 |
On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
8 years ago |
| 7 |
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard
Markus Hecher, Jorge Fandinno
|
🔮
The Ethereal
|
cs.LO
|
10 |
5 years ago |
| 8 |
Exact ASP Counting with Compact Encodings
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
|
🔮
The Ethereal
|
cs.LO
|
10 |
2 years ago |
| 9 |
Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
|
🔮
The Ethereal
|
cs.LO
|
9 |
5 years ago |
| 10 |
Exact Algorithms and Lowerbounds for Multiagent Pathfinding: Power of Treelike Topology
Foivos Fioravantes, Dušan Knop, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
9 |
2 years ago |
| 11 |
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Marlo Souza, Álvaro Moreira, Renata Vieira
|
🔮
The Ethereal
|
cs.LO
|
7 |
7 years ago |
| 12 |
Constructing Minimal Perfect Hash Functions Using SAT Technology
Sean Weaver, Marijn Heule
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 13 |
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
|
🔮
The Ethereal
|
cs.LO
|
6 |
6 years ago |
| 14 |
Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
Tuhin Sahai, Anurag Mishra, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
4 |
6 years ago |
| 15 |
Solving Multiagent Path Finding on Highly Centralized Networks
Foivos Fioravantes, Dušan Knop, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
4 |
1 year ago |
| 16 |
Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral, Jacopo Urbani
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 17 |
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
1 year ago |
| 18 |
Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmin Ibáñez-García, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
7 years ago |
| 19 |
Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
|
🔮
The Ethereal
|
cs.FL
|
2 |
3 years ago |
| 20 |
Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
|
🔮
The Ethereal
|
cs.FL
|
2 |
2 years ago |
| 21 |
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
Amar Shah, Federico Mora, Sanjit A. Seshia
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 22 |
Auditable Algorithms for Approximate Model Counting
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
|
🔮
The Ethereal
|
cs.LO
|
2 |
2 years ago |
| 23 |
Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures
Foivos Fioravantes, Dušan Knop, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
1 year ago |
| 24 |
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo
|
🔮
The Ethereal
|
cs.LO
|
2 |
1 year ago |
| 25 |
Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
2 years ago |
| 26 |
Schur Number Five
Marijn J. H. Heule
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 27 |
Constraint Optimization over Semirings
A. Pavan, Kuldeep S. Meel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
3 years ago |
| 28 |
Using Symmetries to Lift Satisfiability Checking
Pierre Carbonnelle, Gottfried Schenner, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
2 years ago |
| 29 |
Approximation Algorithms for Preference Aggregation Using CP-Nets
Abu Mohammmad Hammad Ali, Boting Yang, Sandra Zilles
|
🔮
The Ethereal
|
cs.CC
|
0 |
2 years ago |