Benutzerbeiträge von „Stefan Borgwardt“
Aus International Center for Computational Logic
Für Stefan Borgwardt Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
10. September 2015
- 13:2813:28, 10. Sep. 2015 Unterschied Versionen +28 Bytes N Techreport3025/en Page created automatically by parser function on page Techreport3025 aktuell
- 13:2813:28, 10. Sep. 2015 Unterschied Versionen +1.095 Bytes N Techreport3025 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Marcel Lippmann; }} {{Techreport |Title=Tem…“
- 13:2813:28, 10. Sep. 2015 Unterschied Versionen 0 Bytes N Datei:BaBL-LTCS-15-17.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:2613:26, 10. Sep. 2015 Unterschied Versionen +31 Bytes N Inproceedings3053/en Page created automatically by parser function on page Inproceedings3053 aktuell
- 13:2613:26, 10. Sep. 2015 Unterschied Versionen +1.235 Bytes N Inproceedings3053 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Marcel Lippmann }} {{Inproceedings |Referier…“
- 13:2513:25, 10. Sep. 2015 Unterschied Versionen 0 Bytes N Datei:BaBL-AI15.pdf Keine Bearbeitungszusammenfassung aktuell
4. August 2015
- 13:0213:02, 4. Aug. 2015 Unterschied Versionen +20 Bytes Inproceedings3017 Keine Bearbeitungszusammenfassung aktuell
- 13:0213:02, 4. Aug. 2015 Unterschied Versionen +20 Bytes Inproceedings3016 Keine Bearbeitungszusammenfassung
24. Juli 2015
- 13:4213:42, 24. Jul. 2015 Unterschied Versionen +31 Bytes N Inproceedings3035/en Page created automatically by parser function on page Inproceedings3035 aktuell
- 13:4213:42, 24. Jul. 2015 Unterschied Versionen +1.536 Bytes N Inproceedings3035 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Stefan Borgwardt; Barbara Morawska; }} {{Inproceedings |Refer…“ aktuell
- 13:4213:42, 24. Jul. 2015 Unterschied Versionen 0 Bytes N Datei:BaBM-RTA15.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:3813:38, 24. Jul. 2015 Unterschied Versionen +19 Bytes Inproceedings3017 Keine Bearbeitungszusammenfassung
- 13:3713:37, 24. Jul. 2015 Unterschied Versionen +19 Bytes Inproceedings3016 Keine Bearbeitungszusammenfassung
23. Juli 2015
- 12:0112:01, 23. Jul. 2015 Unterschied Versionen −47 Bytes LATPub601 Keine Bearbeitungszusammenfassung
- 12:0012:00, 23. Jul. 2015 Unterschied Versionen +13 Bytes LATPub604 Keine Bearbeitungszusammenfassung aktuell
- 12:0012:00, 23. Jul. 2015 Unterschied Versionen −60 Bytes LATPub604 Keine Bearbeitungszusammenfassung
22. Juli 2015
- 15:4715:47, 22. Jul. 2015 Unterschied Versionen +25 Bytes N Article3012/en Page created automatically by parser function on page Article3012 aktuell
- 15:4715:47, 22. Jul. 2015 Unterschied Versionen +1.403 Bytes N Article3012 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Rafael Peñaloza }} {{Article |Referiert=1 |Title=Reasonin…“
- 15:4715:47, 22. Jul. 2015 Unterschied Versionen 0 Bytes N Datei:BoPe-FSS15.pdf Keine Bearbeitungszusammenfassung aktuell
2. Juli 2015
- 13:0213:02, 2. Jul. 2015 Unterschied Versionen +31 Bytes N Inproceedings3030/en Page created automatically by parser function on page Inproceedings3030 aktuell
- 13:0213:02, 2. Jul. 2015 Unterschied Versionen +1.327 Bytes N Inproceedings3030 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Rafael Peñaloza }} {{Inproceedings |Referiert=1 |Title=Re…“
- 13:0113:01, 2. Jul. 2015 Unterschied Versionen 0 Bytes N Datei:BoPe-FroCoS15.pdf Keine Bearbeitungszusammenfassung aktuell
28. April 2015
- 12:5212:52, 28. Apr. 2015 Unterschied Versionen −59 Bytes LATPub738 Keine Bearbeitungszusammenfassung aktuell
- 12:0712:07, 28. Apr. 2015 Unterschied Versionen +42 Bytes News16 Keine Bearbeitungszusammenfassung
- 12:0512:05, 28. Apr. 2015 Unterschied Versionen 0 Bytes News16 Keine Bearbeitungszusammenfassung
- 12:0112:01, 28. Apr. 2015 Unterschied Versionen +37 Bytes Inproceedings3016 Keine Bearbeitungszusammenfassung
- 12:0012:00, 28. Apr. 2015 Unterschied Versionen −3 Bytes Inproceedings3017 Keine Bearbeitungszusammenfassung
- 11:5711:57, 28. Apr. 2015 Unterschied Versionen +31 Bytes N Inproceedings3017/en Page created automatically by parser function on page Inproceedings3017 aktuell
- 11:5711:57, 28. Apr. 2015 Unterschied Versionen +1.172 Bytes N Inproceedings3017 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Marco Cerami; Rafael Peñaloza }} {{Inproceedings |Referie…“
- 11:5311:53, 28. Apr. 2015 Unterschied Versionen 0 Bytes N Datei:BoCP-IJCAI15.pdf Keine Bearbeitungszusammenfassung aktuell
- 11:0811:08, 28. Apr. 2015 Unterschied Versionen +28 Bytes N Techreport3018/en Page created automatically by parser function on page Techreport3018 aktuell
- 11:0811:08, 28. Apr. 2015 Unterschied Versionen +1.120 Bytes N Techreport3018 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Marco Cerami; Rafael Peñaloza }} {{Techreport |Title=Subs…“ aktuell
- 11:0711:07, 28. Apr. 2015 Unterschied Versionen 0 Bytes N Datei:BoCP-LTCS-15-06.pdf Keine Bearbeitungszusammenfassung aktuell
24. April 2015
- 12:5512:55, 24. Apr. 2015 Unterschied Versionen +44 Bytes News16 Keine Bearbeitungszusammenfassung
- 12:5212:52, 24. Apr. 2015 Unterschied Versionen +31 Bytes N Inproceedings3016/en Page created automatically by parser function on page Inproceedings3016 aktuell
- 12:5212:52, 24. Apr. 2015 Unterschied Versionen +1.289 Bytes N Inproceedings3016 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Veronika Thost }} {{Inproceedings |Referiert=1 |Title=Temp…“
- 12:5212:52, 24. Apr. 2015 Unterschied Versionen 0 Bytes N Datei:BoTh-IJCAI15.pdf Keine Bearbeitungszusammenfassung aktuell
22. April 2015
- 10:0410:04, 22. Apr. 2015 Unterschied Versionen +28 Bytes N Techreport3017/en Page created automatically by parser function on page Techreport3017 aktuell
- 10:0410:04, 22. Apr. 2015 Unterschied Versionen +1.319 Bytes N Techreport3017 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Veronika Thost; }} {{Techreport |Title=Temporal Query Ans…“ aktuell
- 10:0410:04, 22. Apr. 2015 Unterschied Versionen 0 Bytes N Datei:BoTh-LTCS-15-08.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:5809:58, 22. Apr. 2015 Unterschied Versionen +44 Bytes N Datei:Paper.pdf Stefan Borgwardt verschob die Seite Datei:Paper.pdf nach Datei:BoTh-LTCS-15-07.pdf aktuell
- 09:5809:58, 22. Apr. 2015 Unterschied Versionen 0 Bytes K Datei:BoTh-LTCS-15-07.pdf Stefan Borgwardt verschob die Seite Datei:Paper.pdf nach Datei:BoTh-LTCS-15-07.pdf aktuell
- 09:5709:57, 22. Apr. 2015 Unterschied Versionen +28 Bytes N Techreport3012/en Page created automatically by parser function on page Techreport3012 aktuell
- 09:5709:57, 22. Apr. 2015 Unterschied Versionen +815 Bytes N Techreport3012 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Stefan |ErsterAutorNachname=Borgwardt |FurtherAuthors=Veronika Thost }} {{Techreport |Title=LTL over EL Axioms |…“ aktuell
- 09:5509:55, 22. Apr. 2015 Unterschied Versionen 0 Bytes N Datei:BoTh-LTCS-15-07.pdf Keine Bearbeitungszusammenfassung
- 09:4109:41, 22. Apr. 2015 Unterschied Versionen −8 Bytes Stefan Borgwardt Keine Bearbeitungszusammenfassung
14. April 2015
- 19:5419:54, 14. Apr. 2015 Unterschied Versionen −37 Bytes LATPub603 Keine Bearbeitungszusammenfassung aktuell
3. November 2014
- 13:5213:52, 3. Nov. 2014 Unterschied Versionen +298 Bytes Stefan Borgwardt Keine Bearbeitungszusammenfassung
- 13:4813:48, 3. Nov. 2014 Unterschied Versionen +498 Bytes Stefan Borgwardt Keine Bearbeitungszusammenfassung
- 12:2912:29, 3. Nov. 2014 Unterschied Versionen 0 Bytes N Datei:Portrait.jpg Keine Bearbeitungszusammenfassung aktuell