@proceedings{OrlPolSza:2006:499733, author = {Ewa Orlowska and Alberto Policriti and Andrzej Szalas}, title = {{Algebraic and Relational Deductive Tools}}, year = {2006}, series = {Journal of Applied Non-Classical Logics}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, note = {Special Issue}, } @proceedings{DohLukEtAl:2003:499756, author = {Patrick Doherty and W. Lukaszewicz and Skowron Andrzej and Andrzej Szalas}, title = {{Knowledge Representation and Approximate Reasoning}}, year = {2003}, series = {Fundamenta Informaticae}, volume = {2003(57):2-4}, publisher = {IOS Press}, issn = {0169-2968}, note = {Special Issue}, } @misc{OrlSza:2001:499734, author = {Ewa Orlowska and Andrzej Szalas}, title = {{Relational Methods for Computer Science Applications}}, year = {2001}, series = {Studies in Fuziness and Soft Computing}, publisher = {Springer Physica Verlag}, isbn = {3790813656, 9783790813654}, issn = {1434-9922}, } @proceedings{PenSza:1996:499719, author = {Wojciech Penczek and Andrzej Szalas}, title = {{Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science (MFCS)}}, year = {1996}, series = {Lecture Notes in Computer Science}, volume = {1113}, publisher = {Springer Verlag}, isbn = {978-3-540-61550-7}, issn = {0302-9743}, } @techreport{DohLukSza:1996:262596, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative ptime queries to relational databases}}, year = {1996}, series = {LITH-IDA-R}, volume = {34}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{DohLukSza:1996:262575, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its first-order reduction}}, year = {1996}, series = {LITH-IDA-R}, volume = {1}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @misc{BolSza:1995:499778, author = {Leonard Bolc and Andrzej Szalas}, title = {{Time and Logic: A Computational Approach}}, year = {1995}, publisher = {CRC Press}, isbn = {1-85728-233-7, 978-18-5728-233-7}, } @techreport{DohLukSza:1995:262574, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae}}, year = {1995}, series = {LITH-IDA-R}, volume = {20}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, } @techreport{DohLukSza:1994:262573, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1994}, series = {LITH-IDA-R}, volume = {94-42}, publisher = {Department of Computer and Information Science, Link\"oping University}, school = {Link"opings universitet}, institution = {Link"opings universitet, Department of Computer and Information Science}, issn = {0281-4250}, }