TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Anmelden
Edit tools
Diskussion
Quelltext anzeigen
Versionsgeschichte
Intern
Suche
Search
English
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner
Attribut:Author
Aus International Center for Computational Logic
Wechseln zu:
Navigation
,
Suche
Dies ist eine Eigenschaft des Typs
Seite
.
Annotationen
5397
Fehlerhafte Annotationen
1
vorherige 20
20
50
100
250
500
nächste 20
Filter
<p>Der <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:</p><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
+
(
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ
+
Sebastian Rudolph
+
,
Nadeschda Nikitina
+
1
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004
+
Franz Baader
+
,
A. Voronkonv
+
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002
+
Steffen Hölldobler
+
,
Bertram Fronhöfer
+
18th International Conference on Rewriting Techniques and Applications (RTA 2007)
+
Franz Baader
+
2
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection
+
Carsten Lutz
+
,
M. Lange
+
6
6th Workshop on Unification
+
Franz Baader
+
,
J. Siekmann
+
,
W. Snyder
+
?
???
+
Michael Thielscher
+
,
Sven-Erik Bornscheuer
+
A
A "Converse" of the Banach Contraction Mapping Theorem
+
Pascal Hitzler
+
,
Anthony Karel Seda
+
A Behavioral Characterization of Computational Systems
+
Martin Diller
+
,
Javier Oscar Blanco
+
,
Pio Garcia
+
,
…
A Benchmark Framework for a Computational Argumentation Competition
+
Matthias Thimm
+
,
Federico Cerutti
+
,
Mauro Vallati
+
,
…
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
+
Markus Krötzsch
+
,
Pascal Hitzler
+
,
Frederick Maier
+
,
…
A Brief Introduction to Formal Concept Analysis
+
Markus Krötzsch
+
,
Bernhard Ganter
+
A Calculus of Order and Interaction
+
Alessio Guglielmi
+
A Calculus of Order and Interaction
+
Alessio Guglielmi
+
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage
+
Heiko Vogler
+
,
Luisa Herrmann
+
A Closer Look at the Semantic Relationship between Datalog and Description Logics
+
Markus Krötzsch
+
,
Sebastian Rudolph
+
,
Peter H. Schmitt
+
A Compact Encoding of Pseudo-Boolean Constraints into SAT
+
Steffen Hölldobler
+
,
Norbert Manthey
+
,
Peter Steinke
+
A Compact Encoding of Pseudo-Boolean Constraints into SAT
+
Norbert Manthey
+
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation
+
Sarah Alice Gaggl
+
Es wird ein ähnliches Objekt angezeigt.
P
Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden.
+
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen