Author:
Apt Krzysztof R.,Bezem Marc
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference29 articles.
1. Apt, K. R., “Logic Programming,” inHandbook of Theoretical Computer Science, Vol. B (J. van Leeuwen, ed.), Elsevier, Amsterdam, pp. 493–574, 1990.
2. Apt, K. R. and Blair, H. A., “Arithmetic Classification of Perfect Models of Stratified Programs,”Fundamenta Informaticae, 13, pp. 1–18, 1990 (with an addendum in vol. 14, pp. 339–343, 1991).
3. Apt, K. R., Blair H. A. and Walker, A, “Towards a Theory of Declarative Knowledge,” inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, Los Altos, pp. 89–148, 1988.
4. Bezem, M., “Characterizing Termination of Logic Programs with Level Mappings,” inProc. North American Conference on Logic Programming, Cleveland, Ohio, pp. 69–80, 1989.
5. Bidoit, N. and Froidevaux, C., “General Logical Databases and Programs: Default Logic Semantics and Stratification,”Information and Computation, 91, pp. 15–54, 1991.
Cited by
93 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Linear Algebraic Abduction with Partial Evaluation;Practical Aspects of Declarative Languages;2023
2. Abductive Logic Programming and Linear Algebraic Computation;Handbook of Abductive Cognition;2023
3. A Brief History of Updates of Answer-Set Programs;Theory and Practice of Logic Programming;2022-03-22
4. Linear Algebraic Computation of Propositional Horn Abduction;2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI);2021-11
5. Probabilistic inductive constraint logic;Machine Learning;2020-11-10