Attribut:Titel DE

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

Dies ist eine Eigenschaft des Typs Zeichenkette.

Seiten mit dem Attribut „Titel DE“

Es werden 25 Seiten angezeigt, die dieses Attribut verwenden:

(vorherige 25) (nächste 25)

1

11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +11th European Conference on Logics in Artificial Intelligence (JELIA-2008)  +
12th EMCL Workshop +12. EMCL Workshop  +
17. WLP - Workshop Logic Programming +17. WLP - Workshop Logische Programmierung  +

2

22nd Workshop on (Constraint) Logic Programming 2008 +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 +38th German Conference on Artificial Intelligence  +

9

9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) +9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)  +

A

A Dichotomy for Evaluating Simple Regular Path Queries +A Dichotomy for Evaluating Simple Regular Path Queries  +
A Single Approach to Decide Chase Termination on Linear Existential Rules +A Single Approach to Decide Chase Termination on Linear Existential Rules  +
A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation +A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation  +
A proof of CSP Dichotomy conjecture +A proof of CSP Dichotomy conjecture  +
ASPARTIX-D Ready for the Competition +ASPARTIX-D Ready for the Competition  +
Adaptive Language Interaction +Adaptive Language Interaction  +
Adding Threshold Concepts to the Description Logic EL +Adding Threshold Concepts to the Description Logic EL  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Public Coin Protocols (Vorlesung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Interactive Proof Systems with Deterministic and Probabilistic Verifiers (Vorlesung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Counting Complexity (Vorlesung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Revision Randomized Computation (Übung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: #SAT_D ∈ IP (Vorlesung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Interactive Proofs (Übung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Details on the Proof of the GNI ∈ AM (Übung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Revision Circuits (Übung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: An Interactive Protocol for the Permanent (Übung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Introduction (Vorlesung)  +
Advanced Topics in Complexity Theory (SS2016) +Advanced Topics in Complexity Theory: Function Problems (Vorlesung)  +
(vorherige 25) (nächste 25)