| 1 |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
|
🔮
The Ethereal
|
cs.LO
|
39 |
9 years ago |
| 2 |
Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
|
🔮
The Ethereal
|
cs.LO
|
30 |
5 years ago |
| 3 |
lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.LO
|
27 |
9 years ago |
| 4 |
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 5 |
First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 6 |
Aggregate Queries on Sparse Databases
Szymon Toruńczyk
|
🔮
The Ethereal
|
cs.LO
|
19 |
6 years ago |
| 7 |
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Antoine Amarilli, Michael Benedikt
|
🔮
The Ethereal
|
cs.LO
|
17 |
7 years ago |
| 8 |
Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
|
🔮
The Ethereal
|
cs.LO
|
15 |
10 years ago |
| 9 |
Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
5 years ago |
| 10 |
Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
14 |
5 years ago |
| 11 |
Efficient Enumeration Algorithms for Annotated Grammars
Antoine Amarilli, Louis Jachiet, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
13 |
4 years ago |
| 12 |
Expressive power of linear algebra query languages
Floris Geerts, Thomas Muñoz, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
12 |
5 years ago |
| 13 |
Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin, Omri Isac, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
11 |
2 years ago |
| 14 |
Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
|
🔮
The Ethereal
|
cs.LO
|
7 |
6 years ago |
| 15 |
Conjunctive Regular Path Queries with String Variables
Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
6 |
6 years ago |
| 16 |
Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 17 |
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
4 |
9 years ago |
| 18 |
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, ... (+6 more)
|
🔮
The Ethereal
|
cs.FL
|
2 |
6 years ago |
| 19 |
S-semantics -- an example
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
2 |
5 years ago |
| 20 |
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 21 |
FC-Datalog as a Framework for Efficient String Querying
Owen M. Bell, Joel D. Day, Dominik D. Freydenberger
|
🔮
The Ethereal
|
cs.LO
|
1 |
1 year ago |
| 22 |
Learning Aggregate Queries Defined by First-Order Logic with Counting
Steffen van Bergerem, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
0 |
1 year ago |