Attribut:Publication text en

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

Annotationen2105

vorherige 20 20 50 100 250 500 nächste 20

FilterDer <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:<ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

"

"Most of" leads to undecidability: Failure of adding frequencies to LTL +

Bartosz Bednarczyk, Jakub Michaliszyn '''[[Inproceedings3240/en|"Most of" leads to undecidability: Failure of adding frequencies to LTL]]''' __NOTOC__In Stefan Kiefer, Christine Tasson, eds., Proceedings of the Foundations of Software Science and Computation Structures - 24th International Conference (FOSSACS 2021), volume 12650 of Lecture Notes in Computer Science, 82--101, March 2021. Springer [[Inproceedings3240|Details]] [[Media:BBE-FOSSACS-21.pdf|Download]] +

(

(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +

Nadeschda Nikitina, Sebastian Rudolph '''[[Article4010/en|(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ]]''' __NOTOC__Artificial Intelligence, 215:120-140, October 2014 [[Article4010|Details]] [[Media:NR2014.pdf|Download]] +

1

11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +

Franz Baader, A. Voronkonv '''[[LATPub313/en|11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004]]''' __NOTOC__Volume 3452 of Lecture Notes in Artificial Intelligence. ''Springer'', 2005 [[LATPub313|Details]] +

17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +

Bertram Fronhöfer, Steffen Hölldobler '''[[WVPub220/en|17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002]]''' __NOTOC__Technical Report, ''TU Dresden, 01062 Dresden'', volume TUD--FI03--03, April 2003 [[WVPub220|Details]] +

18th International Conference on Rewriting Techniques and Applications (RTA 2007) +

Franz Baader '''[[LATPub365/en|18th International Conference on Rewriting Techniques and Applications (RTA 2007)]]''' __NOTOC__Volume 4533 of Lecture Notes in Computer Science. ''Springer'', 2007 [[LATPub365|Details]] +

2

2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +

M. Lange, Carsten Lutz '''[[LATPub310/en|2-ExpTime lower bounds for Propositional Dynamic Logics with intersection]]''' __NOTOC__Journal of Symbolic Logic, 70(5):1072-1086, 2005 [[LATPub310|Details]] [[Media:LangeLutz-JSL-05.ps.gz|Download]] +

6

6th Workshop on Unification +

Franz Baader, J. Siekmann, W. Snyder '''[[LATPub38/en|6th Workshop on Unification]]''' __NOTOC__Dagstuhl-Seminar-Report 42. , 1992 [[LATPub38|Details]] +

?

??? +

Sven-Erik Bornscheuer, Michael Thielscher '''[[WVPub8/en|???]]''' __NOTOC__Fortschritte in der Künstlichen Intelligenz, Dresden University Press, 1996 [[WVPub8|Details]] +

A

A "Converse" of the Banach Contraction Mapping Theorem +

Pascal Hitzler, Anthony Karel Seda '''[[WVPub83/en|A "Converse" of the Banach Contraction Mapping Theorem]]''' __NOTOC__Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3-6, 2001 [[WVPub83|Details]] +

A Behavioral Characterization of Computational Systems +

Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini '''[[Inproceedings3220/en|A Behavioral Characterization of Computational Systems]]''' __NOTOC__In Verlagshaus Monsenstein und Vannerdat OHG, eds., Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy, 30-33, 2011 [[Inproceedings3220|Details]] +

A Benchmark Framework for a Computational Argumentation Competition +

Federico Cerutti, Nir Oren, Hannes Straß, Matthias Thimm, Mauro Vallati '''[[Inproceedings391448391/en|A Benchmark Framework for a Computational Argumentation Competition]]''' __NOTOC__In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 459--460, September 2014. IOS Press [[Inproceedings391448391|Details]] [[Media:HS1013794121_2014_COMMA14-7.pdf|Download]] +

A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler '''[[Inproceedings4025/en|A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies]]''' __NOTOC__Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM [[Inproceedings4025|Details]] [[Media:Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf|Download]] +

A Brief Introduction to Formal Concept Analysis +

Markus Krötzsch, Bernhard Ganter '''[[Incollection2003/en|A Brief Introduction to Formal Concept Analysis]]''' __NOTOC__In Pascal Hitzler and Hendrik Schärfe, eds., ''Conceptual Structures in Practice'', CRC Studies in Informatics, 3--16. Chapman & Hall, May 2009 [[Incollection2003|Details]] +

A Calculus of Order and Interaction +

Alessio Guglielmi '''[[WVPub29/en|A Calculus of Order and Interaction]]''' __NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-01-01, 2001 [[WVPub29|Details]] +

A Calculus of Order and Interaction +

Alessio Guglielmi '''[[WVPub352/en|A Calculus of Order and Interaction]]''' __NOTOC__Technical Report, ''Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology'', volume WV-1999-04, 1999 [[WVPub352|Details]] +

A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +

Luisa Herrmann, Heiko Vogler '''[[Inproceedings3314/en|A Chomsky-Schützenberger Theorem for Weighted Automata with Storage]]''' __NOTOC__In Andreas Maletti, eds., Algebraic Informatics, volume 9270 of Lecture Notes in Computer Science, 115-127, 2015. Springer [[Inproceedings3314|Details]] +

A Closer Look at the Semantic Relationship between Datalog and Description Logics +

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt '''[[Article3010/en|A Closer Look at the Semantic Relationship between Datalog and Description Logics]]''' __NOTOC__Semantic Web Journal, 6(1):63-79, 2015 [[Article3010|Details]] [[Media:Kroetzsch-Rudolph-Schmitt-Datalog-DL-2015.pdf|Download]] +

A Compact Encoding of Pseudo-Boolean Constraints into SAT +

Steffen Hölldobler, Norbert Manthey, Peter Steinke '''[[WVPub338/en|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' __NOTOC__Technical Report, ''TU Dresden, Knowledge Representation and Reasoning'', 2012 [[WVPub338|Details]] [[Media:Steinke:11:KI.pdf|Download]] +

A Compact Encoding of Pseudo-Boolean Constraints into SAT +

Norbert Manthey '''[[Misc3052/en|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' __NOTOC__KI 2012, Saarbrücken, Germany, September 2012 [[Misc3052|Details]] +

A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +

Sarah Alice Gaggl '''[[Phdthesis3001/en|A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation]]''' __NOTOC__Phd thesis, TU Wien, 2013/03/04 [[Phdthesis3001|Details]] [[Media:Dissertation Gaggl2013.pdf|Download]] +