Author of the publication

Qualitative Spatial Reasoning in a Logical Framework.

, , and . AI*IA, volume 2829 of Lecture Notes in Computer Science, page 78-90. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Sharing of Partial Results in Nondeterministic Computations., , and . AIMSA, page 93-103. North-Holland, (1986)Measuring Discrimination in Socially-Sensitive Decision Records., , and . SDM, page 581-592. SIAM, (2009)Spreadviews., , and . DEXA, page 525-530. Springer-Verlag, Wien, (1991)A Survey Of Methods For Explaining Black Box Models., , , , and . CoRR, (2018)MuTACLP: A Language for Temporal Reasoning with Multiple Theories., , , and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 1-40. Springer, (2002)Memory-Aware Frequent k-Itemset Mining., , and . KDID, volume 3933 of Lecture Notes in Computer Science, page 38-54. Springer, (2005)MAGMA-LISP: A "Machine Language" For Artificial Intelligence., , and . IJCAI, page 556-561. (1975)Association Analysis of Semi-structured Data for Discrimination Discovery in Business., and . DMIN, page 193-199. CSREA Press, (2010)A High Level Analysis Tool for Concurrent Programs., and . ICPP, page 293-302. IEEE Computer Society, (1983)A framework for specifying and verifying the behaviour of open systems., , and . J. Log. Algebraic Methods Program., 63 (2): 215-240 (2005)