| ||
26. | An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-Closeness and Distance
w: PRICAI 2008, Lecture Notes in Artificial Intelligence 5351 [eds. T.-B. Ho, Z.-H. Zhou], str. 128-139, Springer-Verlag Berlin Heidelberg, r. 2008 (Artyku³) Joanna Goliñska-Pilarek, Angel Bonilla, Emilio Munoz-Velasco | |
27. | Dual Tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
w: Proceedings of the 2008 International Conference Computational and Mathematical Methods in Science and Engeneering [eds. J. Vigo-Aguiar], str. 291-305, Universidad de Murcia, r. 2008 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz-Velasco | |
28. | Logics of similarity and their dual Tableaux. A Survey
w: Preferences and Similarities, CISM Courses and Lectures [eds. G. Della Riccia, D. Dubois, R. Kruse, and H-J. Lenz], str. 129-159, SpringerWienNewYork, r. 2008 (Artyku³) Joanna Goliñska-Pilarek, Ewa Or³owska | |
29. | Relational Reasoning in Formal Concept Analysis
w: Proceedings of the 2007 IEEE International Conference on Fuzzy Systems [London], str. 1048-1053, r. 2007 (Artyku³ konferencyjny) Joanna Goliñska-Pilarek, Ewa Or³owska | |
30. | Relational logics and their applications
w: Theory and Applications of Relational Structures as Knowledge Instruments II [eds. H. de Swart, E. Or³owska, M. Roubens and G. Schmidt], str. 125-161, Springer, r. 2006 (Esej lub rozdzia³ w ksi±¿ce) Joanna Goliñska-Pilarek, Ewa Or³owska | |
31. | Spectra of formulae with Henkin quantifiers
w: Philosophical Dimensions of Logic and Science (red.: A. Rojszczak, J. Cachro, G. Kurczewski), str. 29-45, r. 2003 (Esej lub rozdzia³ w ksi±¿ce) Konrad Zdanowski, Joanna Goliñska-Pilarek |