EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

chair8 [2018/11/05 21:35]
sergey +A Semantics for Hybrid Iteration
chair8 [2019/05/31 08:59] (current)
lutz
Line 16: Line 16:
 % 2018 % 2018
 % %
 +
 +@inproceedings{WildEA19,
 +   author = {Paul Wild and Lutz Schr{\"o}der and Dirk Pattinson and Barbara K{\"o}nig},
 +   title = {A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic},
 +   booktitle = {Proc. International Joint Conference on Artificial Intelligence, IJCAI 2019},
 +   editor = {Sarit Kraus},
 +   publisher = {ijcai.org},
 +   note = {to appear},
 +   comment = {<a href="https://www8.cs.fau.de/_media/research:papers:charact-prob-fuzzy.pdf">[preprint]</a>},
 +   year = {2019},
 +   }
 +
 +@article{EvertEA19,
 +  author = {Stefan Evert and Philipp Heinrich and Klaus Henselmann and Ulrich Rabenstein 
 +            and Elisabeth Scherr and Martin Schmitt and Lutz Schr{\"o}der},
 +  title = {Combining Machine Learning and Semantic Features in the
 +           Classification of Corporate Disclosures},
 +  journal = {J. Logic, Language and Information (JoLLI)},
 +  year = {2019},
 +  comment = {<a href="https://www8.cs.fau.de/_media/research:papers:adhoc.pdf">[preprint]</a>},
 +  note = {to appear},
 +  }
 +  
 +@inproceedings{HausmannSchroder19,
 +   author = {Daniel Hausmann and Lutz Schr{\"o}der},
 +   title = {Optimal Satisfiability Checking for Arithmetic mu-Calculi},
 +   booktitle = {Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019},
 +   editor = {Mikolaj Bojanczyk and Alex Simpson},
 +   publisher = {Springer},
 +   series = {LNCS},
 +   note = {to appear},
 +   year = {2019},
 +   }
  
 @InProceedings{   GoncharovJakobEtAl18, @InProceedings{   GoncharovJakobEtAl18,