Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/apt

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.
    Apt, Krzysztof R. and Pugin, Jean-Marc. 1987. Management of Stratified Data Bases.” tr-87-41. Austin, Texas: Department of Computer Science, University of Texas at Austin.
    Apt, Krzysztof R. and Turini, Franco, eds. 1995. Meta-Logics and Logic Programming. Cambridge, Massachusetts: The MIT Press.