Attribut:Titel DE

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

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  +
1
11 wiss. Mitarbeiter/innen / Dokotrand/innen (m/w/d)  +
11. EMCL Workshop  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
12. EMCL Workshop  +
17. WLP - Workshop Logische Programmierung  +
2
22nd Workshop on (Constraint) Logic Programming 2008  +
29th Workshop on (Constraint) Logic Programming (WLP 2015)  +
29th Workshop on (Constraint) Logic Programming (WLP 2015)  +
3
38. German Conference on Artificial Intelligence (KI2015) wird in Dresden stattfinden  +
38th German Conference on Artificial Intelligence  +
8
8. Internationale Sommerschule über KI und Big Data  +
9
9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  +
A
A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic  +
A Dichotomy for Evaluating Simple Regular Path Queries  +
A Distributed Blockchain Model of Selfish Mining  +
A Glimpse into Propositional Model Counting  +
A Logic-based Reasoning Framework for Graph Databases  +
A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  +
A SHACL primer for KR researchers  +