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/07/12 17:57] (current)
tadeusz
Line 11: Line 11:
 % %
 %App %App
 +
 +
  
  
 % %
-2018+2019
 % %
 +
 +
 +@article{HollidayL19:rsl,
 +  author =        {Holliday, Wesley Halcrow and Litak, Tadeusz},
 +  journal =       {Review of Symbolic Logic},
 +  ALTnote =          {Accepted, to appear. Technical report at \url{http://www.escholarship.org/uc/item/8pp4d94t}},
 +  note =          {Accepted, to appear. See also \url{https://escholarship.org/uc/item/01p9x1hv}},
 +  title =         {Complete Additivity and Modal Incompleteness},
 +  year =          {2019},
 +  url =           {https://arxiv.org/abs/1809.07542},
 +  doi =           {10.1017/S1755020317000259},
 +  keywords =  {habil},
 +}
 +
 +
 +@article{LitakV19:lfp1,
 +  author    = {Tadeusz Litak and
 +               Albert Visser},
 +  title     = {Lewisian Fixed Points {I:} Two Incomparable Constructions},
 +  journal   = {CoRR},
 +  volume    = {abs/1905.09450},
 +  year      = {2019},
 +  url       = {http://arxiv.org/abs/1905.09450},
 +  archivePrefix = {arXiv},
 +  eprint    = {1905.09450},
 +  timestamp = {Wed, 29 May 2019 11:27:50 +0200},
 +  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1905-09450},
 +  bibsource = {dblp computer science bibliography, https://dblp.org}
 +}
 +
 +@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},
 +   }
 +   
 +   
 +%
 +%2018
 +%
 +
 +
 +
 +   
  
 @InProceedings{   GoncharovJakobEtAl18, @InProceedings{   GoncharovJakobEtAl18,
Line 229: Line 302:
  
  
-@article{HollidayL18:rsl, 
-  author =        {Holliday, Wesley Halcrow and Litak, Tadeusz}, 
-  journal =       {Review of Symbolic Logic}, 
-  ALTnote =          {Accepted, to appear. Technical report at \url{http://www.escholarship.org/uc/item/8pp4d94t}}, 
-  note =          {Accepted, to appear. See also \url{https://escholarship.org/uc/item/01p9x1hv}}, 
-  title =         {Complete Additivity and Modal Incompleteness}, 
-  year =          {2018}, 
-  url =           {https://arxiv.org/abs/1809.07542}, 
-  keywords =  {habil}, 
-}