Follow
Clemens Ley
Clemens Ley
Founder of Bitcoin Computer
Verified email at bitcoincomputer.io - Homepage
Title
Cited by
Cited by
Year
Foundations of rule-based query answering
F Bry, N Eisinger, T Eiter, T Furche, G Gottlob, C Ley, B Linse, R Pichler, ...
Reasoning Web, 1-153, 2007
542007
Automata vs. logics on data words
M Benedikt, C Ley, G Puppis
Computer Science Logic, 110-124, 2010
392010
What you must remember when processing data words
M Benedikt, C Ley, G Puppis
Proc. 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management …, 2010
382010
RDFLog: It’s like Datalog for RDF
F Bry, T Furche, C Ley, B Linse, B Marnette
Proc. Workshop on (Constraint) Logic Programming (WLP), 2008
242008
SPARQLog: SPARQL with rules and quantification
F Bry, T Furche, B Marnette, C Ley, B Linse, O Poppe
Semantic Web Information Management: A Model-based Perspective, 34, 2010
182010
Logics with rigidly guarded data tests
T Colcombet, C Ley, G Puppis
Proceedings of FREC 2014-Frontiers of Recognizability, 2014
172014
On the use of guards for logics with data
T Colcombet, C Ley, G Puppis
International Symposium on Mathematical Foundations of Computer Science, 243-255, 2011
162011
Querying schemas with access restrictions
M Benedikt, P Bourhis, C Ley
arXiv preprint arXiv:1203.6403, 2012
132012
Taming existence in rdf querying
F Bry, T Furche, C Ley, B Linse, B Marnette
Web Reasoning and Rule Systems: Second International Conference, RR 2008 …, 2008
102008
Analysis of schemas with access restrictions
M Benedikt, P Bourhis, C Ley
ACM Transactions on Database Systems (TODS) 40 (1), 1-46, 2015
92015
Minimal memory automata
M Benedikt, C Ley, G Puppis
Alberto Mendelzon Workshop on Foundations of Databases, 2010
72010
How big must complete XML query languages be?
C Ley, M Benedikt
Proceedings of the 12th International Conference on Database Theory, 183-200, 2009
72009
Datalog relaunched: Simulation unification and value invention
F Bry, T Furche, C Ley, B Marnette, B Linse, S Schaffert
Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011
42011
Logics with rigidly guarded data tests
G Puppis, T Colcombet, C Ley
Logical Methods in Computer Science 11, 2015
32015
Limiting until in ordered tree query languages
M Benedikt, C Ley
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-34, 2016
22016
Logics with rigidly guarded data tests
T Colcombet, C Ley, G Puppis
Proceedings of FREC 2014-Frontiers of Recognizability, 2014
2014
Forward looking logics and automata
C Ley
Oxford University Computing Laboratory, 2011
2011
On the use of guards for logics with data
C Ley
International Symposium on Mathematical Foundations Of Computer Science, 2011
2011
Minimal Memory Automata
C Ley
Technical Report, 2010
2010
RDFLog: It's like Datalog for RDF
C Ley
Workshop on (Constraint) Logic Programming, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–20