@article{DohSza:2024:1816604, author = {Patrick Doherty and Andrzej Szalas}, title = {{Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions}}, year = {2024}, journal = {Artificial Intelligence}, volume = {326}, publisher = {ELSEVIER}, issn = {0004-3702}, doi = {10.1016/j.artint.2023.104036}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Mahasarakham Development Fund, Mahasarakham University, Thailand; National Science Centre Poland [2017/27/B/ST6/02018]}, } @article{DunSza:2023:1818463, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Modeling and shadowing paraconsistent BDI agents}}, year = {2023}, journal = {Annals of Mathematics and Artificial Intelligence}, publisher = {SPRINGER}, issn = {1012-2443}, doi = {10.1007/s10472-023-09902-w}, note = {Funding Agencies|Narodowe Centrum Nauki [2015/19/B/ST6/02589]; National Science Centre Poland}, } @inproceedings{DunSza:2022:1704998, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Modeling and Shadowing Paraconsistent BDI Agents}}, year = {2022}, booktitle = {10th International Workshop on Engineering Multi-Agent Systems}, } @inproceedings{Sza:2022:1704919, author = {Andrzej Szalas}, title = {{Inheriting and Fusing Beliefs of Logically Heterogeneous Objects}}, year = {2022}, booktitle = {26th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {299--308}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2022.09.063}, } @inproceedings{Sza:2022:1704916, author = {Andrzej Szalas}, title = {{Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions}}, year = {2022}, booktitle = {ICCCI 2022: Computational Collective Intelligence}, pages = {396--409}, editor = {Nguyen and N.T. and Manolopoulos and Y. and Chbeir and R. and Kozierkiewicz and A. and Trawiński and B.}, series = {Lecture Notes in Computer Science}, volume = {13501}, publisher = {Springer}, isbn = {9783031160141, 9783031160134}, issn = {0302-9743}, doi = {10.1007/978-3-031-16014-1\_32}, note = {Funding: Polish National Science Centre [2017/27/B/ST6/02018]}, } @article{DohSza:2022:1681176, author = {Patrick Doherty and Andrzej Szalas}, title = {{A landscape and implementation framework for probabilistic rough sets using PROBLOG}}, year = {2022}, journal = {Information Sciences}, volume = {593}, pages = {546--576}, publisher = {Elsevier Science Inc}, issn = {0020-0255}, doi = {10.1016/j.ins.2021.12.062}, note = {Funding Agencies|ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF [RIT15-0097]; Guangdong Department of Science and Technology, China [2020A1313030098]; National Science Centre Poland [2017/27/B/ST6/02018]}, } @inproceedings{LinSza:2021:1604553, author = {Nguyen Linh Anh and Andrzej Szalas}, title = {{Optimization Models for Medical Procedures Relocation}}, year = {2021}, booktitle = {25th KES International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems ({KES})}, pages = {2058--2067}, editor = {Watrobski J. and Salabun W. and Toro C. and Zanni-Merk C. and Howlett R.J and Lakhmi C.J.}, series = {Procedia Computer Science}, volume = {192}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2021.08.212}, note = {Funding: Polish Ministry of Science and Higher EducationMinistry of Science and Higher Education, Poland}, } @inproceedings{Sza:2021:1604547, author = {Andrzej Szalas}, title = {{Many-Valued Dynamic Object-Oriented Inheritance and Approximations}}, year = {2021}, booktitle = {International Joint Conference on Rough Sets}, pages = {103--119}, editor = {Ramanna S. and Cornelis C. and Ciucci D.}, series = {Lecture Notes in Computer Science}, volume = {12872}, publisher = {Springer}, isbn = {9783030873332, 9783030873349}, issn = {0302-9743}, doi = {10.1007/978-3-030-87334-9\_10}, note = {Funding: Polish National Science Centre [2017/27/B/ST6/02018]}, } @article{DohSza:2021:1521594, author = {Patrick Doherty and Andrzej Szalas}, title = {{Rough set reasoning using answer set programs}}, year = {2021}, journal = {International Journal of Approximate Reasoning}, volume = {130}, number = {March}, pages = {126--149}, publisher = {Elsevier}, issn = {0888-613X}, doi = {10.1016/j.ijar.2020.12.010}, note = {Funding: ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSF(Smart Systems Project) [RIT15-0097]; Jinan University (Zhuhai Campus); National Science Centre PolandNational Science Centre, Poland [2017/27/B/ST6/02018]}, } @inproceedings{DunSza:2020:1515263, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Shadowing in Many-Valued Nested Structures}}, year = {2020}, booktitle = {2020 IEEE 50th International Symposium on Multiple-Valued Logic ({ISMVL})}, pages = {230--236}, publisher = {IEEE}, isbn = {9781728154077, 9781728154060, 9781728154053}, doi = {10.1109/ISMVL49045.2020.00005}, note = {Funding: National Science Centre PolandNational Science Centre, Poland [2015/19/B/ST6/02589, 2017/27/B/ST6/02018]}, } @inproceedings{DunSza:2020:1472862, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{A Framework for Organization-Centered Doxastic Reasoning}}, year = {2020}, booktitle = {24th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {3019--3028}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, volume = {176}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2020.09.201}, } @inproceedings{Sza:2020:1472854, author = {Andrzej Szalas}, title = {{Revisiting Object-Rule Fusion in Query Languages}}, year = {2020}, booktitle = {24th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {50-59--}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, volume = {176}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2020.08.006}, } @article{Sza:2020:1467612, author = {Andrzej Szalas}, title = {{On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More}}, year = {2020}, journal = {Journal of Multiple-Valued Logic and Soft Computing}, volume = {34}, number = {5-6}, pages = {423--450}, publisher = {Old City Publishing}, issn = {1542-3980}, note = {Funding agencies:\  National Science Centre PolandNational Science Center, PolandNational Science Centre, Poland [2017/27/B/ST6/02018]}, } @inproceedings{DohSza:2020:1465049, author = {Patrick Doherty and Andrzej Szalas}, title = {{Rough Forgetting}}, year = {2020}, booktitle = {Rough Sets. IJCRS 2020}, pages = {3--18}, series = {Lecture Notes in Computer Science}, volume = {12179}, publisher = {Springer}, isbn = {9783030527051, 9783030527044}, issn = {0302-9743}, doi = {10.1007/978-3-030-52705-1\_1}, note = {ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSFSwedish Foundation for Strategic Research; Jinan University (Zhuhai Campus) [2017/27/B/ST6/02018]; National Science Centre PolandNational Science Centre, Poland}, } @article{Sza:2020:1465035, author = {Andrzej Szalas}, title = {{A Paraconsistent ASP-like Language with Tractable Model Generation}}, year = {2020}, journal = {Journal of Applied Logics - IfCoLog Journal of Logic and Applications}, volume = {7}, number = {3}, pages = {361--389}, publisher = {College Publications}, issn = {2631-9810}, note = {Funding agencies:\ This work has been supported by grant 2017/27/B/ST6/02018 of the National Science Centre Poland.}, } @inproceedings{Sza:2019:1464874, author = {Andrzej Szalas}, title = {{Decision-Making Support Using Nonmonotonic Probabilistic Reasoning}}, year = {2019}, booktitle = {Intelligent Decision Technologies 2019}, pages = {39--51}, editor = {Czarnowski I. and Howlett R. and Jain L.}, series = {Smart Innovation, Systems and Technologies}, volume = {142}, publisher = {Springer}, doi = {10.1007/978-981-13-8311-3\_4}, } @inproceedings{BiaDunSza:2019:1464863, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Belief Shadowing}}, year = {2019}, booktitle = {Engineering Multi-Agent Systems. EMAS 2018}, pages = {158--180}, editor = {Weyns D. and Mascardi V. and Ricci A.}, series = {Lecture Notes in Computer Science}, volume = {11375}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-030-25693-7\_9}, } @inproceedings{DunRbSza:2019:1464842, author = {Barbara Dunin-Keplicz and Inga R\"ub and Andrzej Szalas}, title = {{Doxastic Group Reasoning via Multiple Belief Shadowing}}, year = {2019}, booktitle = {PRIMA 2019: Principles and Practice of Multi-Agent Systems}, pages = {271--288}, editor = {Baldoni M. and Dastani M. and Liao B. and Sakurai Y. and Zalila Wenkstern R.}, series = {Lecture Notes in Computer Science}, volume = {11873}, publisher = {Springer}, isbn = {978-3-030-33792-6, 978-3-030-33791-9}, issn = {0302-9743}, doi = {10.1007/978-3-030-33792-6\_17}, note = {Funding agencies:\ \ Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project)}, } @article{BiaDunSza:2019:1349575, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{A paraconsistent approach to actions in informationally complex environments}}, year = {2019}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {86}, number = {4}, pages = {231--255}, publisher = {SPRINGER}, issn = {1012-2443}, doi = {10.1007/s10472-019-09627-9}, note = {Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT Network Organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project)}, } @article{SzkBiaSza:2019:1329198, author = {Jacek Szklarski and Lukasz Bialek and Andrzej Szalas}, title = {{Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis}}, year = {2019}, journal = {International Journal of Uncertainty Fuzziness and Knowledge-Based Systems}, volume = {27}, number = {3}, pages = {429--455}, publisher = {WORLD SCIENTIFIC PUBL CO PTE LTD}, issn = {0218-4885}, doi = {10.1142/S021848851950020X}, note = {Funding Agencies|Polish National Science Centre [2012/05/B/ST6/03094, 2015/19/B/ST6/02589]}, } @article{DeADiMSza:2018:1270915, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Andrzej Szalas}, title = {{Paraconsistent Rule-Based Reasoning with Graded Truth Values}}, year = {2018}, journal = {}, volume = {5}, number = {1}, pages = {185--220}, publisher = {College Publications}, } @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}, } @inproceedings{BiaDunSza:2018:1270895, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments}}, year = {2018}, booktitle = {Intelligent Distributed Computing XI}, pages = {49--60}, editor = {Mirjana Ivanović and Costin Bădică and J\"urgen Dix and Zoran Jovanović and Michele Malgeri and Miloš Savić}, series = {Studies in Computational Intelligence}, volume = {737}, publisher = {Springer}, isbn = {9783319663784, 9783319663791}, issn = {1860-949X}, doi = {10.1007/978-3-319-66379-1\_5}, } @inproceedings{BiaDunSza:2017:1229189, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Rule-Based Reasoning with Belief Structures}}, year = {2017}, booktitle = {FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017}, pages = {229--239}, series = {Lecture Notes in Artificial Intelligence}, publisher = {SPRINGER INTERNATIONAL PUBLISHING AG}, isbn = {978-3-319-60438-1, 978-3-319-60437-4}, issn = {0302-9743}, doi = {10.1007/978-3-319-60438-1\_23}, note = {Funding Agencies|Polish National Science Centre grant [2015/19/B/ST6/02589]}, } @inproceedings{DeASerEtAl:2017:1218531, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Heterogeneous Approximate Reasoning with Graded Truth Values}}, year = {2017}, booktitle = {ROUGH SETS}, pages = {61--82}, series = {Lecture Notes in Artificial Intelligence}, publisher = {SPRINGER INTERNATIONAL PUBLISHING AG}, isbn = {978-3-319-60837-2, 978-3-319-60836-5}, issn = {0302-9743}, doi = {10.1007/978-3-319-60837-2\_6}, note = {Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]}, } @inproceedings{DohSza:2016:1076960, author = {Patrick Doherty and Andrzej Szalas}, title = {{An Entailment Procedure for Kleene Answer Set Programs}}, year = {2016}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2016.}, pages = {24--37}, editor = {Sombattheera C. and Stolzenburg F. and Lin F. and Nayak A.}, series = {Lecture Notes in Computer Science}, volume = {10053}, publisher = {Springer}, isbn = {978-3-319-49396-1, 978-3-319-49397-8}, issn = {0302-9743}, doi = {10.1007/978-3-319-49397-8\_3}, } @inproceedings{DohKvaSza:2016:1073362, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs}}, year = {2016}, booktitle = {Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, pages = {536--542}, editor = {Michael and Loizos; Kakas and Antonis}, series = {Lecture Notes in Computer Science}, volume = {10021}, publisher = {Springer Publishing Company}, isbn = {978-3-319-48757-1, 978-3-319-48758-8}, issn = {0302-9743}, doi = {10.1007/978-3-319-48758-8\_36}, } @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}, } @article{NguNguSza:2015:843859, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{Towards richer rule languages with polynomial data complexity for the Semantic Web}}, year = {2015}, journal = {Data \& Knowledge Engineering}, volume = {96-97}, pages = {57--77}, publisher = {ELSEVIER SCIENCE BV}, issn = {0169-023X}, doi = {10.1016/j.datak.2015.04.005}, } @article{DunStrEtAl:2015:788784, author = {Barbara Dunin-Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, title = {{Paraconsistent semantics of speech acts}}, year = {2015}, journal = {Neurocomputing}, volume = {151}, number = {2}, pages = {943--952}, publisher = {Elsevier}, issn = {0925-2312}, doi = {10.1016/j.neucom.2014.10.001}, } @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}, } @article{NguNguSza:2014:850318, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse}}, year = {2014}, journal = {VNU Journal of Computer Science and Communication Engineering}, volume = {30}, number = {4}, pages = {14--28}, issn = {0866-8612}, } @inproceedings{BiaSza:2014:850313, author = {Lukasz Bialek and Andrzej Szalas}, title = {{Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study}}, year = {2014}, booktitle = {2014 IEEE/WIC/ACM International Joint Conferences on (Volume:3 ) Web Intelligence ({WI}) and Intelligent Agent Technologies ({IAT}),}, pages = {325--332}, publisher = {IEEE}, isbn = {978-1-4799-4143-8}, doi = {10.1109/WI-IAT.2014.184}, } @inproceedings{DunSza:2014:850305, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Indeterministic Belief Structures}}, year = {2014}, booktitle = {Agent and Multi-Agent Systems: Technologies and Applications: Proceedings of the 8th International Conference KES-AMSTA 2014, Chania, Greece, June 2014}, pages = {57--66}, series = {Advances in Intelligent Systems and Computing}, volume = {296}, publisher = {Springer International Publishing}, isbn = {978-3-319-07649-2, 978-3-319-07650-8}, issn = {2194-5357}, doi = {10.1007/978-3-319-07650-8\_7}, } @inproceedings{DunSzaVer:2014:820504, author = {Barbara Dunin-Keplicz and Andrzej Szalas and Rineke Verbrugge}, title = {{Tractable Reasoning about Group Beliefs}}, year = {2014}, booktitle = {ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2014}, pages = {328--350}, series = {Lecture Notes in Computer Science}, volume = {8758}, publisher = {SPRINGER INT PUBLISHING AG}, isbn = {978-3-319-14484-9, 978-3-319-14483-2}, issn = {0302-9743}, doi = {10.1007/978-3-319-14484-9\_17}, } @inproceedings{CaoNguSza:2014:801603, author = {S.T. Cao and L.A. Nguyen and Andrzej Szalas}, title = {{The web ontology rule language OWL 2 RL+ and its extensions}}, year = {2014}, booktitle = {Transactions on Computational Collective Intelligence XIII}, pages = {152--175}, editor = {Gerhard Goos and Juris Hartmanis and and Jan van Leeuwen}, series = {Lecture Notes in Computer Science}, volume = {8342}, publisher = {Springer Verlag (Germany)}, isbn = {978-3-642-54454-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-54455-2\_7}, } @inproceedings{Sza:2014:796797, author = {Andrzej Szalas}, title = {{Symbolic Explanations of Generalized Fuzzy Reasoning}}, year = {2014}, booktitle = {SMART DIGITAL FUTURES 2014}, pages = {7--16}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-405-3; 978-1-61499-404-6}, issn = {0922-6389}, doi = {10.3233/978-1-61499-405-3-7}, } @inproceedings{NguNguSza:2014:748128, author = {L.A. Nguyen and T.-B.-L. Nguyen and Andrzej Szalas}, title = {{On horn knowledge bases in regular description logic with inverse}}, year = {2014}, booktitle = {KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1}, pages = {37--49}, series = {Advances in Intelligent Systems and Computing}, volume = {Vol 244}, publisher = {Springer Berlin/Heidelberg}, isbn = {9783319027401}, issn = {2194-5357}, doi = {10.1007/978-3-319-02741-8\_6}, } @article{CaoNguSza:2014:723537, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL: a nonmonotonic rule language for the semantic web}}, year = {2014}, journal = {}, volume = {1}, number = {1}, pages = {57--69}, publisher = {Springer Berlin/Heidelberg}, doi = {10.1007/s40595-013-0009-y}, } @inproceedings{NguNguSza:2013:723559, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{HornDL: An Expressive Horn Description Logic with PTime Data Complexity}}, year = {2013}, booktitle = {Web Reasoning and Rule Systems}, pages = {259--264}, editor = {Wolfgang Faber and Domenico Lembo}, series = {Lecture Notes in Computer Science}, volume = {7994}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-39665-6, 978-3-642-39666-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-39666-3\_25}, } @inproceedings{DunNguSza:2013:723557, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity}}, year = {2013}, booktitle = {Computational Collective Intelligence. Technologies and Applications}, pages = {143--153}, editor = {Costin Bǎdicǎ and Ngoc Thanh Nguyen and Marius Brezovan}, series = {Lecture Notes in Computer Science}, volume = {8083}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-40494-8, 978-3-642-40495-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-40495-5\_15}, } @inproceedings{NguSza:2013:723550, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{On the Horn Fragments of Serial Regular Grammar Logics with Converse}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {225--234}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-225}, } @inproceedings{MalSza:2013:723547, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Partiality and Inconsistency in Agents' Belief Bases}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {3--17}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-3}, } @inproceedings{DunStrEtAl:2013:723542, author = {Barbara Dunin-Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, title = {{Perceiving Speech Acts under Incomplete and Inconsistent Information}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {255--264}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-255}, } @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}, } @article{DohSza:2013:662860, author = {Patrick Doherty and Andrzej Szalas}, title = {{Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination}}, year = {2013}, journal = {Fundamenta Informaticae}, volume = {127}, number = {1-4}, pages = {135--149}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2013-900}, note = {Funding Agencies|Swedish Research Council (VR) Linnaeus Center CADICS||ELLIIT Excellence Center at Linkoping-Lund in Information Technology||CUAS project||SSF, the Swedish Foundation for Strategic Research||}, } @article{Sza:2013:642893, author = {Andrzej Szalas}, title = {{How an agent might think}}, year = {2013}, journal = {Logic journal of the IGPL (Print)}, volume = {21}, number = {3}, pages = {515--535}, publisher = {Oxford University Press (OUP): Policy A - Oxford Open Option A}, issn = {1367-0751}, doi = {10.1093/jigpal/jzs051}, } @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}, } @inproceedings{DunSza:2013:546390, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Distributed Paraconsistent Belief Fusion}}, year = {2013}, booktitle = {Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012}, pages = {59--69}, editor = {Giancarlo Fortino and Costin Badica and Michele Malgeri and Rainer Unland}, series = {Studies in Computational Intelligence}, volume = {446}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-32523-6, 978-3-642-32524-3}, issn = {1860-949X}, doi = {10.1007/978-3-642-32524-3\_9}, } @inproceedings{QuaThiEtAl:2012:548028, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas and Tran Thanh-Luong}, title = {{Concept Learning for Description Logic-based Information Systems}}, year = {2012}, booktitle = {KSE 2012 - International Conference on Knowledge and Systems Engineering}, pages = {65--73}, publisher = {IEEE Computer Society}, doi = {10.1109/KSE.2012.23}, } @inproceedings{QuaThiEtAl:2012:548019, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Nguyen Hung-Son and Andrzej Szalas and Tran Thanh-Luong}, title = {{A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics}}, year = {2012}, booktitle = {SoICT 2012 - 3rd International Symposium on Information and Communication Technology}, pages = {241--249}, publisher = {ACM Press}, doi = {10.1145/2350716.2350753}, } @inproceedings{DunSza:2012:546388, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Epistemic Profiles and Belief Structures}}, year = {2012}, booktitle = {Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings}, pages = {360--369}, editor = {Gordan Jezic and Mario Kusek and Ngoc-Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, series = {Lecture Notes in Computer Science}, volume = {7327}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30946-5, 978-3-642-30947-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-30947-2\_40}, } @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}, } @inproceedings{DohKvaSza:2012:489882, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Temporal Composite Actions with Constraints}}, year = {2012}, booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {478--488}, publisher = {AAAI Press}, isbn = {978-1-57735-560-1, 978-1-57735-561-8}, } @inproceedings{MalSza:2011:461581, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Living with Inconsistency and Taming Nonmonotonicity}}, year = {2011}, booktitle = {Datalog Reloaded}, pages = {334--398}, editor = {O. de Moor and G. Gottlob and T. Furche and A. Sellers}, series = {Lecture Notes in Computer Science}, volume = {6702}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-24205-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-24206-9\_22}, } @inproceedings{CaoNguSza:2011:461571, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL: A Web Ontology Rule Language}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Knowledge and Systems Engineering ({KSE})}, pages = {32--39}, publisher = {IEEE}, isbn = {978-1-4577-1848-9}, doi = {10.1109/KSE.2011.14}, } @inproceedings{DohDunSza:2011:461565, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Tractable model checking for fragments of higher-order coalition logic}}, year = {2011}, booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2}, pages = {743--750}, editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum}, publisher = {AAAI Press}, isbn = {0-9826571-6-1, 978-0-9826571-6-4}, } @inproceedings{CaoNguSza:2011:461560, author = {Son Thanh Cao and Anh Linh Nguyen and Andrzej Szalas}, title = {{On the Web Ontology Rule Language OWL 2 RL}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications ({ICCCI})}, pages = {254--264}, editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Kiem Hoang}, series = {Lecture Notes in Computer Science}, volume = {6922}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-23934-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-23935-9\_25}, } @inproceedings{DohMicEtAl:2011:461555, author = {Patrick Doherty and Tomasz Michalak and Jacek Sroka and Andrzej Szalas}, title = {{Contextual Coalitional Games}}, year = {2011}, booktitle = {Proceedings of the 4th Indian Conference on Logic and its Applications ({ICLA})}, pages = {65--78}, editor = {Mohua Banerjee and Anil Seth}, series = {Lecture Notes in Artificial Intelligence}, volume = {6521}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/978-3-642-18026-2\_7}, } @article{DunNguSza:2011:461548, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {1}, pages = {61--91}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/JANCL.21.61-91}, } @article{NguSza:2011:461546, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse}}, year = {2011}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {98}, number = {3}, pages = {387--428}, publisher = {Springer Berlin/Heidelberg}, issn = {0039-3215}, doi = {10.1007/s11225-011-9341-3}, } @article{MalSza:2011:461544, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation}}, year = {2011}, journal = {Journal of Applied Non-Classical Logics}, volume = {21}, number = {2}, pages = {211--232}, publisher = {Lavoisier}, issn = {1166-3081}, doi = {10.3166/JANCL.21.211-232}, } @inproceedings{DunNguSza:2010:499765, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Graded Beliefs, Goals and Intentions}}, year = {2010}, booktitle = {Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems ({LAMAS})}, pages = {1--15}, publisher = {AAAI Press}, } @inproceedings{NguSza:2010:400674, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Three-Valued Paraconsistent Reasoning for Semantic Web Agents}}, year = {2010}, booktitle = {Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems -- Technologies and Applications (KES-AMSTA)}, pages = {152--162}, series = {Lecture Notes in Artificial Intelligence}, volume = {6070}, publisher = {Springer}, isbn = {978-3-642-13479-1}, issn = {0302-9743}, doi = {10.1007/978-3-642-13480-7\_17}, } @article{NguSza:2010:400673, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH}}, year = {2010}, journal = {Transactions on Computational Collective Intelligence}, volume = {1}, number = {1}, pages = {21--38}, publisher = {Springer}, isbn = {978-3-642-15033-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-15034-0\_2}, } @article{NguSza:2010:371275, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {102}, number = {1}, pages = {97--113}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-299}, } @inproceedings{DohSza:2010:353173, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correctness of Rough-Set Based Approximate Reasoning}}, year = {2010}, booktitle = {Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {327--336}, editor = {M. Szczuka and M. Kryszkiewicz and S. Ramanna and R. Jensen and Q. Hu}, series = {Lecture Notes in Computer Science}, volume = {6086}, publisher = {Springer}, isbn = {978-3-642-13528-6}, issn = {0302-9743}, doi = {10.1007/978-3-642-13529-3\_35}, } @article{DunAnhSza:2010:345778, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Framework for Graded Beliefs, Goals and Intentions}}, year = {2010}, journal = {Fundamenta Informaticae}, volume = {100}, number = {1-4}, pages = {53--76}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-2010-263}, } @article{DunNguSza:2010:337938, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{A Layered Rule-Based Architecture for Approximate Knowledge Fusion}}, year = {2010}, journal = {COMPUTER SCIENCE AND INFORMATION SYSTEMS}, volume = {7}, number = {3}, pages = {617--642}, publisher = {COMSIS CONSORTIUM}, issn = {1820-0214}, doi = {10.2298/CSIS100209015D}, } @article{DunAnhSza:2010:308420, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic}}, year = {2010}, journal = {International Journal of Approximate Reasoning}, volume = {51}, number = {3}, pages = {346--362}, publisher = {Elsevier}, issn = {0888-613X}, doi = {10.1016/j.ijar.2009.11.002}, } @inproceedings{DunNguSza:2009:499763, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Fusing Approximate Knowledge from Distributed Sources}}, year = {2009}, booktitle = {Proceedings of the 3rd International Symposium on Intelligent Distributed Computing ({IDC})}, pages = {75--86}, series = {Studies in Computational Intelligence}, volume = {237}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-03213-4, 978-3-642-26930-1}, issn = {1860-949X}, doi = {10.1007/978-3-642-03214-1\_8}, } @inproceedings{NguSza:2009:499730, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*}}, year = {2009}, booktitle = {Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS\&P)}, pages = {431--442}, } @inproceedings{NguSza:2009:499728, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{An Optimal Tableau Decision Procedure for Converse-PDL}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Knowlegde and Systems Engineering ({KSE})}, pages = {207--214}, publisher = {IEEE Computer Society}, isbn = {978-1-4244-5086-2}, doi = {10.1109/KSE.2009.12}, } @article{GabSza:2009:400675, author = {Dov Gabbay and Andrzej Szalas}, title = {{Annotation Theories over Finite Graphs}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {93}, number = {2-3}, pages = {147--180}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9220-3}, } @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}, } @article{SzaGab:2009:242260, author = {Andrzej Szalas and Dov Gabbay}, title = {{Voting by Eliminating Quantifiers}}, year = {2009}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {92}, number = {3}, pages = {365--379}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-009-9200-7}, } @inproceedings{SzaNgu:2009:242257, author = {Andrzej Szalas and Linh Anh Nguyen}, title = {{EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems ({ICCCI})}, pages = {437--448}, editor = {Ngoc Thanh; Kowalczyk and Ryszard; Chen and Shyi-Ming}, series = {Lecture Notes in Artificial Intelligence}, volume = {5796}, publisher = {Springer}, isbn = {978-3-642-04440-3, 978-3-642-04441-0}, issn = {0302-9743}, doi = {10.1007/978-3-642-04441-0\_38}, } @inproceedings{NguSza:2009:240915, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{A tableau calculus for regular grammar logics with converse}}, year = {2009}, booktitle = {Proceedings of the 22nd International Conference on Automated Deduction ({CADE})}, pages = {421--436}, series = {Lecture Notes in Artificial Intelligence}, volume = {5663}, publisher = {Springer}, isbn = {978-364202958-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-02959-2\_31}, } @article{Sza:2008:265495, author = {Andrzej Szalas}, title = {{Towards Incorporating Background Theories into Quantifier Elimination}}, year = {2008}, journal = {Journal of applied non-classical logics}, volume = {18}, number = {2-3}, pages = {325--340}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.18.325-340}, } @inproceedings{DohSza:2008:265481, author = {Patrick Doherty and Andrzej Szalas}, title = {{Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription}}, year = {2008}, booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {560--570}, editor = {Gerhard Brewka and J\'er\^ome Lang}, publisher = {AAAI Press}, isbn = {978-1-57735-384-3}, } @book{GabSchSza:2008:265478, author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas}, title = {{Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications}}, year = {2008}, series = {Studies in Logics}, volume = {12}, publisher = {College Publications}, isbn = {978-1-904987-56-7, 1-904-98-756-7}, } @inproceedings{VitSzaMal:2008:264421, author = {Aida Vitoria and Andrzej Szalas and Jan Maluszynski}, title = {{Four-valued Extension of Rough Sets}}, year = {2008}, booktitle = {Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology ({RSKT})}, pages = {106--114}, series = {Lecture Notes in Computer Science}, volume = {5009}, publisher = {Springer}, isbn = {978-3-540-79720-3}, issn = {0302-9743}, doi = {10.1007/978-3-540-79721-0\_19}, } @inproceedings{MalVitSza:2008:264420, author = {Jan Maluszynski and Aida Vitoria and Andrzej Szalas}, title = {{Paraconsistent Logic Programs with Four-valued Rough Sets}}, year = {2008}, booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, pages = {41--51}, series = {Lecture Notes in Computer Science}, volume = {5306}, publisher = {Springer}, isbn = {978-3-540-88423-1, 978-3-540-88425-5}, issn = {0302-9743}, doi = {10.1007/978-3-540-88425-5\_5}, } @inproceedings{DunSza:2007:499760, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Towards Approximate BGI Systems}}, year = {2007}, booktitle = {Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems ({CEEMAS})}, pages = {277--287}, series = {Lecture Notes in Artificial Intelligence}, volume = {4696}, publisher = {Springer Berlin/Heidelberg}, isbn = {9783540752530}, issn = {0302-9743}, doi = {10.1007/978-3-540-75254-7\_28}, } @article{DohLukSza:2007:270913, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Communication between agents with heterogeneous perceptual capabilities}}, year = {2007}, journal = {Information Fusion}, volume = {8}, number = {1}, pages = {56--69}, publisher = {Elsevier}, issn = {1566-2535}, doi = {10.1016/j.inffus.2005.05.006}, } @article{GabSza:2007:269262, author = {D.M. Gabbay and Andrzej Szalas}, title = {{Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals}}, year = {2007}, journal = {Studia Logica: An International Journal for Symbolic Logic}, volume = {87}, number = {1}, pages = {37--50}, publisher = {Springer}, issn = {0039-3215}, doi = {10.1007/s11225-007-9075-4}, } @article{DohSza:2007:268924, author = {Patrick Doherty and Andrzej Szalas}, title = {{A correspondence framework between three-valued logics and similarity-based approximate reasoning}}, year = {2007}, journal = {Fundamenta Informaticae}, volume = {75}, number = {1-4}, pages = {179--193}, publisher = {IOS Press}, issn = {0169-2968}, } @inproceedings{DohDunSza:2007:261725, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Dynamics of approximate information fusion}}, year = {2007}, booktitle = {Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms ({RSEISP})}, pages = {668--677}, series = {Lecture Notes in Artificial Intelligence}, volume = {4585}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-73450-5}, issn = {0302-9743}, doi = {10.1007/978-3-540-73451-2\_70}, } @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}, } @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}, } @inproceedings{SzaTys:2006:268965, author = {Andrzej Szalas and Jerzy Tyszkiewicz}, title = {{On the fixpoint theory of equality and its applications}}, year = {2006}, booktitle = {Proceedings of the 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA)}, pages = {388--401}, series = {Lecture Notes in Computer Science}, volume = {4136}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11828563\_26}, } @article{Sza:2006:257649, author = {Andrzej Szalas}, title = {{Second-order Reasoning in Description Logics}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {3 - 4}, pages = {517--530}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.517-530}, } @inproceedings{OrlSza:2006:252681, author = {Ewa Orlowska and Andrzej Szalas}, title = {{Quantifier Elimination in Elementary Set Theory}}, year = {2006}, booktitle = {Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS)}, pages = {237--248}, editor = {W. MacCaull and I. Duentsch and M. Winter}, series = {Lecture Notes in Computer Science}, volume = {3929}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/11734673\_19}, } @book{DohLukEtAl:2006:252617, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {{Knowledge Representation Techniques.: a rough set approach}}, year = {2006}, series = {Studies in Fuzziness and Soft Computing}, volume = {202}, publisher = {Springer}, isbn = {978-3-540-33518-4, 3-540-33518-8}, issn = {1434-9922}, doi = {10.1007/3-540-33519-6}, } @article{DohMagSza:2006:252615, author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas}, title = {{Approximate Databases: A support tool for approximate reasoning}}, year = {2006}, journal = {Journal of applied non-classical logics}, volume = {16}, number = {1-2}, pages = {87--118}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, doi = {10.3166/jancl.16.87-117}, note = {Special issue on implementation of logics}, } @inproceedings{DohSzaLuk:2005:262236, author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz}, title = {{Similarity, approximations and vagueness}}, year = {2005}, booktitle = {Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC)}, pages = {541--550}, editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D\"untsch and Yiyu Yao}, series = {Lecture Notes in Artificial Intelligence}, volume = {3641}, publisher = {Springer}, isbn = {3-540-28653-5}, issn = {0302-9743}, doi = {10.1007/11548669\_56}, } @inproceedings{GraSza:2005:252682, author = {Michali Grabowski and Andrzej Szalas}, title = {{A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies}}, year = {2005}, booktitle = {Proceedings of the 3rd Atlantic Web Intelligence Conference ({AWIC})}, pages = {991--995}, series = {Lecture Notes in Computer Science}, volume = {3528}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11495772\_29}, } @inproceedings{MagDohSza:2005:252325, author = {Martin Magnusson and Patrick Doherty and Andrzej Szalas}, title = {{An Experimental Platform for Approximate Databases}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005}, pages = {124--}, } @inproceedings{DohKerEtAl:2004:269164, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a logical analysis of biochemical pathways}}, year = {2004}, booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {667--679}, editor = {Jos\'e J\'ulio Alferes and João Alexandre Leite}, series = {Lecture Notes in Computer Science}, volume = {3229}, publisher = {Springer}, isbn = {978-3-540-23242-1}, issn = {0302-9743}, doi = {10.1007/978-3-540-30227-8\_55}, } @inproceedings{DohKerEtAl:2004:243283, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a Logical Analysis of Biochemical Reactions (Extended abstract)}}, year = {2004}, booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence ({ECAI})}, pages = {997--998}, editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta}, publisher = {IOS Press}, isbn = {1-58603-452-9}, } @inproceedings{DohLukSza:2004:243282, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities}}, year = {2004}, booktitle = {Proceedings of the 7th International Conference on Information Fusion}, pages = {175--182}, publisher = {ISIF}, isbn = {91-7056-115-X}, } @inproceedings{DohSza:2004:243281, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correspondence between Approximations and Similarity}}, year = {2004}, booktitle = {Proceedings of the International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {143--152}, editor = {Shusaku Tsumoto and Roman Slowinski and Jan Komorowski and Jerzy W. Grzymala-Busse}, series = {Lecture Notes in Computer Science}, volume = {3066}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-25929-9\_16}, } @inproceedings{DohLukSza:2004:243280, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}}, year = {2004}, booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning}, pages = {459--468}, editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams}, publisher = {AAAI Press}, isbn = {978-1-57735-199-3}, } @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}, } @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}, } @inproceedings{Sza:2003:269407, author = {Andrzej Szalas}, title = {{On a logical approach to estimating computational complexity of potentially intractable problems}}, year = {2003}, booktitle = {Proceedings of the 14th International Symposium on Fundamentals of Computation Theory ({FCT})}, pages = {423--431}, editor = {G. Goos and J. Hartmanis and and J. van Leeuwen}, series = {Lecture Notes in Computer Science}, volume = {2751}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-45077-1\_39}, } @article{DohSkoEtAl:2003:269316, author = {Patrick Doherty and Andrew Skowron and Witold Lukaszewicz and Andrzej Szalas}, title = {{Preface}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {i--iii}, publisher = {IOS Press}, issn = {0169-2968}, } @article{DohGraEtAl:2003:269311, author = {Patrick Doherty and M Grabowski and Witold Lukaszewicz and Andrzej Szalas}, title = {{Towards a framework for approximate ontologies}}, year = {2003}, journal = {Fundamenta Informaticae}, volume = {57}, number = {2-4}, pages = {147--165}, publisher = {IOS Press}, issn = {0169-2968}, } @inproceedings{DohLukSza:2003:262459, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{On mutual understanding among communicating agents}}, year = {2003}, booktitle = {Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems ({FAMAS})}, pages = {83--97}, editor = {B. Dunin-Keplicz and R. Verbrugge}, } @inproceedings{DohLukSza:2003:243274, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Tolerance Spaces and Approximative Representational Structures}}, year = {2003}, booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})}, pages = {475--489}, series = {Lecture Notes in Computer Science}, volume = {2821}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-39451-8\_35}, } @inproceedings{DohLukSza:2003:243269, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Information Granules for Intelligent Knowledge Structures}}, year = {2003}, booktitle = {Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)}, pages = {405--412}, editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron}, series = {Lecture Notes in Computer Science}, volume = {2639}, publisher = {Springer}, isbn = {978-3-540-14040-5}, issn = {0302-9743}, doi = {10.1007/3-540-39205-X\_68}, } @inproceedings{Sza:2002:269354, author = {Andrzej Szalas}, title = {{Second-order quantifier elimination in modal contexts}}, year = {2002}, booktitle = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {223--232}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, series = {Lecture Notes in Computer Science}, volume = {2424}, publisher = {Springer}, isbn = {978-354044190-8}, issn = {0302-9743}, doi = {10.1007/3-540-45757-7\_19}, } @inproceedings{DohLukSza:2002:262460, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{CAKE: A computer aided knowledge engineering technique}}, year = {2002}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,2002}, pages = {220--224}, editor = {Frank van Harmelen}, publisher = {IOS Press}, } @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}, } @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}, } @inproceedings{DohLukSza:2001:262451, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing strongest necessary and weakest sufficient conditions of first-order formulas}}, year = {2001}, booktitle = {17th International Joint Conference on Artificial Intelligence,2001}, pages = {145--151}, publisher = {Morgan Kaufmann Publishers Inc.}, isbn = {1-55860-812-5, 978-1-558-60812-2}, } @inproceedings{KacSza:2000:499743, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language}}, year = {2000}, booktitle = {Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy}, pages = {101--115}, publisher = {WSIiE, Olsztyn, Poland}, } @inproceedings{KacSza:2000:499741, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{On Rule-Based Approach to the Construction of Logical Transformers}}, year = {2000}, booktitle = {Proceedings of the 1st International Workshop on Rule-Based Programming ({RULE})}, pages = {57--71}, publisher = {Springer Physica-Verlag}, } @inproceedings{DohLukSza:2000:262444, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Efficient reasoning using the local closed-world assumption}}, year = {2000}, booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications ({AIMSA})}, pages = {49--58}, series = {Lecture Notes in Computer Science}, volume = {1904}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-41044-7, 978-3-540-45331-4}, issn = {0302-9743}, doi = {10.1007/3-540-45331-8\_5}, } @inproceedings{NonOhlSza:1999:499737, author = {Andreas Nonnengart and Hans-J\"urgen Ohlbach and Andrzej Szalas}, title = {{Elimination of Predicate Quantifiers}}, year = {1999}, booktitle = {Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I}, pages = {159--181}, publisher = {Kluwer Academic Publishers}, } @article{DohKacSza:1999:262472, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Meta-queries on deductive databases}}, year = {1999}, journal = {Fundamenta Informaticae}, volume = {40}, number = {1}, pages = {17--30}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1999-40102}, } @article{DohLukSza:1999:262470, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Declarative PTIME queries for relational databases using quantifier elimination}}, year = {1999}, journal = {Journal of logic and computation (Print)}, volume = {9}, number = {5}, pages = {737--758}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/9.5.737}, } @book{BolDziEtAl:1998:499769, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Automatyzacja wnioskowania}}, year = {1998}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {83-7101-403-1, 978-83-7101-403-1}, } @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}, } @article{DohLukSza:1998:262471, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its effective reductions}}, year = {1998}, journal = {Fundamenta Informaticae}, volume = {36}, number = {1}, pages = {23--55}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1998-3612}, } @article{DohLukSza:1997:262477, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited: A reduction algorithm}}, year = {1997}, journal = {Journal of automated reasoning}, volume = {18}, number = {3}, pages = {297--336}, publisher = {Kluwer Academic Publishers}, issn = {0168-7433}, doi = {10.1023/A:1005722130532}, } @article{Sza:1996:499794, author = {Andrzej Szalas}, title = {{On Natural Deduction in First-Order Fixpoint Logics}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {26}, number = {1}, pages = {81--94}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-2616}, } @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}, } @article{DohLukSza:1996:262475, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{A reduction result for circumscribed semi-horn formulas}}, year = {1996}, journal = {Fundamenta Informaticae}, volume = {28}, number = {3,4}, pages = {261--272}, publisher = {IOS Press}, issn = {0169-2968}, doi = {10.3233/FI-1996-283404}, } @inproceedings{DohLukSza:1996:262302, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Explaining explanation closure}}, year = {1996}, booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996}, pages = {521--530}, editor = {Zbigniew W. Ras and Maciek Michalewicz}, series = {Lecture Notes in Computer Science}, volume = {1079}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-61286-6}, issn = {0302-9743}, doi = {10.1007/3-540-61286-6\_176}, } @inproceedings{DohLukSza:1996:262299, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its first-order reduction}}, year = {1996}, booktitle = {Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning ({FAPR})}, pages = {93--109}, editor = {Dov Gabbay and Hans Olbach}, series = {Lecture Notes in Computer Science}, volume = {1085}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-61313-8}, issn = {0302-9743}, doi = {10.1007/3-540-61313-7\_65}, } @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}, } @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}, } @book{BolDziEtAl:1995:499768, author = {Leonard Bolc and Krzysztof Dziewicki and Piotr Rychlik and Andrzej Szalas}, title = {{Wnioskowanie w logikach nieklasycznych: Podstawy teoretyczne}}, year = {1995}, publisher = {Academic Pub. PLJ (Akademicka Oficyna Wydawnicza PLJ)}, isbn = {9788371012884}, } @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}, } @inproceedings{DohLukSza:1995:262301, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited}}, year = {1995}, booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence ({IJCAI})}, pages = {1502--1508}, isbn = {978-1558603639}, note = {Volume 2. Preliminary report}, } @article{Sza:1994:499789, author = {Andrzej Szalas}, title = {{On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic}}, year = {1994}, journal = {Journal of Applied Non-Classical Logics}, volume = {4}, number = {2}, pages = {119--127}, publisher = {\'Editions Herm\`es-Lavoisier}, issn = {1166-3081}, } @inproceedings{Sza:1994:499787, author = {Andrzej Szalas}, title = {{Genetic Algorithms for Decision Problems}}, year = {1994}, booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots ({AIICSR})}, pages = {383--390}, publisher = {World Scientific}, isbn = {981-02-1877-X}, } @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}, } @article{Sza:1993:499797, author = {Andrzej Szalas}, title = {{On the Correspondence between Modal and Classical Logic: An Automated Approach}}, year = {1993}, journal = {Journal of logic and computation (Print)}, volume = {3}, number = {6}, pages = {605--620}, publisher = {Oxford University Press}, issn = {0955-792X}, doi = {10.1093/logcom/3.6.605}, } @article{Sza:1992:499795, author = {Andrzej Szalas}, title = {{Axiomatizing Fixpoint Logics}}, year = {1992}, journal = {Information Processing Letters}, volume = {41}, number = {4}, pages = {175--180}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(92)90175-U}, } @book{Sza:1992:499715, author = {Andrzej Szalas}, title = {{Zarys dedukcyjnych metod automatycznego wnioskowania}}, year = {1992}, publisher = {Academic Pub. RM (Akademicka Oficyna Wydawnicza RM)}, isbn = {83-9004-517-6, 978-83-9004-517-7}, } @article{Sza:1991:499807, author = {Andrzej Szalas}, title = {{On Strictly Arithmetical Completeness in Logics of Programs}}, year = {1991}, journal = {Theoretical Computer Science}, volume = {79}, number = {2}, pages = {341--355}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(91)90336-Z}, } @book{SzaWar:1991:499716, author = {Andrzej Szalas and Jolanta Warpechowska}, title = {{Loglan}}, year = {1991}, publisher = {Wydawnictwa Naukowo-Techniczne WNT}, isbn = {83-2041-295-1, 978-83-2041-295-6}, note = {In Polish; Volume 78, Biblioteka Inżynierii Oprogramowania}, } @article{PetSza:1989:499723, author = {Uwe Petermann and Andrzej Szalas}, title = {{On Temporal Logic for Distributed Systems and its Application to Processes Communicating by Interrupts}}, year = {1989}, journal = {Fundamenta Informaticae}, volume = {12}, number = {2}, pages = {191--204}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1988:499818, author = {Andrzej Szalas}, title = {{Towards the Temporal Approach to Abstract Data Types}}, year = {1988}, journal = {Fundamenta Informaticae}, volume = {11}, number = {1}, pages = {49--64}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1988:499799, author = {Andrzej Szalas}, title = {{An Incompleteness Result in Process Algebra}}, year = {1988}, journal = {Information Processing Letters}, volume = {29}, number = {2}, pages = {67--70}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90030-0}, } @article{HolSza:1988:499750, author = {Leszek Holenderski and Andrzej Szalas}, title = {{Propositional Description of Finite Cause-Effect Structures}}, year = {1988}, journal = {Information Processing Letters}, volume = {27}, number = {3}, pages = {111--117}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(88)90064-6}, } @article{SzaHol:1988:499746, author = {Andrzej Szalas and Leszek Holenderski}, title = {{Incompleteness of First-Order Temporal Logic with Until}}, year = {1988}, journal = {Theoretical Computer Science}, volume = {57}, number = {2-3}, pages = {317--325}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(88)90045-X}, } @article{Sza:1987:499822, author = {Andrzej Szalas}, title = {{A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time}}, year = {1987}, journal = {Theoretical Computer Science}, volume = {54}, number = {2-3}, pages = {199--214}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(87)90129-0}, } @article{Sza:1987:499817, author = {Andrzej Szalas}, title = {{Arithmetical Axiomatization of First-Order Temporal Logic}}, year = {1987}, journal = {Information Processing Letters}, volume = {26}, number = {3}, pages = {111--116}, publisher = {Elsevier}, issn = {0020-0190}, doi = {10.1016/0020-0190(87)90047-0}, } @inproceedings{CunNonSza:1987:499770, author = {R. J. Cunningham and Andreas Nonnengart and Andrzej Szalas}, title = {{A Compositional Method for the Design and Proof of Asynchronous Processes}}, year = {1987}, booktitle = {Proceedings of the 4th Annual ESPRIT Conference ({ESPRIT})}, pages = {566--580}, publisher = {North-Holland}, isbn = {0-444-70333-0}, } @article{Sza:1986:499709, author = {Andrzej Szalas}, title = {{Concerning the Semantic Consequence Relation in First-Order Temporal Logic}}, year = {1986}, journal = {Theoretical Computer Science}, volume = {47}, number = {3}, pages = {329--334}, publisher = {Elsevier}, issn = {0304-3975}, doi = {10.1016/0304-3975(86)90157-X}, } @article{PetSza:1985:499721, author = {Uwe Petermann and Andrzej Szalas}, title = {{A Note on PCI: Distributed Processes Communicating by Interrupts}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {3}, pages = {37--46}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382284.382390}, } @article{SzaSzc:1985:499714, author = {Andrzej Szalas and Danuta Szczepaska}, title = {{Exception Handling in Parallel Computations}}, year = {1985}, journal = {SIGPLAN notices}, volume = {20}, number = {10}, pages = {95--104}, publisher = {ACM Press}, issn = {0362-1340}, doi = {10.1145/382286.382385}, } @article{Sza:1984:499704, author = {Andrzej Szalas}, title = {{On an Application of Algorithmic Theory of Stacks}}, year = {1984}, journal = {Fundamenta Informaticae}, volume = {7}, number = {3}, pages = {378--388}, publisher = {IOS Press}, issn = {0169-2968}, } @article{Sza:1981:499698, author = {Andrzej Szalas}, title = {{Algorithmic Logic with Recursive Functions}}, year = {1981}, journal = {Fundamenta Informaticae}, volume = {4}, number = {4}, pages = {975--995}, publisher = {IOS Press}, issn = {0169-2968}, }