| 1 |
Symbolic LTLf Synthesis
Shufang Zhu, Lucas M. Tabajara, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
93 |
8 years ago |
| 2 |
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
|
🔮
The Ethereal
|
cs.LO
|
30 |
6 years ago |
| 3 |
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvořák, Eduard Eiben, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
29 |
8 years ago |
| 4 |
Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer
|
🔮
The Ethereal
|
cs.CC
|
24 |
8 years ago |
| 5 |
When Votes Change and Committees Should (Not)
Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk
|
🔮
The Ethereal
|
cs.CC
|
24 |
5 years ago |
| 6 |
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Hubie Chen, Georg Gottlob, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
16 |
5 years ago |
| 7 |
On the Conditional Logic of Simulation Models
Duligur Ibeling, Thomas Icard
|
🔮
The Ethereal
|
cs.LO
|
9 |
7 years ago |
| 8 |
Reasoning about disclosure in data integration in the presence of source constraints
Michael Benedikt, Pierre Bourhis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
9 |
6 years ago |
| 9 |
Inconsistency Handling in DatalogMTL
Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
|
🔮
The Ethereal
|
cs.LO
|
6 |
10 months ago |
| 10 |
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Tim S. Lyon, Jonas Karge
|
🔮
The Ethereal
|
cs.LO
|
5 |
1 year ago |
| 11 |
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Leif Eriksson, Victor Lagerkvist
|
🔮
The Ethereal
|
cs.CC
|
4 |
3 years ago |
| 12 |
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
1 year ago |
| 13 |
Automated Strategy Invention for Confluence of Term Rewrite Systems
Liao Zhang, Fabian Mitterwallner, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |