Publisher
Springer International Publishing
Reference27 articles.
1. Alferes JJ, Damasio CV, Pereira LM (1995) A logic programming system for non-monotonic reasoning. J Autom Reason 14(1):93–147
2. Aliseda A (2017) The logic of abduction: an introduction. In: Magnani L, Bertlotti T (eds) Springer handbook of model-based science. Springer, pp 219–230
3. Bochman A (2018) On laws and counterfactuals in causal reasoning. In: Proceedings of the sixteenth international conference on principles of knowledge representation and reasoning (KR 2018). Association for the Advancement of Artificial Intelligence. pp 494–503
4. Boixo S, Rønnow TF, Isakov SV, Wang Z, Wecker D, Lidar DA, Martinis JM, Troyer M (2014) Evidence for quantum annealing with more than one hundred qubits. Nat Phys 10:218–224
5. Lecture notes in computer science;CS Calude,2001