Clemens Ley : Publications
Click here to download all publications in a single bibtex file
@inproceedings{guarded-logics-for-date, title = "On the use of guards for logics with data", author = "Thomas Colcombet and Clemens Ley and Gabriele Puppis", year = "2011", journal = "International Symposium on Mathematical Foundations Of Computer Science", }
@inproceedings{4871, title = "Datalog Relaunched: Simulation Unification and Value Invention", author = "François Bry and Tim Furche and Bruno Marnette and Clemens Ley and Benedikt Linse and Olga Poppe", year = "2011", journal = "Proceedings of the Datalog 2.0 Workshop", }
@inbook{bookSPARQLog, title = "SPARQLog: SPARQL with Rules and Quantification", author = "François Bry and Tim Furche and Bruno Marnette and Clemens Ley and Benedikt Linse and Olga Poppe", year = "2010", booktitle = "Semantic Web Information Management A Model-Based Perspective", chapter = "15", pages = "341-370", publisher = "Springer", }
@inproceedings{benedikt-ley-puppis-amw, title = "What You Must Remember When Processing Data Words", author = "Michael Benedikt and Clemens Ley and Gabriele Puppis", year = "2010", journal = "Alberto Mendelzon Workshop on Foundations of Databases", }
@inproceedings{benedikt-ley-puppis-csl, title = "Automata vs. Logics on Data Words", author = "Michael Benedikt and Clemens Ley and Gabriele Puppis", year = "2010", journal = "EACSL Annual Conference on Computer Science Logic", }
@techreport{4870, title = "Minimal Memory Automata", author = "Michael Benedikt and Clemens Ley and Gabriele Puppis", year = "2010", journal = "Technical Report", note = "Long version of `What You Must Remember When Processing Data Words'.", }
@inproceedings{ley-benedikt-icdt-2009, title = "How Big Must Complete XML Query Languages Be?", author = "Clemens Ley and Michael Benedikt", year = "2009", affiliation = "Oxford University", journal = "International Conference on Database Theory", }
@inproceedings{RDFLog2008, title = "RDFLog: It's like Datalog for RDF", author = "Francois Bry and Tim Furche and Clemens Ley and Benedikt Linse and Bruno Marnette", year = "2008", journal = "Workshop on (Constraint) Logic Programming", }
@inproceedings{conf/rweb/BryEEFGLLPW07, title = "Foundations of Rule-Based Query Answering", author = "Fran\c{c}ois Bry and Norbert Eisinger and Thomas Eiter and Tim Furche and Georg Gottlob and Clemens Ley and Benedikt Linse and Reinhard Pichler and Fang Wei", year = "2007", booktitle = "Reasoning Web", editor = "Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf", pages = "1-153", publisher = "Springer", series = "Lecture Notes in Computer Science", volume = "4636", }