Attribut:Institution

Dies ist eine Eigenschaft des Typs Zeichenkette.

Annotationen338

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.

1

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

TU Dresden, 01062 Dresden +

A

A Calculus of Order and Interaction +

Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology +

A Calculus of Order and Interaction +

Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology +

A Compact Encoding of Pseudo-Boolean Constraints into SAT +

TU Dresden, Knowledge Representation and Reasoning +

A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +

Technische Universität Dresden +

A Computational Logic Approach to the Suppression Task +

TU Dresden, Knowledge Representation and Reasoning +

A Database Approach for Modeling and Querying Video Data +

LuFg Theoretical Computer Science, RWTH Aachen +

A Description Logic Primer +

arXiv.org +

A Description Logic for Vague Knowledge +

LuFg Theoretical Computer Science, RWTH Aachen +

A Description Logic with Transitive and Converse Roles and Role Hierarchies +

LuFg Theoretical Computer Science, RWTH Aachen, Germany +

A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +

LuFG Theoretical Computer Science, RWTH Aachen +

A Finitary System for First Order Logic +

Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology +

A Formal Definition for Expressive Power of Knowledge Representation Languages +

Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern +

A General Form of Attribute Exploration +

Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden +

A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +

Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden +

A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +

Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology +

A More Efficient Parallel Unit Propagation +

TU Dresden, Knowledge Representation and Reasoning +

A Multi-Dimensional Terminological Knowledge Representation Language +

Max-Planck-Institut für Informatik, Saarbrücken +

A Multi-Dimensional Terminological Knowledge Representation Language +

Max-Planck-Institut für Informatik +

A NEXPTIME-complete Description Logic Strictly Contained in C^2 +

LuFG Theoretical Computer Science, RWTH Aachen +