Attribut:Forschungsgruppe

This property links to a research group page.

Only the following values are permitted:

Automatentheorie
Computational Logic
Wissensbasierte Systeme
- Knowledge Systems (legacy alias of Knowledge-Based Systems)
- Knowledge-Based Systems (legacy alias of Wissensbasierte Systeme)
Verifikation und formale quantitative Analyse
Wissensverarbeitung
Logische Programmierung und Argumentation
Algebra und Diskrete Strukturen
Knowledge-aware Artificial Intelligence

Annotationen3158Dateneinschränkungsschema

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 +

Computational Logic +

(

(Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +

Computational Logic +

1

11 wiss. Mitarbeiter/innen / Dokotrand/innen (m/w/d) +

Wissensbasierte Systeme +

11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +

Wissensverarbeitung +

11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +

Automatentheorie +

17. WLP - Workshop Logische Programmierung +

Wissensverarbeitung +

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

Wissensverarbeitung +

18th International Conference on Rewriting Techniques and Applications (RTA 2007) +

Automatentheorie +

2

2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +

Automatentheorie +

22nd Workshop on (Constraint) Logic Programming 2008 +

Wissensverarbeitung +

29th Workshop on (Constraint) Logic Programming (WLP 2015) +

Wissensverarbeitung +

29th Workshop on (Constraint) Logic Programming (WLP 2015) +

Computational Logic +, Automatentheorie +, Wissensverarbeitung +, …

3

38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden +

Wissensverarbeitung +

38th German Conference on Artificial Intelligence +

Computational Logic +, Automatentheorie +, Wissensverarbeitung +, …

6

6th Workshop on Unification +

Automatentheorie +

9

9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) +

Computational Logic +

?

??? +

Wissensverarbeitung +

A

A "Converse" of the Banach Contraction Mapping Theorem +

Wissensverarbeitung +

A Behavioral Characterization of Computational Systems +

Computational Logic +, Logische Programmierung und Argumentation +

A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +

Wissensbasierte Systeme +

Es kann einen Moment dauern, bis die Abfrage ausgeführt wurde.


Vorbereiten …
{
    "type": "PROPERTY_CONSTRAINT_SCHEMA",
    "constraints": {
        "type_constraint": "_wpg",
        "allowed_values": [
            "Computational Logic",
            "Automatentheorie",
            "Wissensverarbeitung",
            "Knowledge-Based Systems",
            "Knowledge Systems",
            "Wissensbasierte Systeme",
            "Verifikation und formale quantitative Analyse",
            "Logische Programmierung und Argumentation",
            "Algebra und Diskrete Strukturen",
            "Knowledge-aware Artificial Intelligence"
        ]
    }
}