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:Pages
Aus International Center for Computational Logic
Wechseln zu:
Navigation
,
Suche
Dies ist eine Eigenschaft des Typs
Zeichenkette
.
Annotationen
1314
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.
A
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
+
3-24
+
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
+
219-241
+
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
+
138-153
+
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
+
188 - 201
+
A Description Logic for Vague Knowledge
+
361-365
+
A Description Logic of Change
+
218-223
+
A Description Logic with Concrete Domains and Role-forming Predicates
+
351-384
+
A Description Logic with Transitive and Inverse Roles and Role Hierarchies
+
385-410
+
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem
+
10:1-10:14
+
A Finite Basis for the Set of EL-Implications Holding in a Finite Model
+
46-61
+
A Formal Definition for Expressive Power of Knowledge Representation Languages
+
53-58
+
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
+
33-54
+
A Formal Theory of Justifications
+
250--264
+
A Framework for Intuitionistic Grammar Logics
+
495-503
+
A Framework for Reasoning about Dynamic Axioms in Description Logics
+
1681--1687
+
A Framework for Semantic-based Similarity Measures for ELH-Concepts
+
307-319
+
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
+
666-671
+
A Fuzzy Description Logic with Hedges as Concept Modifiers
+
25-34
+
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
+
9-20
+
A Generic Approach for Correcting Access Restrictions to a Consequence
+
167-182
+
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen