Verwaiste Seiten

Die folgenden Seiten werden nicht eingebunden oder es wird nicht auf sie in International Center for Computational Logic verwiesen.

Unten werden bis zu 50 Ergebnisse im Bereich 1 bis 50 angezeigt.

1. "Most of" leads to undecidability: Failure of adding frequencies to LTL.
2. "Most of" leads to undecidability: Failure of adding frequencies to LTL./en
3. 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)
4. 11th European Conference on Logics in Artificial Intelligence (JELIA-2008)/en
5. 12th EMCL Workshop
6. 12th EMCL Workshop/en
7. 17. WLP - Workshop Logic Programming
8. 17. WLP - Workshop Logic Programming/en
9. 22nd Workshop on (Constraint) Logic Programming 2008
10. 22nd Workshop on (Constraint) Logic Programming 2008/en
11. 29th Workshop on (Constraint) Logic Programming (WLP 2015)
12. 29th Workshop on (Constraint) Logic Programming (WLP 2015)/en
13. 38th German Conference on Artificial Intelligence
14. 38th German Conference on Artificial Intelligence/en
15. 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
16. 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)/en
17. A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications
18. A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications/en
19. ASNP: a tame fragment of existential second-order logic
20. ASPARTIX-D Ready for the Competition
21. ASPARTIX-D Ready for the Competition/en
22. ASYDE: An Argumentation-based System for classifYing Driving bEhaviors
23. A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
24. A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic/en
25. A Dichotomy for Evaluating Simple Regular Path Queries
26. A Dichotomy for Evaluating Simple Regular Path Queries/en
27. A Distributed Blockchain Model of Selfish Mining
28. A Distributed Blockchain Model of Selfish Mining/en
29. A Glimpse into Propositional Model Counting
30. A Glimpse into Propositional Model Counting/en
31. A Logic-based Reasoning Framework for Graph Databases
32. A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment
33. A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment/en
34. A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
35. A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics/en
36. A Single Approach to Decide Chase Termination on Linear Existential Rules
37. A Single Approach to Decide Chase Termination on Linear Existential Rules/en
38. A diamond in the rough: Theorizing column stores
39. A diamond in the rough: Theorizing column stores/en
40. A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation
41. A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation/en
42. A proof of CSP Dichotomy conjecture
43. A proof of CSP Dichotomy conjecture/en
44. Aaron Stephan/Abschlussarbeiten
45. Aaron Stephan/Abschlussarbeiten/en
46. Abstract Domains for Database Manipulating Processes
47. Abstract Domains for Database Manipulating Processes/en
48. Accomodation
49. Accomodation/en
50. Achim Jung/Abschlussarbeiten