Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/DohertyS24.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 = {Wed, 12 May 2021 10:56:14 +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, 05 Feb 2024 00:00:00 +0100},
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 = {Thu, 15 Jul 2021 13:46:36 +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 = {Mon, 05 Feb 2024 00:00:00 +0100},
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, Septermber
14-20, 1998},
year = {1998},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
