Search results for "Joanna Golinska-Pilarek"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco	Reasoning with Qualitative Velocity: Towards a Hybrid Approach.	HAIS	2012	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora	A new deduction system for deciding validity in modal logic K.	Logic Journal of the IGPL	2011	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek, Ewa Orlowska	Dual tableau for monoidal triangular norm logic MTL.	Fuzzy Sets and Systems	2011	DBLP DOI BibTeX RDF
1	Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek	Implementing a relational theorem prover for modal logic.	Int. J. Comput. Math.	2011	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek, Emilio Muñoz-Velasco	Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.	Logic Journal of the IGPL	2009	DBLP DOI BibTeX RDF
1	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.	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek	Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.	Journal of Applied Non-Classical Logics	2007	DBLP BibTeX RDF
1	Joanna Golinska-Pilarek, Ewa Orlowska	Tableaux and Dual Tableaux: Transformation of Proofs.	Studia Logica	2007	DBLP DOI BibTeX RDF	first-order logic with identity, tableaux systems, Rasiowa-Sikorski proof system
1	Joanna Golinska-Pilarek, Ewa Orlowska	Relational Reasoning in Formal Concept Analysis.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek	Number of non-Fregean sentential logics that have adequate models.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek, Ewa Orlowska	Relational proof systems for spatial reasoning.	Journal of Applied Non-Classical Logics	2006	DBLP BibTeX RDF
1	Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska	Relational dual tableaux for interval temporal logics.	Journal of Applied Non-Classical Logics	2006	DBLP BibTeX RDF
1	Joanna Golinska-Pilarek, Ewa Orlowska	Relational Logics and Their Applications.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
1	Joanna Golinska-Pilarek, Taneli Huuskonen	Number of Extensions of Non-Fregean Logics.	J. Philosophical Logic	2005	DBLP DOI BibTeX RDF

Publications of "Joanna Golinska-Pilarek" ( http://dblp.L3S.de/Authors/Joanna_Golinska-Pilarek )