@inproceedings{DunSza:2022:1704998, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Modeling and Shadowing Paraconsistent BDI Agents}}, year = {2022}, booktitle = {10th International Workshop on Engineering Multi-Agent Systems}, } @inproceedings{Sza:2022:1704919, author = {Andrzej Szalas}, title = {{Inheriting and Fusing Beliefs of Logically Heterogeneous Objects}}, year = {2022}, booktitle = {26th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {299--308}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2022.09.063}, } @inproceedings{Sza:2022:1704916, author = {Andrzej Szalas}, title = {{Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions}}, year = {2022}, booktitle = {ICCCI 2022: Computational Collective Intelligence}, pages = {396--409}, editor = {Nguyen and N.T. and Manolopoulos and Y. and Chbeir and R. and Kozierkiewicz and A. and Trawiński and B.}, series = {Lecture Notes in Computer Science}, volume = {13501}, publisher = {Springer}, isbn = {9783031160141, 9783031160134}, issn = {0302-9743}, doi = {10.1007/978-3-031-16014-1\_32}, note = {Funding: Polish National Science Centre [2017/27/B/ST6/02018]}, } @inproceedings{LinSza:2021:1604553, author = {Nguyen Linh Anh and Andrzej Szalas}, title = {{Optimization Models for Medical Procedures Relocation}}, year = {2021}, booktitle = {25th KES International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems ({KES})}, pages = {2058--2067}, editor = {Watrobski J. and Salabun W. and Toro C. and Zanni-Merk C. and Howlett R.J and Lakhmi C.J.}, series = {Procedia Computer Science}, volume = {192}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2021.08.212}, note = {Funding: Polish Ministry of Science and Higher EducationMinistry of Science and Higher Education, Poland}, } @inproceedings{Sza:2021:1604547, author = {Andrzej Szalas}, title = {{Many-Valued Dynamic Object-Oriented Inheritance and Approximations}}, year = {2021}, booktitle = {International Joint Conference on Rough Sets}, pages = {103--119}, editor = {Ramanna S. and Cornelis C. and Ciucci D.}, series = {Lecture Notes in Computer Science}, volume = {12872}, publisher = {Springer}, isbn = {9783030873332, 9783030873349}, issn = {0302-9743}, doi = {10.1007/978-3-030-87334-9\_10}, note = {Funding: Polish National Science Centre [2017/27/B/ST6/02018]}, } @inproceedings{DunSza:2020:1515263, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Shadowing in Many-Valued Nested Structures}}, year = {2020}, booktitle = {2020 IEEE 50th International Symposium on Multiple-Valued Logic ({ISMVL})}, pages = {230--236}, publisher = {IEEE}, isbn = {9781728154077, 9781728154060, 9781728154053}, doi = {10.1109/ISMVL49045.2020.00005}, note = {Funding: National Science Centre PolandNational Science Centre, Poland [2015/19/B/ST6/02589, 2017/27/B/ST6/02018]}, } @inproceedings{DunSza:2020:1472862, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{A Framework for Organization-Centered Doxastic Reasoning}}, year = {2020}, booktitle = {24th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {3019--3028}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, volume = {176}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2020.09.201}, } @inproceedings{Sza:2020:1472854, author = {Andrzej Szalas}, title = {{Revisiting Object-Rule Fusion in Query Languages}}, year = {2020}, booktitle = {24th International Conference on Knowledge-Based and Intelligent Information \& Engineering Systems}, pages = {50-59--}, editor = {Matteo Cristani and Carlos Toro and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, series = {Procedia Computer Science}, volume = {176}, publisher = {Elsevier}, issn = {1877-0509}, doi = {10.1016/j.procs.2020.08.006}, } @inproceedings{DohSza:2020:1465049, author = {Patrick Doherty and Andrzej Szalas}, title = {{Rough Forgetting}}, year = {2020}, booktitle = {Rough Sets. IJCRS 2020}, pages = {3--18}, series = {Lecture Notes in Computer Science}, volume = {12179}, publisher = {Springer}, isbn = {9783030527051, 9783030527044}, issn = {0302-9743}, doi = {10.1007/978-3-030-52705-1\_1}, note = {ELLIIT Network Organization for Information and Communication Technology, Sweden; Swedish Foundation for Strategic Research SSFSwedish Foundation for Strategic Research; Jinan University (Zhuhai Campus) [2017/27/B/ST6/02018]; National Science Centre PolandNational Science Centre, Poland}, } @inproceedings{Sza:2019:1464874, author = {Andrzej Szalas}, title = {{Decision-Making Support Using Nonmonotonic Probabilistic Reasoning}}, year = {2019}, booktitle = {Intelligent Decision Technologies 2019}, pages = {39--51}, editor = {Czarnowski I. and Howlett R. and Jain L.}, series = {Smart Innovation, Systems and Technologies}, volume = {142}, publisher = {Springer}, doi = {10.1007/978-981-13-8311-3\_4}, } @inproceedings{BiaDunSza:2019:1464863, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Belief Shadowing}}, year = {2019}, booktitle = {Engineering Multi-Agent Systems. EMAS 2018}, pages = {158--180}, editor = {Weyns D. and Mascardi V. and Ricci A.}, series = {Lecture Notes in Computer Science}, volume = {11375}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-030-25693-7\_9}, } @inproceedings{DunRbSza:2019:1464842, author = {Barbara Dunin-Keplicz and Inga R\"ub and Andrzej Szalas}, title = {{Doxastic Group Reasoning via Multiple Belief Shadowing}}, year = {2019}, booktitle = {PRIMA 2019: Principles and Practice of Multi-Agent Systems}, pages = {271--288}, editor = {Baldoni M. and Dastani M. and Liao B. and Sakurai Y. and Zalila Wenkstern R.}, series = {Lecture Notes in Computer Science}, volume = {11873}, publisher = {Springer}, isbn = {978-3-030-33792-6, 978-3-030-33791-9}, issn = {0302-9743}, doi = {10.1007/978-3-030-33792-6\_17}, note = {Funding agencies:\ \ Polish National Science Centre [2015/19/B/ST6/02589]; ELLIIT network organization for Information and Communication Technology; Swedish Foundation for Strategic Research FSR (SymbiKBot Project)}, } @inproceedings{BiaDunSza:2018:1270895, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments}}, year = {2018}, booktitle = {Intelligent Distributed Computing XI}, pages = {49--60}, editor = {Mirjana Ivanović and Costin Bădică and J\"urgen Dix and Zoran Jovanović and Michele Malgeri and Miloš Savić}, series = {Studies in Computational Intelligence}, volume = {737}, publisher = {Springer}, isbn = {9783319663784, 9783319663791}, issn = {1860-949X}, doi = {10.1007/978-3-319-66379-1\_5}, } @inproceedings{BiaDunSza:2017:1229189, author = {Lukasz Bialek and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Rule-Based Reasoning with Belief Structures}}, year = {2017}, booktitle = {FOUNDATIONS OF INTELLIGENT SYSTEMS, ISMIS 2017}, pages = {229--239}, series = {Lecture Notes in Artificial Intelligence}, publisher = {SPRINGER INTERNATIONAL PUBLISHING AG}, isbn = {978-3-319-60438-1, 978-3-319-60437-4}, issn = {0302-9743}, doi = {10.1007/978-3-319-60438-1\_23}, note = {Funding Agencies|Polish National Science Centre grant [2015/19/B/ST6/02589]}, } @inproceedings{DeASerEtAl:2017:1218531, author = {Francesco Luca De Angelis and Giovanna Di Marzo Serugendo and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Heterogeneous Approximate Reasoning with Graded Truth Values}}, year = {2017}, booktitle = {ROUGH SETS}, pages = {61--82}, series = {Lecture Notes in Artificial Intelligence}, publisher = {SPRINGER INTERNATIONAL PUBLISHING AG}, isbn = {978-3-319-60837-2, 978-3-319-60836-5}, issn = {0302-9743}, doi = {10.1007/978-3-319-60837-2\_6}, note = {Funding Agencies|Polish National Science Centre [2015/19/B/ST6/02589]}, } @inproceedings{DohSza:2016:1076960, author = {Patrick Doherty and Andrzej Szalas}, title = {{An Entailment Procedure for Kleene Answer Set Programs}}, year = {2016}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence. MIWAI 2016.}, pages = {24--37}, editor = {Sombattheera C. and Stolzenburg F. and Lin F. and Nayak A.}, series = {Lecture Notes in Computer Science}, volume = {10053}, publisher = {Springer}, isbn = {978-3-319-49396-1, 978-3-319-49397-8}, issn = {0302-9743}, doi = {10.1007/978-3-319-49397-8\_3}, } @inproceedings{DohKvaSza:2016:1073362, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs}}, year = {2016}, booktitle = {Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, pages = {536--542}, editor = {Michael and Loizos; Kakas and Antonis}, series = {Lecture Notes in Computer Science}, volume = {10021}, publisher = {Springer Publishing Company}, isbn = {978-3-319-48757-1, 978-3-319-48758-8}, issn = {0302-9743}, doi = {10.1007/978-3-319-48758-8\_36}, } @inproceedings{BiaSza:2014:850313, author = {Lukasz Bialek and Andrzej Szalas}, title = {{Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study}}, year = {2014}, booktitle = {2014 IEEE/WIC/ACM International Joint Conferences on (Volume:3 ) Web Intelligence ({WI}) and Intelligent Agent Technologies ({IAT}),}, pages = {325--332}, publisher = {IEEE}, isbn = {978-1-4799-4143-8}, doi = {10.1109/WI-IAT.2014.184}, } @inproceedings{DunSza:2014:850305, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Indeterministic Belief Structures}}, year = {2014}, booktitle = {Agent and Multi-Agent Systems: Technologies and Applications: Proceedings of the 8th International Conference KES-AMSTA 2014, Chania, Greece, June 2014}, pages = {57--66}, series = {Advances in Intelligent Systems and Computing}, volume = {296}, publisher = {Springer International Publishing}, isbn = {978-3-319-07649-2, 978-3-319-07650-8}, issn = {2194-5357}, doi = {10.1007/978-3-319-07650-8\_7}, } @inproceedings{DunSzaVer:2014:820504, author = {Barbara Dunin-Keplicz and Andrzej Szalas and Rineke Verbrugge}, title = {{Tractable Reasoning about Group Beliefs}}, year = {2014}, booktitle = {ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2014}, pages = {328--350}, series = {Lecture Notes in Computer Science}, volume = {8758}, publisher = {SPRINGER INT PUBLISHING AG}, isbn = {978-3-319-14484-9, 978-3-319-14483-2}, issn = {0302-9743}, doi = {10.1007/978-3-319-14484-9\_17}, } @inproceedings{CaoNguSza:2014:801603, author = {S.T. Cao and L.A. Nguyen and Andrzej Szalas}, title = {{The web ontology rule language OWL 2 RL+ and its extensions}}, year = {2014}, booktitle = {Transactions on Computational Collective Intelligence XIII}, pages = {152--175}, editor = {Gerhard Goos and Juris Hartmanis and and Jan van Leeuwen}, series = {Lecture Notes in Computer Science}, volume = {8342}, publisher = {Springer Verlag (Germany)}, isbn = {978-3-642-54454-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-54455-2\_7}, } @inproceedings{Sza:2014:796797, author = {Andrzej Szalas}, title = {{Symbolic Explanations of Generalized Fuzzy Reasoning}}, year = {2014}, booktitle = {SMART DIGITAL FUTURES 2014}, pages = {7--16}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-405-3; 978-1-61499-404-6}, issn = {0922-6389}, doi = {10.3233/978-1-61499-405-3-7}, } @inproceedings{NguNguSza:2014:748128, author = {L.A. Nguyen and T.-B.-L. Nguyen and Andrzej Szalas}, title = {{On horn knowledge bases in regular description logic with inverse}}, year = {2014}, booktitle = {KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1}, pages = {37--49}, series = {Advances in Intelligent Systems and Computing}, volume = {Vol 244}, publisher = {Springer Berlin/Heidelberg}, isbn = {9783319027401}, issn = {2194-5357}, doi = {10.1007/978-3-319-02741-8\_6}, } @inproceedings{NguNguSza:2013:723559, author = {Linh Anh Nguyen and Thi-Bich-Loc Nguyen and Andrzej Szalas}, title = {{HornDL: An Expressive Horn Description Logic with PTime Data Complexity}}, year = {2013}, booktitle = {Web Reasoning and Rule Systems}, pages = {259--264}, editor = {Wolfgang Faber and Domenico Lembo}, series = {Lecture Notes in Computer Science}, volume = {7994}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-39665-6, 978-3-642-39666-3}, issn = {0302-9743}, doi = {10.1007/978-3-642-39666-3\_25}, } @inproceedings{DunNguSza:2013:723557, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity}}, year = {2013}, booktitle = {Computational Collective Intelligence. Technologies and Applications}, pages = {143--153}, editor = {Costin Bǎdicǎ and Ngoc Thanh Nguyen and Marius Brezovan}, series = {Lecture Notes in Computer Science}, volume = {8083}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-40494-8, 978-3-642-40495-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-40495-5\_15}, } @inproceedings{NguSza:2013:723550, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{On the Horn Fragments of Serial Regular Grammar Logics with Converse}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {225--234}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-225}, } @inproceedings{MalSza:2013:723547, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Partiality and Inconsistency in Agents' Belief Bases}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {3--17}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-3}, } @inproceedings{DunStrEtAl:2013:723542, author = {Barbara Dunin-Keplicz and Alina Strachocka and Andrzej Szalas and Rineke Verbrugge}, title = {{Perceiving Speech Acts under Incomplete and Inconsistent Information}}, year = {2013}, booktitle = {Advanced Methods and Technologies for Agent and Multi-Agent Systems: Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013)}, pages = {255--264}, editor = {Dariusz Barbucha and Manh Thanh Le and Robert J. Howlett and Lakhmi C. Jain}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {252}, publisher = {IOS Press}, isbn = {978-1-61499-253-0}, issn = {0922-6389}, doi = {10.3233/978-1-61499-254-7-255}, } @inproceedings{DunSza:2013:546390, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Distributed Paraconsistent Belief Fusion}}, year = {2013}, booktitle = {Intelligent Distributed Computing VI: Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012}, pages = {59--69}, editor = {Giancarlo Fortino and Costin Badica and Michele Malgeri and Rainer Unland}, series = {Studies in Computational Intelligence}, volume = {446}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-32523-6, 978-3-642-32524-3}, issn = {1860-949X}, doi = {10.1007/978-3-642-32524-3\_9}, } @inproceedings{QuaThiEtAl:2012:548028, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Hung Son Nguyen and Andrzej Szalas and Tran Thanh-Luong}, title = {{Concept Learning for Description Logic-based Information Systems}}, year = {2012}, booktitle = {KSE 2012 - International Conference on Knowledge and Systems Engineering}, pages = {65--73}, publisher = {IEEE Computer Society}, doi = {10.1109/KSE.2012.23}, } @inproceedings{QuaThiEtAl:2012:548019, author = {Ha Quang-Thuy and Hoang Thi-Lan-Giao and Linh Anh Nguyen and Nguyen Hung-Son and Andrzej Szalas and Tran Thanh-Luong}, title = {{A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics}}, year = {2012}, booktitle = {SoICT 2012 - 3rd International Symposium on Information and Communication Technology}, pages = {241--249}, publisher = {ACM Press}, doi = {10.1145/2350716.2350753}, } @inproceedings{DunSza:2012:546388, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Epistemic Profiles and Belief Structures}}, year = {2012}, booktitle = {Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25-27, 2012. Proceedings}, pages = {360--369}, editor = {Gordan Jezic and Mario Kusek and Ngoc-Thanh Nguyen and Robert J. Howlett and Lakhmi C. Jain}, series = {Lecture Notes in Computer Science}, volume = {7327}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-30946-5, 978-3-642-30947-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-30947-2\_40}, } @inproceedings{DohKvaSza:2012:489882, author = {Patrick Doherty and Jonas Kvarnstr\"om and Andrzej Szalas}, title = {{Temporal Composite Actions with Constraints}}, year = {2012}, booktitle = {Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {478--488}, publisher = {AAAI Press}, isbn = {978-1-57735-560-1, 978-1-57735-561-8}, } @inproceedings{MalSza:2011:461581, author = {Jan Maluszynski and Andrzej Szalas}, title = {{Living with Inconsistency and Taming Nonmonotonicity}}, year = {2011}, booktitle = {Datalog Reloaded}, pages = {334--398}, editor = {O. de Moor and G. Gottlob and T. Furche and A. Sellers}, series = {Lecture Notes in Computer Science}, volume = {6702}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-24205-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-24206-9\_22}, } @inproceedings{CaoNguSza:2011:461571, author = {Son Thanh Cao and Linh Anh Nguyen and Andrzej Szalas}, title = {{WORL: A Web Ontology Rule Language}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Knowledge and Systems Engineering ({KSE})}, pages = {32--39}, publisher = {IEEE}, isbn = {978-1-4577-1848-9}, doi = {10.1109/KSE.2011.14}, } @inproceedings{DohDunSza:2011:461565, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Tractable model checking for fragments of higher-order coalition logic}}, year = {2011}, booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2}, pages = {743--750}, editor = {Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum}, publisher = {AAAI Press}, isbn = {0-9826571-6-1, 978-0-9826571-6-4}, } @inproceedings{CaoNguSza:2011:461560, author = {Son Thanh Cao and Anh Linh Nguyen and Andrzej Szalas}, title = {{On the Web Ontology Rule Language OWL 2 RL}}, year = {2011}, booktitle = {Proceedings of the 3rd International Conference on Computational Collective Intelligence, Technologies and Applications ({ICCCI})}, pages = {254--264}, editor = {Piotr Jedrzejowicz and Ngoc Thanh Nguyen and Kiem Hoang}, series = {Lecture Notes in Computer Science}, volume = {6922}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-23934-2}, issn = {0302-9743}, doi = {10.1007/978-3-642-23935-9\_25}, } @inproceedings{DohMicEtAl:2011:461555, author = {Patrick Doherty and Tomasz Michalak and Jacek Sroka and Andrzej Szalas}, title = {{Contextual Coalitional Games}}, year = {2011}, booktitle = {Proceedings of the 4th Indian Conference on Logic and its Applications ({ICLA})}, pages = {65--78}, editor = {Mohua Banerjee and Anil Seth}, series = {Lecture Notes in Artificial Intelligence}, volume = {6521}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/978-3-642-18026-2\_7}, } @inproceedings{DunNguSza:2010:499765, author = {Barbara Dunin-Keplicz and Anh Linh Nguyen and Andrzej Szalas}, title = {{Graded Beliefs, Goals and Intentions}}, year = {2010}, booktitle = {Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems ({LAMAS})}, pages = {1--15}, publisher = {AAAI Press}, } @inproceedings{NguSza:2010:400674, author = {Anh Linh Nguyen and Andrzej Szalas}, title = {{Three-Valued Paraconsistent Reasoning for Semantic Web Agents}}, year = {2010}, booktitle = {Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems -- Technologies and Applications (KES-AMSTA)}, pages = {152--162}, series = {Lecture Notes in Artificial Intelligence}, volume = {6070}, publisher = {Springer}, isbn = {978-3-642-13479-1}, issn = {0302-9743}, doi = {10.1007/978-3-642-13480-7\_17}, } @inproceedings{DohSza:2010:353173, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correctness of Rough-Set Based Approximate Reasoning}}, year = {2010}, booktitle = {Proceedings of the 7th International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {327--336}, editor = {M. Szczuka and M. Kryszkiewicz and S. Ramanna and R. Jensen and Q. Hu}, series = {Lecture Notes in Computer Science}, volume = {6086}, publisher = {Springer}, isbn = {978-3-642-13528-6}, issn = {0302-9743}, doi = {10.1007/978-3-642-13529-3\_35}, } @inproceedings{DunNguSza:2009:499763, author = {Barbara Dunin-Keplicz and Linh Anh Nguyen and Andrzej Szalas}, title = {{Fusing Approximate Knowledge from Distributed Sources}}, year = {2009}, booktitle = {Proceedings of the 3rd International Symposium on Intelligent Distributed Computing ({IDC})}, pages = {75--86}, series = {Studies in Computational Intelligence}, volume = {237}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-642-03213-4, 978-3-642-26930-1}, issn = {1860-949X}, doi = {10.1007/978-3-642-03214-1\_8}, } @inproceedings{NguSza:2009:499730, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{Checking Consistency of an ABox w.r.t. Global Assumptions in PDL*}}, year = {2009}, booktitle = {Proceedings of the 18th Concurrency, Specification and Programming Workshop (CS\&P)}, pages = {431--442}, } @inproceedings{NguSza:2009:499728, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{An Optimal Tableau Decision Procedure for Converse-PDL}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Knowlegde and Systems Engineering ({KSE})}, pages = {207--214}, publisher = {IEEE Computer Society}, isbn = {978-1-4244-5086-2}, doi = {10.1109/KSE.2009.12}, } @inproceedings{SzaNgu:2009:242257, author = {Andrzej Szalas and Linh Anh Nguyen}, title = {{EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC}}, year = {2009}, booktitle = {Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks \& Multiagent Systems ({ICCCI})}, pages = {437--448}, editor = {Ngoc Thanh; Kowalczyk and Ryszard; Chen and Shyi-Ming}, series = {Lecture Notes in Artificial Intelligence}, volume = {5796}, publisher = {Springer}, isbn = {978-3-642-04440-3, 978-3-642-04441-0}, issn = {0302-9743}, doi = {10.1007/978-3-642-04441-0\_38}, } @inproceedings{NguSza:2009:240915, author = {Linh Anh Nguyen and Andrzej Szalas}, title = {{A tableau calculus for regular grammar logics with converse}}, year = {2009}, booktitle = {Proceedings of the 22nd International Conference on Automated Deduction ({CADE})}, pages = {421--436}, series = {Lecture Notes in Artificial Intelligence}, volume = {5663}, publisher = {Springer}, isbn = {978-364202958-5}, issn = {0302-9743}, doi = {10.1007/978-3-642-02959-2\_31}, } @inproceedings{DohSza:2008:265481, author = {Patrick Doherty and Andrzej Szalas}, title = {{Reasoning with Qualitative Preferences and Cardinalities Using Generalized Circumscription}}, year = {2008}, booktitle = {Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning ({KR})}, pages = {560--570}, editor = {Gerhard Brewka and J\'er\^ome Lang}, publisher = {AAAI Press}, isbn = {978-1-57735-384-3}, } @inproceedings{VitSzaMal:2008:264421, author = {Aida Vitoria and Andrzej Szalas and Jan Maluszynski}, title = {{Four-valued Extension of Rough Sets}}, year = {2008}, booktitle = {Proceedings of the 3rd International Conference Rough Sets and Knowledge Technology ({RSKT})}, pages = {106--114}, series = {Lecture Notes in Computer Science}, volume = {5009}, publisher = {Springer}, isbn = {978-3-540-79720-3}, issn = {0302-9743}, doi = {10.1007/978-3-540-79721-0\_19}, } @inproceedings{MalVitSza:2008:264420, author = {Jan Maluszynski and Aida Vitoria and Andrzej Szalas}, title = {{Paraconsistent Logic Programs with Four-valued Rough Sets}}, year = {2008}, booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}, pages = {41--51}, series = {Lecture Notes in Computer Science}, volume = {5306}, publisher = {Springer}, isbn = {978-3-540-88423-1, 978-3-540-88425-5}, issn = {0302-9743}, doi = {10.1007/978-3-540-88425-5\_5}, } @inproceedings{DunSza:2007:499760, author = {Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Towards Approximate BGI Systems}}, year = {2007}, booktitle = {Proceedings of the 5th International Central and Eastern European Conference on Multi-Agent Systems ({CEEMAS})}, pages = {277--287}, series = {Lecture Notes in Artificial Intelligence}, volume = {4696}, publisher = {Springer Berlin/Heidelberg}, isbn = {9783540752530}, issn = {0302-9743}, doi = {10.1007/978-3-540-75254-7\_28}, } @inproceedings{DohDunSza:2007:261725, author = {Patrick Doherty and Barbara Dunin-Keplicz and Andrzej Szalas}, title = {{Dynamics of approximate information fusion}}, year = {2007}, booktitle = {Proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms ({RSEISP})}, pages = {668--677}, series = {Lecture Notes in Artificial Intelligence}, volume = {4585}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-73450-5}, issn = {0302-9743}, doi = {10.1007/978-3-540-73451-2\_70}, } @inproceedings{SzaTys:2006:268965, author = {Andrzej Szalas and Jerzy Tyszkiewicz}, title = {{On the fixpoint theory of equality and its applications}}, year = {2006}, booktitle = {Proceedings of the 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra (RelMiCS/AKA)}, pages = {388--401}, series = {Lecture Notes in Computer Science}, volume = {4136}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11828563\_26}, } @inproceedings{OrlSza:2006:252681, author = {Ewa Orlowska and Andrzej Szalas}, title = {{Quantifier Elimination in Elementary Set Theory}}, year = {2006}, booktitle = {Proceedings of the 8th International Conference on Relational Methods in Computer Science (RelMiCS)}, pages = {237--248}, editor = {W. MacCaull and I. Duentsch and M. Winter}, series = {Lecture Notes in Computer Science}, volume = {3929}, publisher = {Springer Berlin/Heidelberg}, issn = {0302-9743}, doi = {10.1007/11734673\_19}, } @inproceedings{DohSzaLuk:2005:262236, author = {Patrick Doherty and Andrzej Szalas and Witold Lukaszewicz}, title = {{Similarity, approximations and vagueness}}, year = {2005}, booktitle = {Proceedings of the 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC)}, pages = {541--550}, editor = {Dominik Slezak and Guoyin Wang and Marcin S. Szczuka and Ivo D\"untsch and Yiyu Yao}, series = {Lecture Notes in Artificial Intelligence}, volume = {3641}, publisher = {Springer}, isbn = {3-540-28653-5}, issn = {0302-9743}, doi = {10.1007/11548669\_56}, } @inproceedings{GraSza:2005:252682, author = {Michali Grabowski and Andrzej Szalas}, title = {{A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies}}, year = {2005}, booktitle = {Proceedings of the 3rd Atlantic Web Intelligence Conference ({AWIC})}, pages = {991--995}, series = {Lecture Notes in Computer Science}, volume = {3528}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/11495772\_29}, } @inproceedings{MagDohSza:2005:252325, author = {Martin Magnusson and Patrick Doherty and Andrzej Szalas}, title = {{An Experimental Platform for Approximate Databases}}, year = {2005}, booktitle = {3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems,2005}, pages = {124--}, } @inproceedings{DohKerEtAl:2004:269164, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a logical analysis of biochemical pathways}}, year = {2004}, booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {667--679}, editor = {Jos\'e J\'ulio Alferes and João Alexandre Leite}, series = {Lecture Notes in Computer Science}, volume = {3229}, publisher = {Springer}, isbn = {978-3-540-23242-1}, issn = {0302-9743}, doi = {10.1007/978-3-540-30227-8\_55}, } @inproceedings{DohKerEtAl:2004:243283, author = {Patrick Doherty and Steven Kertes and Martin Magnusson and Andrzej Szalas}, title = {{Towards a Logical Analysis of Biochemical Reactions (Extended abstract)}}, year = {2004}, booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence ({ECAI})}, pages = {997--998}, editor = {Ramon L\'opez de M\'antaras and Lorenza Saitta}, publisher = {IOS Press}, isbn = {1-58603-452-9}, } @inproceedings{DohLukSza:2004:243282, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximate Databases and Query Techniques for Agents with Heterogenous Perceptual Capabilities}}, year = {2004}, booktitle = {Proceedings of the 7th International Conference on Information Fusion}, pages = {175--182}, publisher = {ISIF}, isbn = {91-7056-115-X}, } @inproceedings{DohSza:2004:243281, author = {Patrick Doherty and Andrzej Szalas}, title = {{On the Correspondence between Approximations and Similarity}}, year = {2004}, booktitle = {Proceedings of the International Conference on Rough Sets and Current Trends in Computing ({RSCTC})}, pages = {143--152}, editor = {Shusaku Tsumoto and Roman Slowinski and Jan Komorowski and Jerzy W. Grzymala-Busse}, series = {Lecture Notes in Computer Science}, volume = {3066}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-25929-9\_16}, } @inproceedings{DohLukSza:2004:243280, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities}}, year = {2004}, booktitle = {Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning}, pages = {459--468}, editor = {Didier Dubois and Christopher A. Welty and Mary-Anne Williams}, publisher = {AAAI Press}, isbn = {978-1-57735-199-3}, } @inproceedings{Sza:2003:269407, author = {Andrzej Szalas}, title = {{On a logical approach to estimating computational complexity of potentially intractable problems}}, year = {2003}, booktitle = {Proceedings of the 14th International Symposium on Fundamentals of Computation Theory ({FCT})}, pages = {423--431}, editor = {G. Goos and J. Hartmanis and and J. van Leeuwen}, series = {Lecture Notes in Computer Science}, volume = {2751}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-45077-1\_39}, } @inproceedings{DohLukSza:2003:262459, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{On mutual understanding among communicating agents}}, year = {2003}, booktitle = {Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems ({FAMAS})}, pages = {83--97}, editor = {B. Dunin-Keplicz and R. Verbrugge}, } @inproceedings{DohLukSza:2003:243274, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Tolerance Spaces and Approximative Representational Structures}}, year = {2003}, booktitle = {Proceedings of the 26th German Conference on Artificial Intelligence ({KI})}, pages = {475--489}, series = {Lecture Notes in Computer Science}, volume = {2821}, publisher = {Springer}, issn = {0302-9743}, doi = {10.1007/978-3-540-39451-8\_35}, } @inproceedings{DohLukSza:2003:243269, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Information Granules for Intelligent Knowledge Structures}}, year = {2003}, booktitle = {Proceedings of the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC)}, pages = {405--412}, editor = {Guoyin Wang and Qing Liu and Yiyu Yao and Andrzej Skowron}, series = {Lecture Notes in Computer Science}, volume = {2639}, publisher = {Springer}, isbn = {978-3-540-14040-5}, issn = {0302-9743}, doi = {10.1007/3-540-39205-X\_68}, } @inproceedings{Sza:2002:269354, author = {Andrzej Szalas}, title = {{Second-order quantifier elimination in modal contexts}}, year = {2002}, booktitle = {Proceedings of the 8th European Conference on Logics in Artificial Intelligence ({JELIA})}, pages = {223--232}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, series = {Lecture Notes in Computer Science}, volume = {2424}, publisher = {Springer}, isbn = {978-354044190-8}, issn = {0302-9743}, doi = {10.1007/3-540-45757-7\_19}, } @inproceedings{DohLukSza:2002:262460, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{CAKE: A computer aided knowledge engineering technique}}, year = {2002}, booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,2002}, pages = {220--224}, editor = {Frank van Harmelen}, publisher = {IOS Press}, } @inproceedings{DohLukSza:2001:262451, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing strongest necessary and weakest sufficient conditions of first-order formulas}}, year = {2001}, booktitle = {17th International Joint Conference on Artificial Intelligence,2001}, pages = {145--151}, publisher = {Morgan Kaufmann Publishers Inc.}, isbn = {1-55860-812-5, 978-1-558-60812-2}, } @inproceedings{KacSza:2000:499743, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{Algorithms based on Symbolic Transformations of Logical Formulas in the RDL Language}}, year = {2000}, booktitle = {Proceedings of the 2nd Conference on Applications of Computer Science in Mathematics and Economy}, pages = {101--115}, publisher = {WSIiE, Olsztyn, Poland}, } @inproceedings{KacSza:2000:499741, author = {Jaroslaw Kachniarz and Andrzej Szalas}, title = {{On Rule-Based Approach to the Construction of Logical Transformers}}, year = {2000}, booktitle = {Proceedings of the 1st International Workshop on Rule-Based Programming ({RULE})}, pages = {57--71}, publisher = {Springer Physica-Verlag}, } @inproceedings{DohLukSza:2000:262444, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Efficient reasoning using the local closed-world assumption}}, year = {2000}, booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems and Applications ({AIMSA})}, pages = {49--58}, series = {Lecture Notes in Computer Science}, volume = {1904}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-41044-7, 978-3-540-45331-4}, issn = {0302-9743}, doi = {10.1007/3-540-45331-8\_5}, } @inproceedings{NonOhlSza:1999:499737, author = {Andreas Nonnengart and Hans-J\"urgen Ohlbach and Andrzej Szalas}, title = {{Elimination of Predicate Quantifiers}}, year = {1999}, booktitle = {Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I}, pages = {159--181}, publisher = {Kluwer Academic Publishers}, } @inproceedings{DohLukSza:1996:262302, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Explaining explanation closure}}, year = {1996}, booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems,1996}, pages = {521--530}, editor = {Zbigniew W. Ras and Maciek Michalewicz}, series = {Lecture Notes in Computer Science}, volume = {1079}, publisher = {Springer Berlin/Heidelberg}, isbn = {3-540-61286-6}, issn = {0302-9743}, doi = {10.1007/3-540-61286-6\_176}, } @inproceedings{DohLukSza:1996:262299, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{General domain circumscription and its first-order reduction}}, year = {1996}, booktitle = {Proceedings of the 1st International Conference on Formal and Applied Practical Reasoning ({FAPR})}, pages = {93--109}, editor = {Dov Gabbay and Hans Olbach}, series = {Lecture Notes in Computer Science}, volume = {1085}, publisher = {Springer Berlin/Heidelberg}, isbn = {978-3-540-61313-8}, issn = {0302-9743}, doi = {10.1007/3-540-61313-7\_65}, } @inproceedings{DohLukSza:1995:262301, author = {Patrick Doherty and Witold Lukaszewicz and Andrzej Szalas}, title = {{Computing circumscription revisited}}, year = {1995}, booktitle = {Proceedings of the 14th International Joint Conference on Artificial Intelligence ({IJCAI})}, pages = {1502--1508}, isbn = {978-1558603639}, note = {Volume 2. Preliminary report}, } @inproceedings{Sza:1994:499787, author = {Andrzej Szalas}, title = {{Genetic Algorithms for Decision Problems}}, year = {1994}, booktitle = {Proceedings of the 6th International Conference on Artificial Intelligence and Information-Control Systems of Robots ({AIICSR})}, pages = {383--390}, publisher = {World Scientific}, isbn = {981-02-1877-X}, } @inproceedings{CunNonSza:1987:499770, author = {R. J. Cunningham and Andreas Nonnengart and Andrzej Szalas}, title = {{A Compositional Method for the Design and Proof of Asynchronous Processes}}, year = {1987}, booktitle = {Proceedings of the 4th Annual ESPRIT Conference ({ESPRIT})}, pages = {566--580}, publisher = {North-Holland}, isbn = {0-444-70333-0}, }