Joanna Golińska-Pilarek
Joanna Golińska-Pilarek
Dirección de correo verificada de uw.edu.pl - Página principal
Título
Citado por
Citado por
Año
Dual Tableaux: Foundations, Methodology, Case Studies
E Orlowska, JG Pilarek
Springer Science & Business Media, 2010
472010
Tableaux and dual tableaux: Transformation of proofs
J Golińska-Pilarek, E Orłowska
Studia Logica 85 (3), 283-302, 2007
282007
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
J Golińska-Pilarek, E Muñoz-Velasco
Logic Journal of the IGPL 17 (4), 375-394, 2009
172009
An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance
J Golińska-Pilarek, A Mora, E Munoz-Velasco
Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008
152008
An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
LA Nguyen, J Golińska-Pilarek
Fundamenta Informaticae 135 (4), 433-449, 2014
142014
Implementing a relational theorem prover for modal logic
A Mora, E Muñoz-Velasco, J Golińska-Pilarek
International Journal of Computer Mathematics 88 (9), 1869-1884, 2011
122011
Number of extensions of non-Fregean logics
J Golińska-Pilarek, T Huuskonen
Journal of philosophical logic 34 (2), 193-206, 2005
122005
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
J Golińska-Pilarek, E Muñoz-Velasco
International Journal of Computer Mathematics 86 (10-11), 1707-1718, 2009
102009
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
J Golińska-Pilarek, T Huuskonen, E Muñoz-Velasco
Annals of Pure and Applied Logic 165 (2), 409-427, 2014
92014
A new deduction system for deciding validity in modal logic K
J Golińska-Pilarek, E Muñoz-Velasco, A Mora
Logic Journal of the IGPL 19 (2), 425-434, 2011
92011
Relational dual tableaux for interval temporal logics★
D Bresolin, J Golińska-Pilarek, E Orlowska
Journal of Applied Non-Classical Logics 16 (3-4), 251-277, 2006
92006
On the minimal non-Fregean Grzegorczyk logic
J Golinska-Pilarek
Studia Logica 104 (2), 209-234, 2016
72016
Reasoning with qualitative velocity: Towards a hybrid approach
J Golińska-Pilarek, E Muñoz-Velasco
International Conference on Hybrid Artificial Intelligence Systems, 635-646, 2012
72012
Logic. of Descriptions. A New Approach to the Foundations of Mathematics and Science
J Golińska-Pilarek, T Huuskonen
Studies in Logic, Grammar and Rhetoric 27 (40), 2012
72012
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI★
J Golinska-Pilarek
Journal of Applied Non-Classical Logics 17 (4), 511-519, 2007
72007
Relational dual tableau decision procedure for modal logic K
J Golińska-Pilarek, E Muñoz-Velasco, A Mora-Bonilla
Logic Journal of the IGPL 20 (4), 747-756, 2012
62012
Relational logics and their applications
J Golińska-Pilarek, E Orłowska
Theory and Applications of Relational Structures as Knowledge Instruments II …, 2006
62006
Non-Fregean propositional logic with quantifiers
J Golińska-Pilarek, T Huuskonen
Notre Dame Journal of Formal Logic 57 (2), 249-279, 2016
52016
A relational dual tableau decision procedure for multimodal and description logics
D Cantone, J Golińska-Pilarek, M Nicolosi-Asmundo
International Conference on Hybrid Artificial Intelligence Systems, 466-477, 2014
52014
Dual tableau for monoidal triangular norm logic MTL
J Golińska-Pilarek, E Orłowska
Fuzzy sets and systems 162 (1), 39-52, 2011
52011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20