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

David A. Basin (basin)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Basin, David A. 1994. Logic Frameworks for Logic Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 1–16. Berlin: Springer.
    Basin, David A. and Matthews, Seán. 2002. Logical Frameworks.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 89–164. Dordrecht: Springer.
    Basin, David A., Matthews, Seán and Viganà, Luca. 1996a. Implementing Modal and Relevance Logics in a Logical Framework.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 386–397. San Francisco, California: Morgan Kaufmann Publishers.
    Basin, David A., Matthews, Seán and Viganà, Luca. 1996b. Labelled Propositional Modal Logics: Theory and Practice. Saarbrücken: Max-Planck-Institut für Informatik.
    Basin, David A., Matthews, Seán and Viganà, Luca. 1998a. Labelled Modal Logics: Quantifiers.” Journal of Logic, Language, and Information 7(3): 237–263.
    Basin, David A., Matthews, Seán and Viganà, Luca. 1998b. A Modular Presentation of Modal Logics in a Logical Framework.” in The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, edited by Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jaques Lévy, and Enric Vallduvı́, pp. 293–308. Stanford, California: CSLI Publications.
    Frank, Ian and Basin, David A. 1998. Search in Games with Incomplete Information; a Case Study Using Bridge Card Play.” Artificial Intelligence 100(1–2): 87–127.