Publikacje

Czasopismo: Journal Of Applied Non-classical Logics

Liczba publikacji: 7

2011

• Barbara Dunin-Kęplicz, Anh Linh Nguyen i Andrzej Szałas, Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics, Journal Of Applied Non-classical Logics 21 (1) 2011, s. 61–81.zobacz w PBN
• Jan Małuszyński i Andrzej Szałas, Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation, Journal Of Applied Non-classical Logics 21 (2) 2011, s. 211–232.zobacz w PBN

2009

• Anh Linh Nguyen, Modal Logic Programming Revisited, Journal Of Applied Non-classical Logics 19 (2) 2009, s. 167–181.zobacz w PBN

2008

• Andrzej Szałas, Towards Incorporating Background Theories into Quantifier Elimination, Journal Of Applied Non-classical Logics 18 (2-3) 2008, s. 325–340.zobacz w PBN

2006

• Patrick Doherty, Martin Magnusson i Andrzej Szałas, Approximate databases: a support tool for approximate reasoning, Journal Of Applied Non-classical Logics 16 (1-2) 2006, s. 87–118.zobacz w PBN
• Andrzej Szałas, Second-order reasoning in description logics, Journal Of Applied Non-classical Logics 16 (3-4) 2006, s. 517–530.zobacz w PBN

1994

• Andrzej Szałas, On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic, Journal Of Applied Non-classical Logics 4 (2) 1994, s. 119–127.zobacz w PBN