Integration of object-oriented and logic programming

    Project: Research project

    Research Output

    • 6 Book/Film/Article review
    • 4 Article
    1997

    Review of the book Logical Reasoning with Diagrams, G. Allwein & J. Barwise, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 870.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book Towards a Model Theory of Diagrams, E. Hammer & N. Danner, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 860.03036

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book What is ceteris paribus preference?, S.O. Hansson, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 859.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book How to prove it: a structured approach, D.J. Velleman, 1996

    de Swart, H. C. M., 1996, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 816.00004, p. 309

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book The Logical Status of Diagrams, S.J. Shin, 1996

    de Swart, H. C. M., 1996, In : Zentralblatt für Mathematik und ihre Grenzgebiete.

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    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