Concepedia
Statistics
Publications
7
Citations
95
H-Index
Active since
2005
Affiliations
University of Warsaw(Current)
National Institute of Telecommunications
Universidad de Málaga
University of Helsinki
Joanna Golińska‐Pilarek is an author at University of Warsaw specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsVerificationComputer ScienceFormal VerificationSemanticsFuzzy Logic
Publications per year
2005–2015
Tableaux and Dual Tableaux: Transformation of Proofs
Joanna Golińska‐Pilarek, Ewa Orłowska · Studia Logica · 2007 · 26 citations
Engineering, Automated Reasoning, Formal Methods +4
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
Joanna Golińska‐Pilarek, Emilio Muñoz‐Velasco · Logic Journal of IGPL · 2009 · 15 citations
Engineering, Constructive Logic, Classical Logic +18
Implementing a relational theorem prover for modal logic
Ángel Mora, Emilio Muñoz‐Velasco, Joanna Golińska‐Pilarek · International Journal of Computer Mathematics · 2011 · 12 citations
Relational Theorem Prover, Relational Logic, Engineering +13
Number of Extensions of Non-Fregean Logics
Joanna Golińska‐Pilarek, Taneli Huuskonen · Journal of Philosophical Logic · 2005 · 12 citations
Non-classical Logic, Non-fregean Logics, Automated Reasoning +2
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
Linh Anh Nguyen, Joanna Golińska‐Pilarek · Fundamenta Informaticae · 2014 · 10 citations
1–5 of 7