Attribut:Titel EN

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 Research Associates / PhD Students (m/f/x)  +
11th EMCL Workshop  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
12th EMCL Workshop  +
17. WLP - Workshop Logic Programming  +
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
38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden  +
38th German Conference on Artificial Intelligence  +
8
8th International Summer School on AI and 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  +