Krzysztof R. Apt (apt)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Apt, Krzysztof R., ed. 1985. Logics and Models of Concurrent Systems. Berlin: Springer.
Apt, Krzysztof R. 1987. “Introduction to Logic Programming.” tr-87-35. Austin, Texas: Department of Computer Science, University of Texas at Austin.
Apt, Krzysztof R. 1990. “Logic Programming.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 493–574. Cambridge, Massachusetts: The MIT Press.
Apt, Krzysztof R. 1991. Verification of Sequential and Concurrent Programs. Berlin: Springer.
Apt, Krzysztof R., ed. 1992. Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming. Cambridge, Massachusetts: The MIT Press.
Apt, Krzysztof R., ed. 2005. Principles of Constraint Programming. Cambridge: Cambridge University Press.
Apt, Krzysztof R. and Blair, Howard A. 1990. “Arithmetic Classification of Perfect Models of Stratified Logic Programs.” Fundamenta Informaticae 13: 1–17. Addenda in Vol. 14, pp. 339–441, 1991. .
Apt, Krzysztof R., Blair, Howard A. and Walker, Adrian. 1988. “Towards a Theory of Declarative Knowledge.” in Foundations of Deductive Databases and Logic Programming, edited by Jack Minker, pp. 89–148. San Francisco, California: Morgan Kaufmann Publishers.
Apt, Krzysztof R., Marek, Wictor W., Truszczyński, Marek and Warren, David S., eds. 1999. The Logic Programming Paradigm: A Twenty-Five Year Perspective. Berlin: Springer.
Apt, Krzysztof R., Markakis, Evangelos and Simon, Sunil. 2016. “Paradoxes in Social Networks with Multiple Products.” Synthese 193(3): 663–687.
Apt, Krzysztof R. and Pedreschi, D. 1993. “Reasoning about Termination of Pure Prolog Programs.” Information and Computation 106(1): 109–157.