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.

A

A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +

LuFg Theoretical Computer Science, RWTH Aachen +

A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +

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

A New n-ary Existential Quantifier in Description Logics +

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

A Normalization Algorithm for Automated First-Order Value Iteration +

Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany +

A Note on Relative Observability in Coordination Control +

arXiv.org +

A Note on Undecidability of Observation Consistency for Non-Regular Languages +

arXiv.org +

A PSpace-algorithm for ALCQI-satisfiability +

LuFG Theoretical Computer Science, RWTH Aachen +

A PSpace-algorithm for deciding ALCNI_R^+-satisfiability +

LuFG Theoretical Computer Science, RWTH Aachen +

A Scheme for Integrating Concrete Domains into Concept Languages +

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

A Semantics for Open Normal Defaults via a Modified Preferential Approach +

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

A System of Interaction and Structure +

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

A Systematic Proof Theory for Several Modal Logics +

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

A Tableau Algorithm for DLs with Concrete Domains and GCIs +

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

A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +

LuFG Theoretical Computer Science, RWTH Aachen +

A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version +

LuFG Theoretical Computer Science, RWTH Aachen +

A Visual-Sensor Model for Mobile Robot Localisation +

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

A finite basis for the set of EL-implications holding in a finite model +

Inst. für Theoretische Informatik, TU Dresden +

A framework for connection calculi +

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

A generalized resolution theorem +

Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany +

A nice Cycle Rule for Goal-Directed E-Unification +

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