Orphaned pages

The following pages are not linked from or transcluded into other pages in International Center for Computational Logic.

Showing below up to 50 results in range #1 to #50.

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. ASYDE: An Argumentation-based System for classifYing Driving bEhaviors/en
24. A Basis for Defeasible Reasoning
25. A Crash Course in Determinacy
26. A Crash Course in Determinacy/en
27. A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
28. A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic/en
29. A Dichotomy for Evaluating Simple Regular Path Queries
30. A Dichotomy for Evaluating Simple Regular Path Queries/en
31. A Distributed Blockchain Model of Selfish Mining
32. A Distributed Blockchain Model of Selfish Mining/en
33. A Glimpse into Propositional Model Counting
34. A Glimpse into Propositional Model Counting/en
35. A Logic-based Reasoning Framework for Graph Databases
36. A Logic-based Reasoning Framework for Graph Databases/en
37. A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment
38. A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment/en
39. A SHACL primer for KR researchers
40. A SHACL primer for KR researchers/en
41. A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
42. A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics/en
43. A Single Approach to Decide Chase Termination on Linear Existential Rules
44. A Single Approach to Decide Chase Termination on Linear Existential Rules/en
45. A diamond in the rough: Theorizing column stores
46. A diamond in the rough: Theorizing column stores/en
47. A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation
48. A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation/en
49. A proof of CSP Dichotomy conjecture
50. A proof of CSP Dichotomy conjecture/en