Joanna Golinska-Pilarek

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 7

Top Topics

Qualitative Reasoning

Theorem Proving

Number Restrictions

Top Venues

SOCO-CISIS-ICEUTE

Fundam. Informaticae

Publications

Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based decision procedure for non-Fregean logic of sentential identity. CoRR (2021)
Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. CADE (2021)
Joanna Golinska-Pilarek, Magdalena Welle
Deduction in Non-Fregean Propositional Logic SCI. Axioms 8 (4) (2019)
Joanna Golinska-Pilarek, Michal Zawidzki
Tableau-based Decision Procedure for the Logic SCI. OVERLAY@AI*IA (2019)
Joanna Golinska-Pilarek, Taneli Huuskonen
Non-Fregean Propositional Logic with Quantifiers. Notre Dame J. Formal Log. 57 (2) (2016)
Joanna Golinska-Pilarek
On the Minimal Non-Fregean Grzegorczyk Logic. Stud Logica 104 (2) (2016)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17 (2016)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
A hybrid qualitative approach for relative movements. Log. J. IGPL 23 (3) (2015)
Linh Anh Nguyen, Joanna Golinska-Pilarek
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. Fundam. Informaticae 135 (4) (2014)
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS (2014)
Linh Anh Nguyen, Joanna Golinska-Pilarek
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. CoRR (2014)
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Log. 165 (2) (2014)
Linh Anh Nguyen, Joanna Golinska-Pilarek
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. CS&P (2013)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE (2013)
Joanna Golinska-Pilarek
Relational Dual Tableaux: Foundations and Applications. CILC (2013)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20 (4) (2012)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) (2012)
Joanna Golinska-Pilarek
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. JELIA (2012)
Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88 (9) (2011)
Joanna Golinska-Pilarek, Ewa Orlowska
Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets Syst. 162 (1) (2011)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19 (2) (2011)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Log. J. IGPL 17 (4) (2009)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math. 86 (10&11) (2009)
Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI (2008)
Joanna Golinska-Pilarek, Ewa Orlowska
Tableaux and Dual Tableaux: Transformation of Proofs. Stud Logica 85 (3) (2007)
Joanna Golinska-Pilarek, Ewa Orlowska
Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE (2007)
Joanna Golinska-Pilarek
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. J. Appl. Non Class. Logics 17 (4) (2007)
Joanna Golinska-Pilarek, Ewa Orlowska
Relational proof systems for spatial reasoning. J. Appl. Non Class. Logics 16 (3-4) (2006)
Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska
Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Joanna Golinska-Pilarek
Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52 (5) (2006)
Joanna Golinska-Pilarek, Taneli Huuskonen
Number of Extensions of Non-Fregean Logics. J. Philos. Log. 34 (2) (2005)