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:Event series
Aus International Center for Computational Logic
Wechseln zu:
Navigation
,
Suche
This attribute categorises a series of events.
Annotationen
273
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
+
Research Seminar Logic and AI
+
A
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
+
Research Seminar Logic and AI
+
A Dichotomy for Evaluating Simple Regular Path Queries
+
KBS Seminar
+
A Glimpse into Propositional Model Counting
+
Research Seminar Logic and AI
+
A Logic-based Reasoning Framework for Graph Databases
+
Research Seminar Logic and AI
+
A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment
+
Research Seminar Logic and AI
+
A SHACL primer for KR researchers
+
Research Seminar Logic and AI
+
A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
+
Research Seminar Logic and AI
+
A Single Approach to Decide Chase Termination on Linear Existential Rules
+
KBS Seminar
+
A diamond in the rough: Theorizing column stores
+
KBS Seminar
+
A gentle introduction to partition width
+
KBS Seminar
+
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation
+
KBS Seminar
+
ASNP: a tame fragment of existential second-order logic
+
KBS Seminar
+
ASPARTIX-D Ready for the Competition
+
KBS Seminar
+
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors
+
Research Seminar Logic and AI
+
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning
+
Research Seminar Logic and AI
+
Abstract Domains for Database Manipulating Processes
+
Research Seminar Logic and AI
+
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
+
Research Seminar Logic and AI
+
Adding Threshold Concepts to the Description Logic EL
+
KBS Seminar
+
Admissibility in Probabilistic Argumentation
+
Research Seminar Logic and AI
+
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen