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  +
11th EMCL Workshop  +
11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
12th EMCL Workshop  +
17. WLP - Workshop Logic Programming  +
22nd Workshop on (Constraint) Logic Programming 2008  +
29th Workshop on (Constraint) Logic Programming (WLP 2015)  +
29th Workshop on (Constraint) Logic Programming (WLP 2015)  +
38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden  +
38th German Conference on Artificial Intelligence  +
9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  +
A Dichotomy for Evaluating Simple Regular Path Queries  +
A Distributed Blockchain Model of Selfish Mining  +
A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics  +
A Single Approach to Decide Chase Termination on Linear Existential Rules  +
A diamond in the rough: Theorizing column stores  +
A gentle introduction to partition width  +
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  +
A proof of CSP Dichotomy conjecture  +
A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications  +