Attribut:Titel EN
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 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 Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics +
