Attribut:Titel DE
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
"
"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 Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics +
