Attribut:Publication text

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

This property holds the complete Text blob that is used to display a publication.

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
Bartosz Bednarczyk, Jakub Michaliszyn<br/> '''[[Inproceedings3240|<b>"Most of" leads to undecidability: Failure of adding frequencies to LTL</b>]]''' <br/>__NOTOC__In Stefan Kiefer, Christine Tasson, eds., <i>Proceedings of the Foundations of Software Science and Computation Structures - 24th International Conference (FOSSACS 2021)</i>, volume 12650 of Lecture Notes in Computer Science, 82--101, March 2021. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3240|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:BBE-FOSSACS-21.pdf|Download]]  +
(
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Article4010|(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ]]''' <br/>__NOTOC__Artificial Intelligence, 215:120-140, October 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article4010|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:NR2014.pdf|Download]]  +
1
Franz Baader, A. Voronkonv<br /> '''[[LATPub313|11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004]]''' <br/>__NOTOC__Volume 3452 of Lecture Notes in Artificial Intelligence. ''Springer'', 2005<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub313|Details]]  +
Bertram Fronhöfer, Steffen Hölldobler<br /> '''[[WVPub220|17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002]]''' <br />__NOTOC__Technical Report, ''TU Dresden, 01062 Dresden'', volume TUD--FI03--03, April 2003<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub220|Details]]  +
Franz Baader<br /> '''[[LATPub365|18th International Conference on Rewriting Techniques and Applications (RTA 2007)]]''' <br/>__NOTOC__Volume 4533 of Lecture Notes in Computer Science. ''Springer'', 2007<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub365|Details]]  +
2
M. Lange, Carsten Lutz<br/> '''[[LATPub310|2-ExpTime lower bounds for Propositional Dynamic Logics with intersection]]''' <br/>__NOTOC__Journal of Symbolic Logic, 70(5):1072-1086, 2005<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub310|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:LangeLutz-JSL-05.ps.gz|Download]]  +
6
Franz Baader, J. Siekmann, W. Snyder<br /> '''[[LATPub38|6th Workshop on Unification]]''' <br/>__NOTOC__Dagstuhl-Seminar-Report 42. , 1992<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[LATPub38|Details]]  +
?
Sven-Erik Bornscheuer, Michael Thielscher<br/> '''[[WVPub8|???]]''' <br/>__NOTOC__Fortschritte in der Künstlichen Intelligenz, Dresden University Press, 1996<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub8|Details]]  +
A
Pascal Hitzler, Anthony Karel Seda<br/> '''[[WVPub83|A "Converse" of the Banach Contraction Mapping Theorem]]''' <br/>__NOTOC__Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3-6, 2001<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub83|Details]]  +
Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini<br/> '''[[Inproceedings3220|<b>A Behavioral Characterization of Computational Systems</b>]]''' <br/>__NOTOC__In Verlagshaus Monsenstein und Vannerdat OHG, eds., <i>Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy</i>, 30-33, 2011<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3220|Details]]  +
Federico Cerutti, Nir Oren, Hannes Straß, Matthias Thimm, Mauro Vallati<br/> '''[[Inproceedings391448391|<b>A Benchmark Framework for a Computational Argumentation Competition</b>]]''' <br/>__NOTOC__In Simon Parsons and Nir Oren and Chris Reed, eds., <i>Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA)</i>, volume 266 of Frontiers in Artificial Intelligence and Applications, 459--460, September 2014. IOS Press<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings391448391|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:HS1013794121_2014_COMMA14-7.pdf|Download]]  +
Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler<br/> '''[[Inproceedings4025|<b>A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies</b>]]''' <br/>__NOTOC__<i>Proc. 20th International Conference on World Wide Web (WWW'11)</i>, 645-654, March 2011. ACM<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4025|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]]  +
Markus Krötzsch, Bernhard Ganter<br /> '''[[Incollection2003|A Brief Introduction to Formal Concept Analysis]]''' <br>__NOTOC__In Pascal Hitzler and Hendrik Schärfe, eds., ''Conceptual Structures in Practice'', CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Incollection2003|Details]]  +
Alessio Guglielmi<br /> '''[[WVPub29|A Calculus of Order and Interaction]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-01-01, 2001<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub29|Details]]  +
Alessio Guglielmi<br /> '''[[WVPub352|A Calculus of Order and Interaction]]''' <br />__NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-1999-04, 1999<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub352|Details]]  +
Luisa Herrmann, Heiko Vogler<br/> '''[[Inproceedings3314|<b>A Chomsky-Schützenberger Theorem for Weighted Automata with Storage</b>]]''' <br/>__NOTOC__In Andreas Maletti, eds., <i>Algebraic Informatics</i>, volume 9270 of Lecture Notes in Computer Science, 115-127, 2015. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3314|Details]]  +
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt<br/> '''[[Article3010|A Closer Look at the Semantic Relationship between Datalog and Description Logics]]''' <br/>__NOTOC__Semantic Web Journal, 6(1):63-79, 2015<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3010|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Kroetzsch-Rudolph-Schmitt-Datalog-DL-2015.pdf|Download]]  +
Steffen Hölldobler, Norbert Manthey, Peter Steinke<br /> '''[[WVPub338|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[WVPub338|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Steinke:11:KI.pdf|Download]]  +
Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__KI 2012, Saarbrücken, Germany, September 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3052|Details]]  +
Sarah Alice Gaggl<br /> '''[[Phdthesis3001|A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation]]''' <br>__NOTOC__Phd thesis, TU Wien, 2013/03/04<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Phdthesis3001|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Dissertation Gaggl2013.pdf|Download]]  +