Account
Edit tools
Intern
SucheSearch
English

Attribut:Forschungsgruppe

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Keine Bearbeitungszusammenfassung
Maximilian Marx (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 12: Zeile 12:
* [[Erlaubt Wert::Logische Programmierung und Argumentation]]
* [[Erlaubt Wert::Logische Programmierung und Argumentation]]
* [[Erlaubt Wert::Algebra und Diskrete Strukturen]]
* [[Erlaubt Wert::Algebra und Diskrete Strukturen]]
* [[Erlaubt Wert::Knowledge-aware Artificial Intelligence]]

Version vom 18. Oktober 2024, 10:16 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)
  • Verifikation und formale quantitative Analyse
  • Wissensverarbeitung
  • Logische Programmierung und Argumentation
  • Algebra und Diskrete Strukturen
  • Knowledge-aware Artificial Intelligence
vorherige 202050100250500nächste 20
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.

A
C
D
E
F

Suche:
{
  • "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"
      ]
    }
}
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Forschungsgruppe&oldid=40311“