Attribut:Publication text en

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.
(
Nadeschda Nikitina, Sebastian Rudolph<br/> '''[[Article4010/en|(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ]]''' <br/>__NOTOC__Artificial Intelligence, 215:120-140, October 2014<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article4010|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:NR2014.pdf|Download]]  +
1
Franz Baader, A. Voronkonv<br /> '''[[LATPub313/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub313|Details]]  +
Bertram Fronhöfer, Steffen Hölldobler<br /> '''[[WVPub220/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub220|Details]]  +
Franz Baader<br /> '''[[LATPub365/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub365|Details]]  +
2
M. Lange, Carsten Lutz<br/> '''[[LATPub310/en|2-ExpTime lower bounds for Propositional Dynamic Logics with intersection]]''' <br/>__NOTOC__Journal of Symbolic Logic, 70(5):1072-1086, 2005<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub310|Details]] <span class="glyphicon glyphicon-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/en|6th Workshop on Unification]]''' <br/>__NOTOC__Dagstuhl-Seminar-Report 42. , 1992<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[LATPub38|Details]]  +
?
Sven-Erik Bornscheuer, Michael Thielscher<br/> '''[[WVPub8/en|???]]''' <br/>__NOTOC__Fortschritte in der Künstlichen Intelligenz, Dresden University Press, 1996<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub8|Details]]  +
A
Pascal Hitzler, Anthony Karel Seda<br/> '''[[WVPub83/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub83|Details]]  +
Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini<br/> '''[[Inproceedings3220/en|<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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3220|Details]]  +
Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler<br/> '''[[Inproceedings4025/en|<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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings4025|Details]] <span class="glyphicon glyphicon-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/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Incollection2003|Details]]  +
Alessio Guglielmi<br /> '''[[WVPub29/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub29|Details]]  +
Alessio Guglielmi<br /> '''[[WVPub352/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub352|Details]]  +
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt<br/> '''[[Article3010/en|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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3010|Details]] <span class="glyphicon glyphicon-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/en|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub338|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Steinke:11:KI.pdf|Download]]  +
Norbert Manthey<br /> '''[[Misc3052/en|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__KI 2012, Saarbrücken, Germany, September 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Misc3052|Details]]  +
Sarah Alice Gaggl <br /> '''[[Phdthesis3001/en|A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation]]''' <br>__NOTOC__Phd thesis, TU Wien, 2013/03/04<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Phdthesis3001|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Dissertation Gaggl2013.pdf|Download]]  +
Steffen Hölldobler<br /> '''[[Misc3044/en|A Computational Logic Approach to Human Reasoning]]''' <br />__NOTOC__Simon Fraser University, Vancouver, Canada, March 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Misc3044|Details]]  +
Emmanuelle-Anna Dietz<br/> '''[[Inproceedings3039/en|<b>A Computational Logic Approach to Syllogisms in Human Reasoning</b>]]''' <br/>__NOTOC__In Ulrich Furbach, Claudia Schon, eds., <i>Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31.</i>, 17-31, 2015<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3039|Details]]  +
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni<br /> '''[[WVPub171/en|A Computational Logic Approach to the Abstract and the Social Case of the Selection Task]]''' <br />__NOTOC__Technical Report, ''Technische Universität Dresden'', volume 3, 2013<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub171|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:dietz:hoelldobler:ragni:submitted.pdf|Download]]  +