@incollection{DunPowSza:2018:1270910,
    author = {Barbara Dunin-Kęplicz and Alina Powala (Strachocka) and Andrzej Szalas},
    title = {{Variations on Jaśkowski's Discursive Logic}},
    year = {2018},
    booktitle = {The Lvov-Warsaw School. Past and Present},
    pages = {485--497},
    editor = {\'Angel GarridoUrszula Wybraniec-Skardowska},
    series = {Studies in Universal Logic},
    publisher = {Birkh\"auser},
    isbn = {9783319654294, 9783319654300},
    doi = {10.1007/978-3-319-65430-0\_34},
}

@incollection{DohSza:2018:1270901,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Signed Dual Tableaux for Kleene Answer Set Programs}},
    year = {2018},
    booktitle = {Ewa Or\l{}owska on Relational Methods in Logic and Computer Science},
    pages = {233--252},
    editor = {Golińska-Pilarek J. and Zawidzki M.},
    series = {Outstanding Contributions to Logic},
    volume = {17},
    publisher = {Springer},
    isbn = {9783319978789, 9783319978796},
    doi = {10.1007/978-3-319-97879-6\_9},
}

@incollection{DunSza:2015:850297,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{A New Perspective on Goals}},
    year = {2015},
    booktitle = {The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge},
    pages = {50--66},
    editor = {Sujata Ghosh and Jakub Szymanik},
    publisher = {College Publications},
    isbn = {978-1-84890-173-5},
}

@incollection{DohSza:2015:788464,
    author = {Patrick Doherty and Andrzej Szalas},
    title = {{Stability, Supportedness, Minimality and Kleene Answer Set Programs}},
    year = {2015},
    booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday},
    pages = {125--140},
    editor = {Thomas Eiter and Hannes Strass and Miros\l{}aw Truszczynski and Stefan Woltran},
    series = {Lecture Notes in Computer Science},
    volume = {9060},
    publisher = {Springer},
    isbn = {978-3-319-14725-3, 978-3-319-14726-0},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-14726-0\_9},
}

@incollection{DunSza:2013:723538,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Taming Complex Beliefs}},
    year = {2013},
    booktitle = {Transactions on Computational Collective Intelligence XI},
    pages = {1--21},
    editor = {Ngoc Thanh Nguyen},
    series = {Lecture Notes in Computer Science},
    volume = {8065},
    publisher = {Springer},
    isbn = {978-3-642-41775-7, 978-3-642-41776-4},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-41776-4\_1},
}

@incollection{NguSza:2013:546392,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Logic-Based Roughification}},
    year = {2013},
    booktitle = {Rough Sets and Intelligent Systems - Professor Zdzis\l{}aw Pawlak in Memoriam (vol. I)},
    pages = {517--543},
    editor = {Andrzej Skowron and Zbigniew Suraj},
    series = {Intelligent Systems Reference Library},
    volume = {42},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-30343-2},
    issn = {1868-4394},
    doi = {10.1007/978-3-642-30344-9\_19},
}

@incollection{NguSza:2012:546383,
    author = {Linh Anh Nguyen and Andrzej Szalas},
    title = {{Paraconsistent Reasoning for Semantic Web Agents}},
    year = {2012},
    booktitle = {Transactions on Computational Collective Intelligence VI},
    pages = {36--55},
    editor = {Ngoc Thanh Nguyen},
    series = {Lecture Notes in Computer Science},
    volume = {7190},
    publisher = {Springer Berlin/Heidelberg},
    isbn = {978-3-642-29355-9, 978-3-642-29356-6},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-29356-6\_2},
}

@incollection{DunSza:2012:499783,
    author = {Barbara Dunin-Keplicz and Andrzej Szalas},
    title = {{Agents in Approximate Environments}},
    year = {2012},
    booktitle = {Games, Actions and Social Software: Multidisciplinary Aspects},
    pages = {141--163},
    editor = {Jan Ejick and Rineke Verbrugge},
    series = {Lecture Notes in Computer Science},
    volume = {7010},
    publisher = {Springer},
    isbn = {978-3-642-29325-2, 978-3-642-29326-9},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-29326-9\_8},
}

@incollection{SzaSza:2009:242262,
    author = {Andrzej Szalas and Alicja Szalas},
    title = {{Paraconsistent Reasoning with Words}},
    year = {2009},
    booktitle = {Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday},
    pages = {43--58},
    series = {Lecture Notes in Computer Science},
    volume = {5070},
    publisher = {Springer},
    isbn = {978-3-642-04734-3},
    issn = {0302-9743},
    doi = {10.1007/978-3-642-04735-0\_2},
}

@incollection{MalSzaVit:2007:261686,
    author = {Jan Maluszynski and Andrzej Szalas and Aida Vitoria},
    title = {{A Four-Valued Logic for Rough Set-Like Approximate Reasoning}},
    year = {2007},
    booktitle = {Transactions on Rough Sets VI},
    pages = {176--190},
    editor = {James F. Peters and Andrzej Skowron and Ivo D\"untsch and Jerzy Grzymala-Busse and Ewa Orlowska and Lech Polkowski},
    series = {Lecture Notes in Computer Science},
    volume = {4374/2007},
    publisher = {Springer},
    isbn = {3-540-71198-8, 978-3-540-71198-8},
    issn = {0302-9743},
    doi = {10.1007/978-3-540-71200-8\_11},
}

@incollection{DohKacSza:2004:243266,
    author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}},
    year = {2004},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {219--250},
    editor = {Andrzej Skowron andLech Polkowski  andSankar K Pal},
    series = {Cognitive Technologies},
    publisher = {Springer},
    isbn = {9783540430599},
    issn = {1611-2482},
}

@incollection{DohLukEtAl:2004:243264,
    author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas},
    title = {{Approximation Transducers and Trees: A Technique for Combining Rough and Crisp Knowledge}},
    year = {2004},
    booktitle = {Rough-Neural Computing: Techniques for Computing with Words},
    pages = {189--218},
    editor = {Andrzej Skowron andLech Polkowski  andSankar K Pal},
    series = {Cognitive Technologies},
    publisher = {Springer},
    isbn = {9783540430599, 3540430598},
    issn = {1611-2482},
}

@incollection{KacSza:2001:499745,
    author = {Jaroslaw Kachniarz and Andrzej Szalas},
    title = {{On a Static Approach to Verification of Integrity Constraints in Relational Databases}},
    year = {2001},
    booktitle = {Relational Methods for Computer Science Applications},
    pages = {97--109},
    editor = {Eva Orlowska and Andrzej Szalas},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {65},
    publisher = {Springer Physica-Verlag},
    isbn = {3-7908-1365-6},
    issn = {1434-9922},
}

@incollection{NonSza:1998:499739,
    author = {Andreas Nonnengart and Andrzej Szalas},
    title = {{A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory}},
    year = {1998},
    booktitle = {Logic at work: essays dedicated to the memory of Helena Rasiowa},
    pages = {307--328},
    editor = {Ewa Orlowska},
    series = {Studies in Fuzziness and Soft Computing},
    volume = {24},
    publisher = {Physica Verlag},
    isbn = {3-7908-1164-5},
    issn = {1434-9922},
}

@incollection{Sza:1995:499773,
    author = {Andrzej Szalas},
    title = {{Temporal Logic: A Standard Approach}},
    year = {1995},
    booktitle = {Time And Logic: A Computational Approach},
    pages = {1--50},
    editor = {Leonard Bolc and Andrzej Szalas},
    publisher = {UCL Press Ltd.},
    isbn = {1-85728-233-7, 978-1857282337},
}