Andrzej Szalas

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 32

Top Venues

Publications

Mohua Banerjee, Mihir K. Chakraborty, Andrzej Szalas
Logics from rough sets. J. Appl. Non Class. Logics 34 (2-3) (2024)
Patrick Doherty, Andrzej Szalas
Techniques for Measuring the Inferential Strength of Forgetting Policies. CoRR (2024)
Patrick Doherty, Andrzej Szalas
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. Artif. Intell. 326 (2024)
Barbara Dunin-Keplicz, Andrzej Szalas
Modeling and shadowing paraconsistent BDI agents. Ann. Math. Artif. Intell. 92 (4) (2024)
Patrick Doherty, Andrzej Szalas
Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions. CoRR (2023)
Andrzej Szalas
Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions. ICCCI (2022)
Patrick Doherty, Andrzej Szalas
A landscape and implementation framework for probabilistic rough sets using ProbLog. Inf. Sci. 593 (2022)
Andrzej Szalas
Inheriting and Fusing Beliefs of Logically Heterogeneous Objects. KES (2022)
Patrick Doherty, Andrzej Szalas
Rough set reasoning using answer set programs. Int. J. Approx. Reason. 130 (2021)
Andrzej Szalas
Many-Valued Dynamic Object-Oriented Inheritance and Approximations. IJCRS (2021)
Linh Anh Nguyen, Andrzej Szalas
Optimization Models for Medical Procedures Relocation. KES (2021)
Patrick Doherty, Andrzej Szalas
Rough Forgetting. IJCRS (2020)
Andrzej Szalas
A Paraconsistent ASP-Like Language with Tractable Model Generation. FLAP 7 (3) (2020)
Barbara Dunin-Keplicz, Andrzej Szalas
Shadowing in Many-Valued Nested Structures. ISMVL (2020)
Barbara Dunin-Keplicz, Andrzej Szalas
A Framework for Organization-Centered Doxastic Reasoning. KES (2020)
Andrzej Szalas
Revisiting Object-Rule Fusion in Query Languages. KES (2020)
Andrzej Szalas
On the Probability and Cost of Ignorance, Inconsistency, Nonsense and More. J. Multiple Valued Log. Soft Comput. 34 (5-6) (2020)
Barbara Dunin-Keplicz, Inga Rüb, Andrzej Szalas
Doxastic Group Reasoning via Multiple Belief Shadowing. PRIMA (2019)
Jacek Szklarski, Lukasz Bialek, Andrzej Szalas
Paraconsistent Reasoning in Cops and Robber Game with Uncertain Information: A Simulation-Based Analysis. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 27 (3) (2019)
Andrzej Szalas
A Paraconsistent ASP-like Language with Tractable Model Generation. CoRR (2019)
Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
A paraconsistent approach to actions in informationally complex environments. Ann. Math. Artif. Intell. 86 (4) (2019)
Andrzej Szalas
Decision-Making Support Using Nonmonotonic Probabilistic Reasoning. KES-IDT (1) (2019)
Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
Belief Shadowing. EMAS@AAMAS (2018)
Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Andrzej Szalas
Paraconsistent Rule-based Reasoning with Graded Truth Values. FLAP 5 (1) (2018)
Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments. IDC (2017)
Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas
Rule-Based Reasoning with Belief Structures. ISMIS (2017)
Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Keplicz, Andrzej Szalas
Heterogeneous Approximate Reasoning with Graded Truth Values. IJCRS (1) (2017)
Patrick Doherty, Andrzej Szalas
An Entailment Procedure for Kleene Answer Set Programs. MIWAI (2016)
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). JELIA (2016)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
Towards richer rule languages with polynomial data complexity for the Semantic Web. Data Knowl. Eng. 96 (2015)
Patrick Doherty, Andrzej Szalas
Stability, Supportedness, Minimality and Kleene Answer Set Programs. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
Paraconsistent semantics of speech acts. Neurocomputing 151 (2015)
Andrzej Szalas
Symbolic Explanations of Generalized Fuzzy Reasoning. IDT/IIMSS/STET (2014)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
The Web Ontology Rule Language OWL 2 RL + and Its Extensions. Trans. Comput. Collect. Intell. 13 (2014)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
WORL: a nonmonotonic rule language for the semantic web. Vietnam. J. Comput. Sci. 1 (1) (2014)
Lukasz Bialek, Andrzej Szalas
Lightweight Reasoning with Incomplete and Inconsistent Information: A Case Study. WI-IAT (3) (2014)
Barbara Dunin-Keplicz, Andrzej Szalas
Indeterministic Belief Structures. KES-AMSTA (2014)
Barbara Dunin-Keplicz, Andrzej Szalas, Rineke Verbrugge
Tractable Reasoning about Group Beliefs. EMAS@AAMAS (2014)
Jan Maluszynski, Andrzej Szalas
Partiality and Inconsistency in Agents' Belief Bases. KES-AMSTA (2013)
Linh Anh Nguyen, Andrzej Szalas
On the Horn Fragments of Serial Regular Grammar Logics with Converse. KES-AMSTA (2013)
Barbara Dunin-Keplicz, Alina Strachocka, Andrzej Szalas, Rineke Verbrugge
Perceiving Speech Acts under Incomplete and Inconsistent Information. KES-AMSTA (2013)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
On Horn Knowledge Bases in Regular Description Logic with Inverse. KSE (1) (2013)
Patrick Doherty, Andrzej Szalas
Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination. Fundam. Informaticae 127 (1-4) (2013)
Barbara Dunin-Keplicz, Andrzej Szalas
Taming Complex Beliefs. Trans. Comput. Collect. Intell. 11 (2013)
Andrzej Szalas
How an agent might think. Log. J. IGPL 21 (3) (2013)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. RR (2013)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI (2013)
Barbara Dunin-Keplicz, Andrzej Szalas
Distributed Paraconsistent Belief Fusion. IDC (2012)
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas
Concept Learning for Description Logic-Based Information Systems. KSE (2012)
Linh Anh Nguyen, Andrzej Szalas
Paraconsistent Reasoning for Semantic Web Agents. Trans. Comput. Collect. Intell. 6 (2012)
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
Temporal Composite Actions with Constraints. KR (2012)
Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran
A bisimulation-based method of concept learning for knowledge bases in description logics. SoICT (2012)
Barbara Dunin-Keplicz, Andrzej Szalas
Epistemic Profiles and Belief Structures. KES-AMSTA (2012)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) (2011)
Patrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas
Contextual Coalitional Games. ICLA (2011)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
WORL: A Web Ontology Rule Language. KSE (2011)
Linh Anh Nguyen, Andrzej Szalas
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Stud Logica 98 (3) (2011)
Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
Tractable model checking for fragments of higher-order coalition logic. AAMAS (2011)
Jan Maluszynski, Andrzej Szalas
Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non Class. Logics 21 (2) (2011)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Converse-PDL with regular inclusion axioms: a framework for MAS logics. J. Appl. Non Class. Logics 21 (1) (2011)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
A Framework for Graded Beliefs, Goals and Intentions. Fundam. Informaticae 100 (1-4) (2010)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. 7 (3) (2010)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reason. 51 (3) (2010)
Linh Anh Nguyen, Andrzej Szalas
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Informaticae 102 (1) (2010)
Jan Maluszynski, Andrzej Szalas
Living with Inconsistency and Taming Nonmonotonicity. Datalog (2010)
Patrick Doherty, Andrzej Szalas
On the Correctness of Rough-Set Based Approximate Reasoning. RSCTC (2010)
Jan Maluszynski, Andrzej Szalas
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation CoRR (2010)
Linh Anh Nguyen, Andrzej Szalas
Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) (2010)
Linh Anh Nguyen, Andrzej Szalas
. Trans. Comput. Collect. Intell. 1 (2010)
Linh Anh Nguyen, Andrzej Szalas
A Tableau Calculus for Regular Grammar Logics with Converse. CADE (2009)
Aida Vitória, Jan Maluszynski, Andrzej Szalas
Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Informaticae 97 (4) (2009)
Dov M. Gabbay, Andrzej Szalas
Annotation Theories over Finite Graphs. Stud Logica 93 (2-3) (2009)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Fusing Approximate Knowledge from Distributed Sources. IDC (2009)
Alicja S. Szalas, Andrzej Szalas
Paraconsistent Reasoning with Words. Aspects of Natural Language Processing (2009)
Linh Anh Nguyen, Andrzej Szalas
Optimal Tableau Decision Procedures for PDL CoRR (2009)
Dov M. Gabbay, Andrzej Szalas
Voting by Eliminating Quantifiers. Stud Logica 92 (3) (2009)
Linh Anh Nguyen, Andrzej Szalas
\mathcal{ALC}. ICCCI (2009)
Jan Maluszynski, Andrzej Szalas, Aida Vitória
Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC (2008)
Andrzej Szalas
Towards incorporating background theories into quantifier elimination. J. Appl. Non Class. Logics 18 (2-3) (2008)
Aida Vitória, Andrzej Szalas, Jan Maluszynski
Four-Valued Extension of Rough Sets. RSKT (2008)
Patrick Doherty, Andrzej Szalas
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. KR (2008)
Jan Maluszynski, Andrzej Szalas, Aida Vitória
A Four-Valued Logic for Rough Set-Like Approximate Reasoning. Trans. Rough Sets 6 (2007)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Communication between agents with heterogeneous perceptual capabilities. Inf. Fusion 8 (1) (2007)
Dov M. Gabbay, Andrzej Szalas
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Stud Logica 87 (1) (2007)
Patrick Doherty, Andrzej Szalas
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. Fundam. Informaticae 75 (1-4) (2007)
Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
Dynamics of Approximate Information Fusion. RSEISP (2007)
Barbara Dunin-Keplicz, Andrzej Szalas
Towards Approximate BGI Systems. CEEMAS (2007)
Andrzej Szalas
Second-order reasoning in description logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Patrick Doherty, Martin Magnusson, Andrzej Szalas
Approximate databases: a support tool for approximate reasoning. J. Appl. Non Class. Logics 16 (1-2) (2006)
Andrzej Szalas, Jerzy Tyszkiewicz
On the Fixpoint Theory of Equality and Its Applications. RelMiCS (2006)
Ewa Orlowska, Andrzej Szalas
Quantifier Elimination in Elementary Set Theory. RelMiCS (2005)
Michal Grabowski, Andrzej Szalas
A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC (2005)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Similarity, Approximations and Vagueness. RSFDGrC (1) (2005)
Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR (2004)
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
Towards a Logical Analysis of Biochemical Reactions. ECAI (2004)
Patrick Doherty, Andrzej Szalas
On the Correspondence between Approximations and Similarity. Rough Sets and Current Trends in Computing (2004)
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
Towards a Logical Analysis of Biochemical Pathways. JELIA (2004)
Andrzej Szalas
On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems. FCT (2003)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Information Granules for Intelligent Knowledge Structures. RSFDGrC (2003)
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
Tolerance Spaces and Approximative Representational Structures. KI (2003)

Andrzej Szalas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrzej Szalas