Integration of object-oriented and logic programming

    Project: Research project

    Research Output

    • 6 Book/Film/Article review
    • 4 Article
    Filter
    Article
    1995

    Tableaux Based Theorem Proving; Integrity Maintenance; Plausible Reasoning

    de Swart, H. C. M., 1995, In : Newsletter of the European network in computational logic. 2, 1, p. 99-100 2 p.

    Research output: Contribution to journalArticleScientific

    1994

    Tableaux, Resolution and Complexity of Formulas

    de Swart, H. C. M. & Ophelders, W. M. J., 1994, In : Methods of Logic in Computer Science. 1, 2, p. 241-260 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

    The object-oriented paridigma

    de Swart, H. C. M., America, P., van de Kammen, M., Nederpelt, R. & van Roosmalen, O., 1994, In : Computing Science Notes. 1, p. 1-27 27 p.

    Research output: Contribution to journalArticleScientific

    1993

    Quantified Modal Logic, Reference and Essentialism

    de Swart, H. C. M., 1993, In : Logique et Analyse. p. 219-231 13 p.

    Research output: Contribution to journalArticleScientific