default search action
BibTeX records: Andrzej Szalas
@article{DBLP:journals/ai/DohertyS24, author = {Patrick Doherty and Andrzej Szalas}, title = {Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions}, journal = {Artif. Intell.}, volume = {326}, pages = {104036}, year = {2024}, url = {https://doi.org/10.1016/j.artint.2023.104036}, doi = {10.1016/J.ARTINT.2023.104036}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/DohertyS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/DuninKepliczS24, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, title = {Modeling and shadowing paraconsistent {BDI} agents}, journal = {Ann. Math. Artif. Intell.}, volume = {92}, number = {4}, pages = {855--876}, year = {2024}, url = {https://doi.org/10.1007/s10472-023-09902-w}, doi = {10.1007/S10472-023-09902-W}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/DuninKepliczS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/BanerjeeCS24, author = {Mohua Banerjee and Mihir K. Chakraborty and Andrzej Szalas}, title = {Logics from rough sets}, journal = {J. Appl. Non Class. Logics}, volume = {34}, number = {2-3}, pages = {171--173}, year = {2024}, url = {https://doi.org/10.1080/11663081.2024.2336616}, doi = {10.1080/11663081.2024.2336616}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/BanerjeeCS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-02454, author = {Patrick Doherty and Andrzej Szalas}, title = {Techniques for Measuring the Inferential Strength of Forgetting Policies}, journal = {CoRR}, volume = {abs/2404.02454}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.02454}, doi = {10.48550/ARXIV.2404.02454}, eprinttype = {arXiv}, eprint = {2404.02454}, timestamp = {Mon, 13 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-02454.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-07233, author = {Patrick Doherty and Andrzej Szalas}, title = {Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions}, journal = {CoRR}, volume = {abs/2305.07233}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.07233}, doi = {10.48550/ARXIV.2305.07233}, eprinttype = {arXiv}, eprint = {2305.07233}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-07233.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/DohertyS22, author = {Patrick Doherty and Andrzej Szalas}, title = {A landscape and implementation framework for probabilistic rough sets using ProbLog}, journal = {Inf. Sci.}, volume = {593}, pages = {546--576}, year = {2022}, url = {https://doi.org/10.1016/j.ins.2021.12.062}, doi = {10.1016/J.INS.2021.12.062}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/DohertyS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccci/Szalas22, author = {Andrzej Szalas}, editor = {Ngoc Thanh Nguyen and Yannis Manolopoulos and Richard Chbeir and Adrianna Kozierkiewicz and Bogdan Trawinski}, title = {Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions}, booktitle = {Computational Collective Intelligence - 14th International Conference, {ICCCI} 2022, Hammamet, Tunisia, September 28-30, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13501}, pages = {396--409}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-16014-1\_32}, doi = {10.1007/978-3-031-16014-1\_32}, timestamp = {Thu, 16 Mar 2023 20:00:30 +0100}, biburl = {https://dblp.org/rec/conf/iccci/Szalas22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/Szalas22, author = {Andrzej Szalas}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni{-}Merk and Robert J. Howlett and Lakhmi C. Jain}, title = {Inheriting and Fusing Beliefs of Logically Heterogeneous Objects}, booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems: Proceedings of the 26th International Conference KES-2022, Verona, Italy and Virtual Event, 7-9 September 2022}, series = {Procedia Computer Science}, volume = {207}, pages = {299--308}, publisher = {Elsevier}, year = {2022}, url = {https://doi.org/10.1016/j.procs.2022.09.063}, doi = {10.1016/J.PROCS.2022.09.063}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kes/Szalas22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/DohertyS21, author = {Patrick Doherty and Andrzej Szalas}, title = {Rough set reasoning using answer set programs}, journal = {Int. J. Approx. Reason.}, volume = {130}, pages = {126--149}, year = {2021}, url = {https://doi.org/10.1016/j.ijar.2020.12.010}, doi = {10.1016/J.IJAR.2020.12.010}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijar/DohertyS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/NguyenS21, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Jaroslaw Watr{\'{o}}bski and Wojciech Salabun and Carlos Toro and Cecilia Zanni{-}Merk and Robert J. Howlett and Lakhmi C. Jain}, title = {Optimization Models for Medical Procedures Relocation}, booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems: Proceedings of the 25th International Conference KES-2021, Virtual Event / Szczecin, Poland, 8-10 September 2021}, series = {Procedia Computer Science}, volume = {192}, pages = {2058--2067}, publisher = {Elsevier}, year = {2021}, url = {https://doi.org/10.1016/j.procs.2021.08.212}, doi = {10.1016/J.PROCS.2021.08.212}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kes/NguyenS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rskt/Szalas21, author = {Andrzej Szalas}, editor = {Sheela Ramanna and Chris Cornelis and Davide Ciucci}, title = {Many-Valued Dynamic Object-Oriented Inheritance and Approximations}, booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12872}, pages = {103--119}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-87334-9\_10}, doi = {10.1007/978-3-030-87334-9\_10}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rskt/Szalas21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/Szalas20, author = {Andrzej Szalas}, title = {A Paraconsistent ASP-Like Language with Tractable Model Generation}, journal = {{FLAP}}, volume = {7}, number = {3}, pages = {361--389}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00039}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/Szalas20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mvl/Szalas20, author = {Andrzej Szalas}, title = {On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More}, journal = {J. Multiple Valued Log. Soft Comput.}, volume = {34}, number = {5-6}, pages = {423--450}, year = {2020}, url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-34-number-5-6-2020/mvlsc-34-5-6-p-423-450/}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mvl/Szalas20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismvl/Dunin-KepliczS20, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, title = {Shadowing in Many-Valued Nested Structures}, booktitle = {50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2020, Miyazaki, Japan, November 9-11, 2020}, pages = {230--236}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ISMVL49045.2020.00005}, doi = {10.1109/ISMVL49045.2020.00005}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ismvl/Dunin-KepliczS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/Szalas20, author = {Andrzej Szalas}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni{-}Merk and Robert J. Howlett and Lakhmi C. Jain}, title = {Revisiting Object-Rule Fusion in Query Languages}, booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020}, series = {Procedia Computer Science}, volume = {176}, pages = {50--59}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.procs.2020.08.006}, doi = {10.1016/J.PROCS.2020.08.006}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/kes/Szalas20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/Dunin-KepliczS20, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni{-}Merk and Robert J. Howlett and Lakhmi C. Jain}, title = {A Framework for Organization-Centered Doxastic Reasoning}, booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020}, series = {Procedia Computer Science}, volume = {176}, pages = {3019--3028}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.procs.2020.09.201}, doi = {10.1016/J.PROCS.2020.09.201}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kes/Dunin-KepliczS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rskt/0001S20, author = {Patrick Doherty and Andrzej Szalas}, editor = {Rafael Bello and Duoqian Miao and Rafael Falcon and Michinori Nakata and Alejandro Rosete and Davide Ciucci}, title = {Rough Forgetting}, booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2020, Havana, Cuba, June 29 - July 3, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12179}, pages = {3--18}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-52705-1\_1}, doi = {10.1007/978-3-030-52705-1\_1}, timestamp = {Mon, 29 Jul 2024 21:17:53 +0200}, biburl = {https://dblp.org/rec/conf/rskt/0001S20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/BialekDS19, author = {Lukasz Bialek and Barbara Dunin{-}Keplicz and Andrzej Szalas}, title = {A paraconsistent approach to actions in informationally complex environments}, journal = {Ann. Math. Artif. Intell.}, volume = {86}, number = {4}, pages = {231--255}, year = {2019}, url = {https://doi.org/10.1007/s10472-019-09627-9}, doi = {10.1007/S10472-019-09627-9}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/BialekDS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijufks/SzklarskiBS19, author = {Jacek Szklarski and Lukasz Bialek and Andrzej Szalas}, title = {Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: {A} Simulation-Based Analysis}, journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.}, volume = {27}, number = {3}, pages = {429--455}, year = {2019}, url = {https://doi.org/10.1142/S021848851950020X}, doi = {10.1142/S021848851950020X}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijufks/SzklarskiBS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesidt/Szalas19, author = {Andrzej Szalas}, editor = {Ireneusz Czarnowski and Robert J. Howlett and Lakhmi C. Jain}, title = {Decision-Making Support Using Nonmonotonic Probabilistic Reasoning}, booktitle = {Intelligent Decision Technologies 2019 - Proceedings of the 11th {KES} International Conference on Intelligent Decision Technologies {(KES-IDT} 2019), Volume 1, Malta, June 17-19, 2019}, series = {Smart Innovation, Systems and Technologies}, volume = {142}, pages = {39--51}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-981-13-8311-3\_4}, doi = {10.1007/978-981-13-8311-3\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kesidt/Szalas19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/Dunin-KepliczRS19, author = {Barbara Dunin{-}Keplicz and Inga R{\"{u}}b and Andrzej Szalas}, editor = {Matteo Baldoni and Mehdi Dastani and Beishui Liao and Yuko Sakurai and Rym Zalila{-}Wenkstern}, title = {Doxastic Group Reasoning via Multiple Belief Shadowing}, booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11873}, pages = {271--288}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33792-6\_17}, doi = {10.1007/978-3-030-33792-6\_17}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/Dunin-KepliczRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-09715, author = {Andrzej Szalas}, title = {A Paraconsistent ASP-like Language with Tractable Model Generation}, journal = {CoRR}, volume = {abs/1912.09715}, year = {2019}, url = {http://arxiv.org/abs/1912.09715}, eprinttype = {arXiv}, eprint = {1912.09715}, timestamp = {Fri, 03 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-09715.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AngelisSS18, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Andrzej Szalas}, title = {Paraconsistent Rule-based Reasoning with Graded Truth Values}, journal = {{FLAP}}, volume = {5}, number = {1}, pages = {185--220}, year = {2018}, url = {http://collegepublications.co.uk/ifcolog/?00021}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/AngelisSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emas/BialekDS18, author = {Lukasz Bialek and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Danny Weyns and Viviana Mascardi and Alessandro Ricci}, title = {Belief Shadowing}, booktitle = {Engineering Multi-Agent Systems - 6th International Workshop, {EMAS} 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11375}, pages = {158--180}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-25693-7\_9}, doi = {10.1007/978-3-030-25693-7\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emas/BialekDS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/idc/BialekDS17, author = {Lukasz Bialek and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Mirjana Ivanovic and Costin Badica and J{\"{u}}rgen Dix and Zoran Jovanovic and Michele Malgeri and Milos Savic}, title = {Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments}, booktitle = {Intelligent Distributed Computing {XI} - Proceedings of the 11th International Symposium on Intelligent Distributed Computing - {IDC} 2017, Belgrade, Serbia, October 11-13, 2017}, series = {Studies in Computational Intelligence}, volume = {737}, pages = {49--60}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66379-1\_5}, doi = {10.1007/978-3-319-66379-1\_5}, timestamp = {Thu, 23 Jun 2022 19:57:34 +0200}, biburl = {https://dblp.org/rec/conf/idc/BialekDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/BialekDS17, author = {Lukasz Bialek and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Marzena Kryszkiewicz and Annalisa Appice and Dominik Slezak and Henryk Rybinski and Andrzej Skowron and Zbigniew W. Ras}, title = {Rule-Based Reasoning with Belief Structures}, booktitle = {Foundations of Intelligent Systems - 23rd International Symposium, {ISMIS} 2017, Warsaw, Poland, June 26-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10352}, pages = {229--239}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60438-1\_23}, doi = {10.1007/978-3-319-60438-1\_23}, timestamp = {Thu, 14 Oct 2021 10:09:11 +0200}, biburl = {https://dblp.org/rec/conf/ismis/BialekDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rskt/AngelisSDS17, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Lech Polkowski and Yiyu Yao and Piotr Artiemjew and Davide Ciucci and Dun Liu and Dominik Slezak and Beata Zielosko}, title = {Heterogeneous Approximate Reasoning with Graded Truth Values}, booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10313}, pages = {61--82}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60837-2\_6}, doi = {10.1007/978-3-319-60837-2\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rskt/AngelisSDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DohertyKS16, author = {Patrick Doherty and Jonas Kvarnstr{\"{o}}m and Andrzej Szalas}, editor = {Loizos Michael and Antonis C. Kakas}, title = {Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract)}, booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA} 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10021}, pages = {536--542}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48758-8\_36}, doi = {10.1007/978-3-319-48758-8\_36}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DohertyKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miwai/DohertyS16, author = {Patrick Doherty and Andrzej Szalas}, editor = {Chattrakul Sombattheera and Frieder Stolzenburg and Fangzhen Lin and Abhaya C. Nayak}, title = {An Entailment Procedure for Kleene Answer Set Programs}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, {MIWAI} 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10053}, pages = {24--37}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49397-8\_3}, doi = {10.1007/978-3-319-49397-8\_3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/miwai/DohertyS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/NguyenNS15, 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}, journal = {Data Knowl. Eng.}, volume = {96}, pages = {57--77}, year = {2015}, url = {https://doi.org/10.1016/j.datak.2015.04.005}, doi = {10.1016/J.DATAK.2015.04.005}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/NguyenNS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijon/Dunin-KepliczSSV15, author = {Barbara Dunin{-}Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, title = {Paraconsistent semantics of speech acts}, journal = {Neurocomputing}, volume = {151}, pages = {943--952}, year = {2015}, url = {https://doi.org/10.1016/j.neucom.2014.10.001}, doi = {10.1016/J.NEUCOM.2014.10.001}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijon/Dunin-KepliczSSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/DohertyS14, author = {Patrick Doherty and Andrzej Szalas}, editor = {Thomas Eiter and Hannes Strass and Miroslaw Truszczynski and Stefan Woltran}, title = {Stability, Supportedness, Minimality and Kleene Answer Set Programs}, booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9060}, pages = {125--140}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-14726-0\_9}, doi = {10.1007/978-3-319-14726-0\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/DohertyS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcci/CaoNS14, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {The Web Ontology Rule Language {OWL} 2 {RL} + and Its Extensions}, journal = {Trans. Comput. Collect. Intell.}, volume = {13}, pages = {152--175}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54455-2\_7}, doi = {10.1007/978-3-642-54455-2\_7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcci/CaoNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vjcs/CaoNS14, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL:} a nonmonotonic rule language for the semantic web}, journal = {Vietnam. J. Comput. Sci.}, volume = {1}, number = {1}, pages = {57--69}, year = {2014}, url = {https://doi.org/10.1007/s40595-013-0009-y}, doi = {10.1007/S40595-013-0009-Y}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vjcs/CaoNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/Dunin-KepliczSV14, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas and Rineke Verbrugge}, editor = {Fabiano Dalpiaz and J{\"{u}}rgen Dix and M. Birna van Riemsdijk}, title = {Tractable Reasoning about Group Beliefs}, booktitle = {Engineering Multi-Agent Systems - Second International Workshop, {EMAS} 2014, Paris, France, May 5-6, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8758}, pages = {328--350}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-14484-9\_17}, doi = {10.1007/978-3-319-14484-9\_17}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dalt/Dunin-KepliczSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iimss/Szalas14, author = {Andrzej Szalas}, editor = {Rui Neves{-}Silva and George A. Tshirintzis and Vladimir Uskov and Robert J. Howlett and Lakhmi C. Jain}, title = {Symbolic Explanations of Generalized Fuzzy Reasoning}, booktitle = {Smart Digital Futures 2014, Proceedings of Three {KES} Conferences: Intelligent Decision Technologies (KES-IDT-14), Intelligent Interactive Multimedia Systems and Services (KES-IIMSS-14), and Smart Technology-based Education and Training (KES-STET-14), Chania, Crete, Greece, 18-20 June 2014}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {262}, pages = {7--16}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-405-3-7}, doi = {10.3233/978-1-61499-405-3-7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iimss/Szalas14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/Dunin-KepliczS14, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Gordan Jezic and Mario Kusek and Ignac Lovrek and Robert J. Howlett and Lakhmi C. Jain}, title = {Indeterministic Belief Structures}, booktitle = {Agent and Multi-Agent Systems: Technologies and Applications - Proceedings of the 8th International Conference, {KES-AMSTA} 2014, Chania, Greece, June 2014}, series = {Advances in Intelligent Systems and Computing}, volume = {296}, pages = {57--66}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-07650-8\_7}, doi = {10.1007/978-3-319-07650-8\_7}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/Dunin-KepliczS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webi/BialekS14, author = {Lukasz Bialek and Andrzej Szalas}, title = {Lightweight Reasoning with Incomplete and Inconsistent Information: {A} Case Study}, booktitle = {2014 {IEEE/WIC/ACM} International Joint Conferences on Web Intelligence {(WI)} and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014 - Volume {III}}, pages = {325--332}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/WI-IAT.2014.184}, doi = {10.1109/WI-IAT.2014.184}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/webi/BialekS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyS13, author = {Patrick Doherty and Andrzej Szalas}, title = {Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination}, journal = {Fundam. Informaticae}, volume = {127}, number = {1-4}, pages = {135--149}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-900}, doi = {10.3233/FI-2013-900}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DohertyS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Szalas13, author = {Andrzej Szalas}, title = {How an agent might think}, journal = {Log. J. {IGPL}}, volume = {21}, number = {3}, pages = {515--535}, year = {2013}, url = {https://doi.org/10.1093/jigpal/jzs051}, doi = {10.1093/JIGPAL/JZS051}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Szalas13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcci/Dunin-KepliczS13, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, title = {Taming Complex Beliefs}, journal = {Trans. Comput. Collect. Intell.}, volume = {11}, pages = {1--21}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41776-4\_1}, doi = {10.1007/978-3-642-41776-4\_1}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcci/Dunin-KepliczS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccci/Dunin-KepliczNS13, author = {Barbara Dunin{-}Keplicz and Linh Anh Nguyen and Andrzej Szalas}, editor = {Costin Badica and Ngoc Thanh Nguyen and Marius Brezovan}, title = {Horn-TeamLog: {A} Horn Fragment of TeamLog with PTime Data Complexity}, booktitle = {Computational Collective Intelligence. Technologies and Applications - 5th International Conference, {ICCCI} 2013, Craiova, Romania, September 11-13, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8083}, pages = {143--153}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40495-5\_15}, doi = {10.1007/978-3-642-40495-5\_15}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccci/Dunin-KepliczNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/MaluszynskiS13, author = {Jan Maluszynski and Andrzej Szalas}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, title = {Partiality and Inconsistency in Agents' Belief Bases}, 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), May 27-29, 2013, Hue City, Vietnam}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, pages = {3--17}, publisher = {{IOS} Press}, year = {2013}, url = {https://doi.org/10.3233/978-1-61499-254-7-3}, doi = {10.3233/978-1-61499-254-7-3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/MaluszynskiS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/NguyenS13, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, title = {On the Horn Fragments of Serial Regular Grammar Logics with Converse}, 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), May 27-29, 2013, Hue City, Vietnam}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, pages = {225--234}, publisher = {{IOS} Press}, year = {2013}, url = {https://doi.org/10.3233/978-1-61499-254-7-225}, doi = {10.3233/978-1-61499-254-7-225}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/NguyenS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/Dunin-KepliczSSV13, author = {Barbara Dunin{-}Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, title = {Perceiving Speech Acts under Incomplete and Inconsistent Information}, 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), May 27-29, 2013, Hue City, Vietnam}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, pages = {255--264}, publisher = {{IOS} Press}, year = {2013}, url = {https://doi.org/10.3233/978-1-61499-254-7-255}, doi = {10.3233/978-1-61499-254-7-255}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/Dunin-KepliczSSV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kse/NguyenNS13, author = {Linh Anh Nguyen and Thi{-}Bich{-}Loc Nguyen and Andrzej Szalas}, editor = {Van{-}Nam Huynh and Thierry Denoeux and Dang Hung Tran and Anh{-}Cuong Le and Son Bao Pham}, title = {On Horn Knowledge Bases in Regular Description Logic with Inverse}, booktitle = {Knowledge and Systems Engineering - Proceedings of the Fifth International Conference, {KSE} 2013, Volume 1, Hanoi, Vietnam, 17-19 October, 2013}, series = {Advances in Intelligent Systems and Computing}, volume = {244}, pages = {37--49}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02741-8\_6}, doi = {10.1007/978-3-319-02741-8\_6}, timestamp = {Mon, 26 Aug 2024 15:41:49 +0200}, biburl = {https://dblp.org/rec/conf/kse/NguyenNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/NguyenNS13, author = {Linh Anh Nguyen and Thi{-}Bich{-}Loc Nguyen and Andrzej Szalas}, editor = {Wolfgang Faber and Domenico Lembo}, title = {HornDL: An Expressive Horn Description Logic with PTime Data Complexity}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {259--264}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_25}, doi = {10.1007/978-3-642-39666-3\_25}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rr/NguyenNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/isrl/NguyenS13a, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Andrzej Skowron and Zbigniew Suraj}, title = {Logic-Based Roughification}, booktitle = {Rough Sets and Intelligent Systems - Professor Zdzis{\l}aw Pawlak in Memoriam - Volume 1}, series = {Intelligent Systems Reference Library}, volume = {42}, pages = {517--543}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-30344-9\_19}, doi = {10.1007/978-3-642-30344-9\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/isrl/NguyenS13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcci/NguyenS12, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {Paraconsistent Reasoning for Semantic Web Agents}, journal = {Trans. Comput. Collect. Intell.}, volume = {6}, pages = {36--55}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29356-6\_2}, doi = {10.1007/978-3-642-29356-6\_2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcci/NguyenS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/idc/Dunin-KepliczS12, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Giancarlo Fortino and Costin Badica and Michele Malgeri and Rainer Unland}, title = {Distributed Paraconsistent Belief Fusion}, booktitle = {Intelligent Distributed Computing {VI} - Proceedings of the 6th International Symposium on Intelligent Distributed Computing - {IDC} 2012, Calabria, Italy, September 2012}, series = {Studies in Computational Intelligence}, volume = {446}, pages = {59--69}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32524-3\_9}, doi = {10.1007/978-3-642-32524-3\_9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/idc/Dunin-KepliczS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/Dunin-KepliczS12, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Gordan Jezic and Mario Kusek and Ngoc Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, title = {Epistemic Profiles and Belief Structures}, booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th {KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7327}, pages = {360--369}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30947-2\_40}, doi = {10.1007/978-3-642-30947-2\_40}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/Dunin-KepliczS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DohertyKS12, author = {Patrick Doherty and Jonas Kvarnstr{\"{o}}m and Andrzej Szalas}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Temporal Composite Actions with Constraints}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4487}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/DohertyKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kse/TranHHNNS12, author = {Thanh{-}Luong Tran and Quang{-}Thuy Ha and Thi{-}Lan{-}Giao Hoang and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas}, editor = {Dang Van Hung and Hung Trung Vo and Jeff Sanders and Lam Thu Bui and Son Bao Pham}, title = {Concept Learning for Description Logic-Based Information Systems}, booktitle = {Fourth International Conference on Knowledge and Systems Engineering, {KSE} 2012, Danang, Vietnam, August 17-19, 2012}, pages = {65--73}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/KSE.2012.23}, doi = {10.1109/KSE.2012.23}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kse/TranHHNNS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soict/HaHNNST12, author = {Quang{-}Thuy Ha and Thi{-}Lan{-}Giao Hoang and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas and Thanh{-}Luong Tran}, editor = {Eric Castelli and Khanh Tran Duc and Chi Mai Luong and Viet Tran}, title = {A bisimulation-based method of concept learning for knowledge bases in description logics}, booktitle = {Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012}, pages = {241--249}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2350716.2350753}, doi = {10.1145/2350716.2350753}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/soict/HaHNNST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/Dunin-KepliczS12, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Jan van Eijck and Rineke Verbrugge}, title = {Agents in Approximate Environments}, booktitle = {Games, Actions and Social Software - Multidisciplinary Aspects}, series = {Lecture Notes in Computer Science}, volume = {7010}, pages = {141--163}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29326-9\_8}, doi = {10.1007/978-3-642-29326-9\_8}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/Dunin-KepliczS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Dunin-KepliczNS11, author = {Barbara Dunin{-}Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {Converse-PDL with regular inclusion axioms: a framework for {MAS} logics}, journal = {J. Appl. Non Class. Logics}, volume = {21}, number = {1}, pages = {61--91}, year = {2011}, url = {https://doi.org/10.3166/jancl.21.61-91}, doi = {10.3166/JANCL.21.61-91}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Dunin-KepliczNS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/MaluszynskiS11, author = {Jan Maluszynski and Andrzej Szalas}, title = {Logical foundations and complexity of 4QL, a query language with unrestricted negation}, journal = {J. Appl. Non Class. Logics}, volume = {21}, number = {2}, pages = {211--232}, year = {2011}, url = {https://doi.org/10.3166/jancl.21.211-232}, doi = {10.3166/JANCL.21.211-232}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/MaluszynskiS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/NguyenS11, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse}, journal = {Stud Logica}, volume = {98}, number = {3}, pages = {387--428}, year = {2011}, url = {https://doi.org/10.1007/s11225-011-9341-3}, doi = {10.1007/S11225-011-9341-3}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/NguyenS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/DohertyDS11, author = {Patrick Doherty and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum}, title = {Tractable model checking for fragments of higher-order coalition logic}, booktitle = {10th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3}, pages = {743--750}, publisher = {{IFAAMAS}}, year = {2011}, url = {http://portal.acm.org/citation.cfm?id=2031723\&\#38;CFID=54178199\&\#38;CFTOKEN=61392764}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/DohertyDS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccci/CaoNS11, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Kiem Hoang}, title = {On the Web Ontology Rule Language {OWL} 2 {RL}}, booktitle = {Computational Collective Intelligence. Technologies and Applications - Third International Conference, {ICCCI} 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6922}, pages = {254--264}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23935-9\_25}, doi = {10.1007/978-3-642-23935-9\_25}, timestamp = {Thu, 16 Mar 2023 20:00:30 +0100}, biburl = {https://dblp.org/rec/conf/iccci/CaoNS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/DohertyMSS11, author = {Patrick Doherty and Tomasz P. Michalak and Jacek Sroka and Andrzej Szalas}, editor = {Mohua Banerjee and Anil Seth}, title = {Contextual Coalitional Games}, booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi, India, January 5-11, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6521}, pages = {65--78}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-18026-2\_7}, doi = {10.1007/978-3-642-18026-2\_7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icla/DohertyMSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kse/CaoNS11, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL:} {A} Web Ontology Rule Language}, booktitle = {Third International Conference on Knowledge and Systems Engineering, {KSE} 2011, Hanoi, Vietnam, October 14-17, 2011}, pages = {32--39}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/KSE.2011.14}, doi = {10.1109/KSE.2011.14}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kse/CaoNS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comsis/Dunin-KepliczNS10, author = {Barbara Dunin{-}Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {A layered rule-based architecture for approximate knowledge fusion?}, journal = {Comput. Sci. Inf. Syst.}, volume = {7}, number = {3}, pages = {617--642}, year = {2010}, url = {https://doi.org/10.2298/CSIS100209015D}, doi = {10.2298/CSIS100209015D}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/comsis/Dunin-KepliczNS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Dunin-KepliczNS10, author = {Barbara Dunin{-}Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {A Framework for Graded Beliefs, Goals and Intentions}, journal = {Fundam. Informaticae}, volume = {100}, number = {1-4}, pages = {53--76}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-263}, doi = {10.3233/FI-2010-263}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Dunin-KepliczNS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/NguyenS10, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {Checking Consistency of an ABox w.r.t. Global Assumptions in {PDL}}, journal = {Fundam. Informaticae}, volume = {102}, number = {1}, pages = {97--113}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-299}, doi = {10.3233/FI-2010-299}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/NguyenS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/Dunin-KepliczNS10, 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}, journal = {Int. J. Approx. Reason.}, volume = {51}, number = {3}, pages = {346--362}, year = {2010}, url = {https://doi.org/10.1016/j.ijar.2009.11.002}, doi = {10.1016/J.IJAR.2009.11.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijar/Dunin-KepliczNS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcci/NguyenS10, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic \emph{SH}}, journal = {Trans. Comput. Collect. Intell.}, volume = {1}, pages = {21--38}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15034-0\_2}, doi = {10.1007/978-3-642-15034-0\_2}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcci/NguyenS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datalog/MaluszynskiS10, author = {Jan Maluszynski and Andrzej Szalas}, editor = {Oege de Moor and Georg Gottlob and Tim Furche and Andrew Jon Sellers}, title = {Living with Inconsistency and Taming Nonmonotonicity}, booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6702}, pages = {384--398}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24206-9\_22}, doi = {10.1007/978-3-642-24206-9\_22}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/datalog/MaluszynskiS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/NguyenS10, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, title = {Three-Valued Paraconsistent Reasoning for Semantic Web Agents}, booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 4th {KES} International Symposium, {KES-AMSTA} 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6070}, pages = {152--162}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13480-7\_17}, doi = {10.1007/978-3-642-13480-7\_17}, timestamp = {Thu, 16 Mar 2023 20:00:31 +0100}, biburl = {https://dblp.org/rec/conf/kesamsta/NguyenS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsctc/DohertyS10, author = {Patrick Doherty and Andrzej Szalas}, editor = {Marcin S. Szczuka and Marzena Kryszkiewicz and Sheela Ramanna and Richard Jensen and Qinghua Hu}, title = {On the Correctness of Rough-Set Based Approximate Reasoning}, booktitle = {Rough Sets and Current Trends in Computing - 7th International Conference, {RSCTC} 2010, Warsaw, Poland, June 28-30,2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6086}, pages = {327--336}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13529-3\_35}, doi = {10.1007/978-3-642-13529-3\_35}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsctc/DohertyS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1011-5105, author = {Jan Maluszynski and Andrzej Szalas}, title = {Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation}, journal = {CoRR}, volume = {abs/1011.5105}, year = {2010}, url = {http://arxiv.org/abs/1011.5105}, eprinttype = {arXiv}, eprint = {1011.5105}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-5105.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/VitoriaMS09, author = {Aida Vit{\'{o}}ria and Jan Maluszynski and Andrzej Szalas}, title = {Modeling and Reasoning with Paraconsistent Rough Sets}, journal = {Fundam. Informaticae}, volume = {97}, number = {4}, pages = {405--438}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-209}, doi = {10.3233/FI-2009-209}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/VitoriaMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/GabbayS09, author = {Dov M. Gabbay and Andrzej Szalas}, title = {Voting by Eliminating Quantifiers}, journal = {Stud Logica}, volume = {92}, number = {3}, pages = {365--379}, year = {2009}, url = {https://doi.org/10.1007/s11225-009-9200-7}, doi = {10.1007/S11225-009-9200-7}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/GabbayS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/GabbayS09b, author = {Dov M. Gabbay and Andrzej Szalas}, title = {Annotation Theories over Finite Graphs}, journal = {Stud Logica}, volume = {93}, number = {2-3}, pages = {147--180}, year = {2009}, url = {https://doi.org/10.1007/s11225-009-9220-3}, doi = {10.1007/S11225-009-9220-3}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/GabbayS09b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/SzalasS09, author = {Alicja S. Szalas and Andrzej Szalas}, editor = {Malgorzata Marciniak and Agnieszka Mykowiecka}, title = {Paraconsistent Reasoning with Words}, booktitle = {Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday}, series = {Lecture Notes in Computer Science}, volume = {5070}, pages = {43--58}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04735-0\_2}, doi = {10.1007/978-3-642-04735-0\_2}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/SzalasS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/NguyenS09, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Renate A. Schmidt}, title = {A Tableau Calculus for Regular Grammar Logics with Converse}, booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5663}, pages = {421--436}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02959-2\_31}, doi = {10.1007/978-3-642-02959-2\_31}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/NguyenS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccci/NguyenS09, author = {Linh Anh Nguyen and Andrzej Szalas}, editor = {Ngoc Thanh Nguyen and Ryszard Kowalczyk and Shyi{-}Ming Chen}, title = {ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic \emph{ALC}{\textbackslash}mathcal\{ALC\}}, booktitle = {Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, {ICCCI} 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5796}, pages = {437--448}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04441-0\_38}, doi = {10.1007/978-3-642-04441-0\_38}, timestamp = {Thu, 16 Mar 2023 20:00:29 +0100}, biburl = {https://dblp.org/rec/conf/iccci/NguyenS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/idc/Dunin-KepliczNS09, author = {Barbara Dunin{-}Keplicz and Linh Anh Nguyen and Andrzej Szalas}, editor = {George Angelos Papadopoulos and Costin Badica}, title = {Fusing Approximate Knowledge from Distributed Sources}, booktitle = {Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing - {IDC} 2009, Ayia Napa, Cyprus, October 2009}, series = {Studies in Computational Intelligence}, volume = {237}, pages = {75--86}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03214-1\_8}, doi = {10.1007/978-3-642-03214-1\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/idc/Dunin-KepliczNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0904-0721, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {Optimal Tableau Decision Procedures for {PDL}}, journal = {CoRR}, volume = {abs/0904.0721}, year = {2009}, url = {http://arxiv.org/abs/0904.0721}, eprinttype = {arXiv}, eprint = {0904.0721}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0904-0721.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0023036, author = {Dov M. Gabbay and Renate A. Schmidt and Andrzej Szalas}, title = {Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications}, series = {Studies in logic : Mathematical logic and foundations}, volume = {12}, publisher = {College Publications}, year = {2008}, url = {http://collegepublications.co.uk/logic/mlf/?00009}, isbn = {978-1-904987-56-7}, timestamp = {Tue, 09 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0023036.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Szalas08, author = {Andrzej Szalas}, title = {Towards incorporating background theories into quantifier elimination}, journal = {J. Appl. Non Class. Logics}, volume = {18}, number = {2-3}, pages = {325--340}, year = {2008}, url = {https://doi.org/10.3166/jancl.18.325-340}, doi = {10.3166/JANCL.18.325-340}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/Szalas08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DohertyS08, author = {Patrick Doherty and Andrzej Szalas}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {560--570}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-055.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/DohertyS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsctc/MaluszynskiSV08, author = {Jan Maluszynski and Andrzej Szalas and Aida Vit{\'{o}}ria}, editor = {Chien{-}Chung Chan and Jerzy W. Grzymala{-}Busse and Wojciech Ziarko}, title = {Paraconsistent Logic Programs with Four-Valued Rough Sets}, booktitle = {Rough Sets and Current Trends in Computing, 6th International Conference, {RSCTC} 2008, Akron, OH, USA, October 23-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5306}, pages = {41--51}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88425-5\_5}, doi = {10.1007/978-3-540-88425-5\_5}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rsctc/MaluszynskiSV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rskt/VitoriaSM08, author = {Aida Vit{\'{o}}ria and Andrzej Szalas and Jan Maluszynski}, editor = {Guoyin Wang and Tianrui Li and Jerzy W. Grzymala{-}Busse and Duoqian Miao and Andrzej Skowron and Yiyu Yao}, title = {Four-Valued Extension of Rough Sets}, booktitle = {Rough Sets and Knowledge Technology, Third International Conference, {RSKT} 2008, Chengdu, China, May 17-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5009}, pages = {106--114}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79721-0\_19}, doi = {10.1007/978-3-540-79721-0\_19}, timestamp = {Tue, 20 Aug 2024 07:54:43 +0200}, biburl = {https://dblp.org/rec/conf/rskt/VitoriaSM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyS07, author = {Patrick Doherty and Andrzej Szalas}, title = {A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning}, journal = {Fundam. Informaticae}, volume = {75}, number = {1-4}, pages = {179--193}, year = {2007}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi75-1-4-11}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DohertyS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/inffus/DohertyLS07, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {Communication between agents with heterogeneous perceptual capabilities}, journal = {Inf. Fusion}, volume = {8}, number = {1}, pages = {56--69}, year = {2007}, url = {https://doi.org/10.1016/j.inffus.2005.05.006}, doi = {10.1016/J.INFFUS.2005.05.006}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/inffus/DohertyLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/GabbayS07, author = {Dov M. Gabbay and Andrzej Szalas}, title = {Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals}, journal = {Stud Logica}, volume = {87}, number = {1}, pages = {37--50}, year = {2007}, url = {https://doi.org/10.1007/s11225-007-9075-4}, doi = {10.1007/S11225-007-9075-4}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/GabbayS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/trs/MaluszynskiSV07, author = {Jan Maluszynski and Andrzej Szalas and Aida Vit{\'{o}}ria}, title = {A Four-Valued Logic for Rough Set-Like Approximate Reasoning}, journal = {Trans. Rough Sets}, volume = {6}, pages = {176--190}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71200-8\_11}, doi = {10.1007/978-3-540-71200-8\_11}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/trs/MaluszynskiSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ceemas/Dunin-KepliczS07, author = {Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Hans{-}Dieter Burkhard and Gabriela Lindemann and Rineke Verbrugge and L{\'{a}}szl{\'{o}} Zsolt Varga}, title = {Towards Approximate {BGI} Systems}, booktitle = {Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007, Leipzig, Germany, September 25-27, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4696}, pages = {277--287}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75254-7\_28}, doi = {10.1007/978-3-540-75254-7\_28}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ceemas/Dunin-KepliczS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rseisp/DohertyDS07, author = {Patrick Doherty and Barbara Dunin{-}Keplicz and Andrzej Szalas}, editor = {Marzena Kryszkiewicz and James F. Peters and Henryk Rybinski and Andrzej Skowron}, title = {Dynamics of Approximate Information Fusion}, booktitle = {Rough Sets and Intelligent Systems Paradigms, International Conference, {RSEISP} 2007, Warsaw, Poland, June 28-30, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4585}, pages = {668--677}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73451-2\_70}, doi = {10.1007/978-3-540-73451-2\_70}, timestamp = {Thu, 14 Oct 2021 09:56:22 +0200}, biburl = {https://dblp.org/rec/conf/rseisp/DohertyDS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/DohertyLSS06, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, title = {Knowledge Representation Techniques - {A} Rough Set Approach}, series = {Studies in Fuzziness and Soft Computing}, volume = {202}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/3-540-33519-6}, doi = {10.1007/3-540-33519-6}, isbn = {978-3-540-33518-4}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/DohertyLSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/DohertyMS06, author = {Patrick Doherty and Martin Magnusson and Andrzej Szalas}, title = {Approximate databases: a support tool for approximate reasoning}, journal = {J. Appl. Non Class. Logics}, volume = {16}, number = {1-2}, pages = {87--118}, year = {2006}, url = {https://doi.org/10.3166/jancl.16.87-117}, doi = {10.3166/JANCL.16.87-117}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/DohertyMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Szalas06, author = {Andrzej Szalas}, title = {Second-order reasoning in description logics}, journal = {J. Appl. Non Class. Logics}, volume = {16}, number = {3-4}, pages = {517--530}, year = {2006}, url = {https://doi.org/10.3166/jancl.16.517-530}, doi = {10.3166/JANCL.16.517-530}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/Szalas06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/SzalasT06, author = {Andrzej Szalas and Jerzy Tyszkiewicz}, editor = {Renate A. Schmidt}, title = {On the Fixpoint Theory of Equality and Its Applications}, booktitle = {Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4136}, pages = {388--401}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11828563\_26}, doi = {10.1007/11828563\_26}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/SzalasT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/RelMiCS/OrlowskaS05, author = {Ewa Orlowska and Andrzej Szalas}, editor = {Wendy MacCaull and Michael Winter and Ivo D{\"{u}}ntsch}, title = {Quantifier Elimination in Elementary Set Theory}, booktitle = {Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of {COST} Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3929}, pages = {237--248}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11734673\_19}, doi = {10.1007/11734673\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/RelMiCS/OrlowskaS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/awic/GrabowskiS05, author = {Michal Grabowski and Andrzej Szalas}, editor = {Piotr S. Szczepaniak and Janusz Kacprzyk and Adam Niewiadomski}, title = {A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies}, booktitle = {Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, {AWIC} 2005, Lodz, Poland, June 6-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3528}, pages = {183--189}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11495772\_29}, doi = {10.1007/11495772\_29}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/awic/GrabowskiS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsfdgrc/DohertyLS05, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D{\"{u}}ntsch and Yiyu Yao}, title = {Similarity, Approximations and Vagueness}, booktitle = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {3641}, pages = {541--550}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11548669\_56}, doi = {10.1007/11548669\_56}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsfdgrc/DohertyLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DohertyKMS04, author = {Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas}, editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and Lorenza Saitta}, title = {Towards a Logical Analysis of Biochemical Reactions}, booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, {PAIS} 2004, Valencia, Spain, August 22-27, 2004}, pages = {997--998}, publisher = {{IOS} Press}, year = {2004}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/DohertyKMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/DohertyKMS04, author = {Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Szalas}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, title = {Towards a Logical Analysis of Biochemical Pathways}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, pages = {667--679}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30227-8\_55}, doi = {10.1007/978-3-540-30227-8\_55}, timestamp = {Tue, 07 May 2024 20:11:09 +0200}, biburl = {https://dblp.org/rec/conf/jelia/DohertyKMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/DohertySL04, author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz}, editor = {Didier Dubois and Christopher A. Welty and Mary{-}Anne Williams}, title = {Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004}, pages = {459--468}, publisher = {{AAAI} Press}, year = {2004}, url = {http://www.aaai.org/Library/KR/2004/kr04-048.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/DohertySL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsctc/DohertyS04, author = {Patrick Doherty and Andrzej Szalas}, editor = {Shusaku Tsumoto and Roman Slowinski and Henryk Jan Komorowski and Jerzy W. Grzymala{-}Busse}, title = {On the Correspondence between Approximations and Similarity}, booktitle = {Rough Sets and Current Trends in Computing, 4th International Conference, {RSCTC} 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3066}, pages = {143--152}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25929-9\_16}, doi = {10.1007/978-3-540-25929-9\_16}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsctc/DohertyS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/cogtech/DohertyLSS04, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Skowron and Andrzej Szalas}, editor = {Sankar Kumar Pal and Lech Polkowski and Andrzej Skowron}, title = {Approximation Transducers and Trees: {A} Technique for Combining Rough and Crisp Knowledge}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, series = {Cognitive Technologies}, pages = {189--218}, publisher = {Springer}, year = {2004}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/cogtech/DohertyLSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/cogtech/DohertyKS04, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, editor = {Sankar Kumar Pal and Lech Polkowski and Andrzej Skowron}, title = {Using Contextually Closed Queries for Local Closed-World Reasoning in Rough Knowledge Databases}, booktitle = {Rough-Neural Computing: Techniques for Computing with Words}, series = {Cognitive Technologies}, pages = {219--250}, publisher = {Springer}, year = {2004}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/cogtech/DohertyKS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyGLS03, author = {Patrick Doherty and Michal Grabowski and Witold Lukaszewicz and Andrzej Szalas}, title = {Towards a Framework for Approximate Ontologies}, journal = {Fundam. Informaticae}, volume = {57}, number = {2-4}, pages = {147--165}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-04}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DohertyGLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertySLS03, author = {Patrick Doherty and Andrzej Skowron and Witold Lukaszewicz and Andrzej Szalas}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {57}, number = {2-4}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DohertySLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Szalas03, author = {Andrzej Szalas}, editor = {Andrzej Lingas and Bengt J. Nilsson}, title = {On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems}, booktitle = {Fundamentals of Computation Theory, 14th International Symposium, {FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2751}, pages = {423--431}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45077-1\_39}, doi = {10.1007/978-3-540-45077-1\_39}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fct/Szalas03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/DohertyLS03, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Andreas G{\"{u}}nter and Rudolf Kruse and Bernd Neumann}, title = {Tolerance Spaces and Approximative Representational Structures}, booktitle = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2821}, pages = {475--489}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39451-8\_35}, doi = {10.1007/978-3-540-39451-8\_35}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ki/DohertyLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rsfdgrc/DohertyLS03, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron}, title = {Information Granules for Intelligent Knowledge Structures}, booktitle = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2639}, pages = {405--412}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-39205-X\_68}, doi = {10.1007/3-540-39205-X\_68}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rsfdgrc/DohertyLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/DohertyLS02, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Frank van Harmelen}, title = {{CAKE:} {A} Computer-Aided Knowledge Engineering Technique}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002}, pages = {220--224}, publisher = {{IOS} Press}, year = {2002}, timestamp = {Mon, 03 Jan 2022 07:50:19 +0100}, biburl = {https://dblp.org/rec/conf/ecai/DohertyLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/Szalas02, author = {Andrzej Szalas}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, title = {Second-Order Quantifier Elimination in Modal Contexts}, booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002, Cosenza, Italy, September, 23-26, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2424}, pages = {223--232}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45757-7\_19}, doi = {10.1007/3-540-45757-7\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jelia/Szalas02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DohertyLS01, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Bernhard Nebel}, title = {Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {145--154}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/DohertyLS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aimsa/DohertyLS00, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Stefano A. Cerri and Danail Dochev}, title = {Efficient Reasoning Using the Local Closed-World Assumption}, booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, {AIMSA} 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1904}, pages = {49--58}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45331-8\_5}, doi = {10.1007/3-540-45331-8\_5}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aimsa/DohertyLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyKS99, author = {Patrick Doherty and Jaroslaw Kachniarz and Andrzej Szalas}, title = {Meta-Queries on Deductive Databases}, journal = {Fundam. Informaticae}, volume = {40}, number = {1}, pages = {7--30}, year = {1999}, url = {https://doi.org/10.3233/FI-1999-40102}, doi = {10.3233/FI-1999-40102}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DohertyKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/DohertyLS99, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {Declarative {PTIME} Queries for Relational Databases using Quantifier Elimination}, journal = {J. Log. Comput.}, volume = {9}, number = {5}, pages = {737--758}, year = {1999}, url = {https://doi.org/10.1093/logcom/9.5.737}, doi = {10.1093/LOGCOM/9.5.737}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/DohertyLS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyLS98, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {General Domain Circumscription and its Effective Reductions}, journal = {Fundam. Informaticae}, volume = {36}, number = {1}, pages = {23--55}, year = {1998}, url = {https://doi.org/10.3233/FI-1998-3612}, doi = {10.3233/FI-1998-3612}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/DohertyLS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/RelMiCS/1998, editor = {Ewa Orlowska and Andrzej Szalas}, title = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, September 14-20, 1998}, year = {1998}, timestamp = {Tue, 09 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/RelMiCS/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/DohertyLS97, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {Computing Circumscription Revisited: {A} Reduction Algorithm}, journal = {J. Autom. Reason.}, volume = {18}, number = {3}, pages = {297--336}, year = {1997}, url = {https://doi.org/10.1023/A:1005722130532}, doi = {10.1023/A:1005722130532}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/DohertyLS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Szalas96, author = {Andrzej Szalas}, title = {On Natural Deduction in First-Ortder Fixpoint Logics}, journal = {Fundam. Informaticae}, volume = {26}, number = {1}, pages = {81--94}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-2616}, doi = {10.3233/FI-1996-2616}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/Szalas96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DohertyLS96, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {A Reduction Result for Circumscribed Semi-Horn Formulas}, journal = {Fundam. Informaticae}, volume = {28}, number = {3-4}, pages = {261--271}, year = {1996}, url = {https://doi.org/10.3233/FI-1996-283404}, doi = {10.3233/FI-1996-283404}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/DohertyLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fapr/DohertyLS96, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {General Domain Circumscription in its First-Order Reduction}, booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1085}, pages = {93--109}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61313-7\_65}, doi = {10.1007/3-540-61313-7\_65}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fapr/DohertyLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/DohertyLS96, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, editor = {Zbigniew W. Ras and Maciej Michalewicz}, title = {Explaining Explanation Closure}, booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS} '96, Zakopane, Poland, June 9-13, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1079}, pages = {521--530}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61286-6\_176}, doi = {10.1007/3-540-61286-6\_176}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismis/DohertyLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfcs/1996, editor = {Wojciech Penczek and Andrzej Szalas}, title = {Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1113}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61550-4}, doi = {10.1007/3-540-61550-4}, isbn = {3-540-61550-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DohertyLS95, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {Computing Circumscription Revisited: Preliminary Report}, booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada, August 20-25 1995, 2 Volumes}, pages = {1502--1508}, publisher = {Morgan Kaufmann}, year = {1995}, url = {http://ijcai.org/Proceedings/95-2/Papers/063.pdf}, timestamp = {Mon, 18 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/DohertyLS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/Szalas94, author = {Andrzej Szalas}, title = {On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic}, journal = {J. Appl. Non Class. Logics}, volume = {4}, number = {2}, pages = {119--127}, year = {1994}, url = {https://doi.org/10.1080/11663081.1994.10510828}, doi = {10.1080/11663081.1994.10510828}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jancl/Szalas94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Szalas93, author = {Andrzej Szalas}, title = {On the Correspondence between Modal and Classical Logic: An Automated Approach}, journal = {J. Log. Comput.}, volume = {3}, number = {6}, pages = {605--620}, year = {1993}, url = {https://doi.org/10.1093/logcom/3.6.605}, doi = {10.1093/LOGCOM/3.6.605}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/Szalas93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Szalas92, author = {Andrzej Szalas}, title = {Axiomatizing Fixpoint Logics}, journal = {Inf. Process. Lett.}, volume = {41}, number = {4}, pages = {175--180}, year = {1992}, url = {https://doi.org/10.1016/0020-0190(92)90175-U}, doi = {10.1016/0020-0190(92)90175-U}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Szalas92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Szalas91, author = {Andrzej Szalas}, title = {On Strictly Arithmetical Completeness in Logics of Programs}, journal = {Theor. Comput. Sci.}, volume = {79}, number = {2}, pages = {341--355}, year = {1991}, url = {https://doi.org/10.1016/0304-3975(91)90336-Z}, doi = {10.1016/0304-3975(91)90336-Z}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Szalas91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/HolenderskiS88, author = {Leszek Holenderski and Andrzej Szalas}, title = {Propositional Description of Finite Cause-Effect Structures}, journal = {Inf. Process. Lett.}, volume = {27}, number = {3}, pages = {111--117}, year = {1988}, url = {https://doi.org/10.1016/0020-0190(88)90064-6}, doi = {10.1016/0020-0190(88)90064-6}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/HolenderskiS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Szalas88, author = {Andrzej Szalas}, title = {An Incompleteness Result in Process Algebra}, journal = {Inf. Process. Lett.}, volume = {29}, number = {2}, pages = {67--70}, year = {1988}, url = {https://doi.org/10.1016/0020-0190(88)90030-0}, doi = {10.1016/0020-0190(88)90030-0}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Szalas88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/SzalasH88, author = {Andrzej Szalas and Leszek Holenderski}, title = {Incompleteness of First-Order Temporal Logic with Until}, journal = {Theor. Comput. Sci.}, volume = {57}, pages = {317--325}, year = {1988}, url = {https://doi.org/10.1016/0304-3975(88)90045-X}, doi = {10.1016/0304-3975(88)90045-X}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/SzalasH88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Szalas87, author = {Andrzej Szalas}, title = {Arithmetical Axiomatization of First-Order Temporal Logic}, journal = {Inf. Process. Lett.}, volume = {26}, number = {3}, pages = {111--116}, year = {1987}, url = {https://doi.org/10.1016/0020-0190(87)90047-0}, doi = {10.1016/0020-0190(87)90047-0}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Szalas87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Szalas87, author = {Andrzej Szalas}, title = {A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time}, journal = {Theor. Comput. Sci.}, volume = {54}, pages = {199--214}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90129-0}, doi = {10.1016/0304-3975(87)90129-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Szalas87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Szalas86, author = {Andrzej Szalas}, title = {Concerning the Semantic Consequence Relation in First-Order Temporal Logic}, journal = {Theor. Comput. Sci.}, volume = {47}, number = {3}, pages = {329--334}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90157-X}, doi = {10.1016/0304-3975(86)90157-X}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Szalas86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/PetermannS85, author = {Uwe Petermann and Andrzej Szalas}, title = {A note on {PCI:} distributed processes communicating by interrupts}, journal = {{ACM} {SIGPLAN} Notices}, volume = {20}, number = {3}, pages = {37--47}, year = {1985}, url = {https://doi.org/10.1145/382284.382390}, doi = {10.1145/382284.382390}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigplan/PetermannS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/SzalasS85, author = {Andrzej Szalas and Danuta Szczepanska}, title = {Exception handling in parallel computations}, journal = {{ACM} {SIGPLAN} Notices}, volume = {20}, number = {10}, pages = {95--104}, year = {1985}, url = {https://doi.org/10.1145/382286.382385}, doi = {10.1145/382286.382385}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigplan/SzalasS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Szalas81, author = {Andrzej Szalas}, title = {Algorithmic logic with recursive functions}, journal = {Fundam. Informaticae}, volume = {4}, number = {4}, pages = {975--996}, year = {1981}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Szalas81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.