Attribut:Forschungsgruppe

Aktuelle Version vom 5. März 2025, 14:45 Uhr

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)
Algebraische und logische Grundlagen der Informatik
Wissensverarbeitung
Logische Programmierung und Argumentation
Algebra und Diskrete Strukturen
Knowledge-aware Artificial Intelligence

Annotationen3409Fehlerhafte Annotationen10Dateneinschrä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 werden 10 ähnliche Objekte angezeigt. Weitere sind vorhanden.

{"type": "PROPERTY_CONSTRAINT_SCHEMA",
-
"constraints": {"type_constraint": "_wpg",
-
"allowed_values": ["Computational Logic",
"Automatentheorie",
"Wissensverarbeitung",
"Knowledge-Based Systems",
"Knowledge Systems",
"Wissensbasierte Systeme",
"Logische Programmierung und Argumentation",
"Algebra und Diskrete Strukturen",
"Knowledge-aware Artificial Intelligence",
"Algebraische und logische Grundlagen der Informatik"
]
}
}

@@ Zeile 8: / Zeile 8: @@
 ** [[Erlaubt Wert::Knowledge Systems]] (legacy alias of Knowledge-Based Systems)
 ** [[Erlaubt Wert::Knowledge-Based Systems]] (legacy alias of Wissensbasierte Systeme)
-* [[Erlaubt Wert::Verifikation und formale quantitative Analyse]]
+* [[Erlaubt Wert::Algebraische und logische Grundlagen der Informatik]]
 * [[Erlaubt Wert::Wissensverarbeitung]]
 * [[Erlaubt Wert::Logische Programmierung und Argumentation]]
 * [[Erlaubt Wert::Algebra und Diskrete Strukturen]]
 * [[Erlaubt Wert::Knowledge-aware Artificial Intelligence]]