Selected papers
-
Current version of 4QL:
- J. Małuszyński and A. Szałas: Partiality and Inconsistency in Agents' Belief Bases. In: Proceedings of KES-AMSTA 2013, D. Barbucha, Manh Thanh Le, R.J. Howlett, eds., Frontiers of Artificial Intelligence and Applications, 3-17, IOS Press, 2013r.
- A. Szałas: How an Agent Might Think. Logic J. IGPL 21(3), 515-535, 2013. Special issue edited by B. Dunin-Kęplicz and R. Verbrugge.
-
Introducing 4QL:
- J. Małuszyński and A. Szałas: Living with Inconsistency and Taming Nonmonotonicity. In: Datalog Reloaded, O. de Moor, G. Gottlob, T. Furche, A. Sellers, eds., LNCS 6702, 384-398, Springer-Verlag 2011.
- J. Małuszyński and A. Szałas: Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. Journal of Applied Non-Classical Logics, 21(2), 211-232, 2011.
-
Extending 4QL:
-
Ł.Białek, B.Dunin-Kęplicz and Andrzej Szałas: A paraconsistent approach to actions in informationally complex environments, Annals of Mathematics And Artificial Intelligence, 2019, 1-25.
-
Ł.Białek, B.Dunin-Kęplicz and A.Szałas: Belief Shadowing, in: EMAS 2018: Engineering Multi-Agent Systems, Springer, 2019, 158-180.
-
Ł.Białek, B.Dunin-Kęplicz and A.Szałas, Rule-Based Reasoning with Belief Structures, in: Foundations of Intelligent Systems, Proc.23rd International Symposium, ISMIS, Springer, 2017, 229-239.
-
Inspired by 4QL:
- B. Dunin-Kęplicz, A. Szałas: Shadowing in Many-Valued Nested Structures, in: ISMVL 2020, IEEE 2020, 230-236.
- B. Dunin-Kęplicz, A. Szałas:
A Framework for Organization-Centered Doxastic Reasoning, Procedia Computer Science, 176. Elsevier, 2020, 3019-3028.
- A. Szałas:
Revisiting Object-Rule Fusion in Query Languages, Procedia Computer Science, 176. Elsevier, 2020, 50-59.
- A. Szałas:
A Paraconsistent ASP-like Language with Tractable Model Generation,
Journal of Applied Logics - IfCoLog Journal of Logic and Applications, 7(3), College Publications, 2020, 361-389.
-
B. Dunin-Kęplicz, I. Rüb and A. Szałas: Doxastic Group Reasoning via Multiple Belief Shadowing, in: PRIMA 2019, LNCS 11873, Springer, 2019, 271-288.
- J. Szklarski, Ł. Białek and A. Szałas: Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 27(03), 2019, 429-455.
-
B. Dunin-Kęplicz, A. Powała and A. Szałas: Variations on Jaskowski's Discursive Logic, in: The Lvov-Warsaw School. Past and Present, Studies in Universal Logic, Springer, 2018, 485-497.
-
Ł. Białek, B. Dunin-Kęplicz and A. Szałas: Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments, in: IDC 2017, Studies in Computational Intelligence 737. Springer, 2017, 49-60.
- F.L. De Angelis, G. Di Marzo Serugendo, B. Dunin-Kęplicz and A. Szałas: Heterogeneous Approximate Reasoning with Graded Truth Values, in: IJCRS 2017, LNCS 10313, Springer, 2017, 61-82.
- B. Dunin-Kęplicz and A. Szałas: A New Perspective on Goals, in: The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge, College Publicatons, UK, 2015, 50-66.
- B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge: Paraconsistent semantics of speech acts, Neurocomputing 151(2), s. 943 - 952, 2015.
- Ł. Białek and A. Szałas: Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study, in: The 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2014, 325-332.
- B. Dunin-Kęplicz, A. Szałas and R. Verbrugge: Tractable Reasoning about Group Beliefs, w: Engineering Multi-Agent Systems, Springer-Verlag, 2014, 328-350.
- B. Dunin-Kęplicz and A. Szałas: Paraconsistent Distributed Belief Fusion. In: IDC'13, Intelligent Distributed Computing VI, Studies in Computational Intelligence, Volume 446/2013, 59-69, Springer-Verlag, 2013.
- B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge: Perceiving Speech Acts under Incomplete and Inconsistent Information. In: Proceedings KES AMSTA, Frontiers of Artificial Intelligence and Applications 252, 255-264, IOS Press, 2013.
- B. Dunin-Kęplicz and A. Strachocka: Perceiving Rules under Incomplete and Inconsistent Information. 14th International Workshop, CLIMA XIV, LNCS 8143, 256-272, Springer-Verlag, 2013.
- B. Dunin-Kęplicz and A. Szałas: Taming Complex Beliefs. LNCS Transactions on Computational Collective Intelligence 11 (LNCS 8065), 1-21, 2013.
- B. Dunin-Kęplicz and A. Szałas: Epistemic Profiles and Belief Structures. In: Proceedings of KES-AMSTA'12, LNCS 7327, 360-369, Springer-Verlag 2012 (best paper award).
- B. Dunin-Kęplicz, A. Strachocka, A. Szałas and R. Verbrugge: A Paraconsistent Approach to Speech Acts, ArgMAS'2012: 9th International Workshop on Argumentation in Multi-Agent Systems ArgMAS'12, 59-78, 2012.
-
Ph.D. theses related to 4QL:
-
Implementation related:
