Andrzej Szalas Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: Paraconsistent Reasoning for Semantic Web Agents. T. Computational Collective Intelligence 6: 36-55 (2012)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Andrzej Szalas: Epistemic Profiles and Belief Structures. KES-AMSTA 2012: 360-369
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas: Temporal Composite Actions with Constraints. KR 2012
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 65-73
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 241-249
2011
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Converse-PDL with regular inclusion axioms: a framework for MAS logics. Journal of Applied Non-Classical Logics 21(1): 61-91 (2011)
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Maluszynski, Andrzej Szalas: Logical foundations and complexity of 4QL, a query language with unrestricted negation. Journal of Applied Non-Classical Logics 21(2): 211-232 (2011)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica 98(3): 387-428 (2011)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Tractable model checking for fragments of higher-order coalition logic. AAMAS 2011: 743-750
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) 2011: 254-264
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas: Contextual Coalitional Games. ICLA 2011: 65-78
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: WORL: A Web Ontology Rule Language. KSE 2011: 32-39
2010
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. 7(3): 617-642 (2010)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A Framework for Graded Beliefs, Goals and Intentions. Fundam. Inform. 100(1-4): 53-76 (2010)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Inform. 102(1): 97-113 (2010)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning 51(3): 346-362 (2010)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. T. Computational Collective Intelligence 1: 21-38 (2010)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Maluszynski, Andrzej Szalas: Living with Inconsistency and Taming Nonmonotonicity. Datalog 2010: 384-398
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) 2010: 152-162
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Andrzej Szalas: On the Correctness of Rough-Set Based Approximate Reasoning. RSCTC 2010: 327-336
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Maluszynski, Andrzej Szalas: Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. CoRR abs/1011.5105 (2010)
2009
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aida Vitória, Jan Maluszynski, Andrzej Szalas: Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Inform. 97(4): 405-438 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dov M. Gabbay, Andrzej Szalas: Voting by Eliminating Quantifiers. Studia Logica 92(3): 365-379 (2009)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dov M. Gabbay, Andrzej Szalas: Annotation Theories over Finite Graphs. Studia Logica 93(2-3): 147-180 (2009)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alicja S. Szalas, Andrzej Szalas: Paraconsistent Reasoning with Words. Aspects of Natural Language Processing 2009: 43-58
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: A Tableau Calculus for Regular Grammar Logics with Converse. CADE 2009: 421-436
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. ICCCI 2009: 437-448
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Linh Anh Nguyen, Andrzej Szalas: Optimal Tableau Decision Procedures for PDL. CoRR abs/0904.0721 (2009)
2008
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Towards incorporating background theories into quantifier elimination. Journal of Applied Non-Classical Logics 18(2-3): 325-340 (2008)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Andrzej Szalas: Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. KR 2008: 560-570
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Maluszynski, Andrzej Szalas, Aida Vitória: Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC 2008: 41-51
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aida Vitória, Andrzej Szalas, Jan Maluszynski: Four-Valued Extension of Rough Sets. RSKT 2008: 106-114
2007
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Andrzej Szalas: A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. Fundam. Inform. 75(1-4): 179-193 (2007)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Communication between agents with heterogeneous perceptual capabilities. Information Fusion 8(1): 56-69 (2007)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dov M. Gabbay, Andrzej Szalas: Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Studia Logica 87(1): 37-50 (2007)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Maluszynski, Andrzej Szalas, Aida Vitória: A Four-Valued Logic for Rough Set-Like Approximate Reasoning. T. Rough Sets 6: 176-190 (2007)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Barbara Dunin-Keplicz, Andrzej Szalas: Towards Approximate BGI Systems. CEEMAS 2007: 277-287
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677
2006
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas: Knowledge Representation Techniques - A Rough Set Approach. Studies in Fuzziness and Soft Computing 202, Springer 2006, isbn 978-3-540-33518-4, pp. 3-320
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Martin Magnusson, Andrzej Szalas: Approximate databases: a support tool for approximate reasoning. Journal of Applied Non-Classical Logics 16(1-2): 87-118 (2006)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Second-order reasoning in description logics. Journal of Applied Non-Classical Logics 16(3-4): 517-530 (2006)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas, Jerzy Tyszkiewicz: On the Fixpoint Theory of Equality and Its Applications. RelMiCS 2006: 388-401
2005
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ewa Orlowska, Andrzej Szalas: Quantifier Elimination in Elementary Set Theory. RelMiCS 2005: 237-248
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Similarity, Approximations and Vagueness. RSFDGrC (1) 2005: 541-550
2004
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas: Towards a Logical Analysis of Biochemical Reactions. ECAI 2004: 997-998
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas: Towards a Logical Analysis of Biochemical Pathways. JELIA 2004: 667-679
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz: Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR 2004: 459-468
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Andrzej Szalas: On the Correspondence between Approximations and Similarity. Rough Sets and Current Trends in Computing 2004: 143-152
2003
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems. FCT 2003: 423-431
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Tolerance Spaces and Approximative Representational Structures. KI 2003: 475-489
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Information Granules for Intelligent Knowledge Structures. RSFDGrC 2003: 405-412
2002
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: CAKE: A Computer-Aided Knowledge Engineering Technique. ECAI 2002: 220-224
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Second-Order Quantifier Elimination in Modal Contexts. JELIA 2002: 223-232
2001
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI 2001: 145-154
2000
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Efficient Reasoning Using the Local Closed-World Assumption. AIMSA 2000: 49-58
1999
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, J. Kachniarz, Andrzej Szalas: Meta-Queries on Deductive Databases. Fundam. Inform. 40(1): 7-30 (1999)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Declarative PTIME Queries for Relational Databases using Quantifier Elimination. J. Log. Comput. 9(5): 737-758 (1999)
1998
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription and its Effective Reductions. Fundam. Inform. 36(1): 23-55 (1998)
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ewa Orlowska, Andrzej Szalas (Eds.): Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. 1998
1997
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reasoning 18(3): 297-336 (1997)
1996
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: On Natural Deduction in First-Ortder Fixpoint Logics. Fundam. Inform. 26(1): 81-94 (1996)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: A Reduction Result for Circumscribed Semi-Horn Formulas. Fundam. Inform. 28(3-4): 261-271 (1996)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription in its First-Order Reduction. FAPR 1996: 93-109
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Explaining Explanation Closure. ISMIS 1996: 521-530
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wojciech Penczek, Andrzej Szalas (Eds.): Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science 1113, Springer 1996, isbn 3-540-61550-4
1995
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: Preliminary Report. IJCAI 1995: 1502-1508
1994
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic. Journal of Applied Non-Classical Logics 4(2): 119-127 (1994)
1993
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: On the Correspondence between Modal and Classical Logic: An Automated Approach. J. Log. Comput. 3(6): 605-620 (1993)
1992
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Axiomatizing Fixpoint Logics. Inf. Process. Lett. 41(4): 175-180 (1992)
1991
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: On Strictly Arithmetical Completeness in Logics of Programs. Theor. Comput. Sci. 79(2): 341-355 (1991)
1988
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leszek Holenderski, Andrzej Szalas: Propositional Description of Finite Cause-Effect Structures. Inf. Process. Lett. 27(3): 111-117 (1988)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: An Incompleteness Result in Process Algebra. Inf. Process. Lett. 29(2): 67-70 (1988)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas, Leszek Holenderski: Incompleteness of First-Order Temporal Logic with Until. Theor. Comput. Sci. 57: 317-325 (1988)
1987
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Arithmetical Axiomatization of First-Order Temporal Logic. Inf. Process. Lett. 26(3): 111-116 (1987)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: A Complete Axiomatic Characterization of First-Order Temporal Logic of Linear Time. Theor. Comput. Sci. 54: 199-214 (1987)
1986
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Concerning the Semantic Consequence Relation in First-Order Temporal Logic. Theor. Comput. Sci. 47(3): 329-334 (1986)
1981
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrzej Szalas: Algorithmic logic with recursive functions. Fundam. Inform. 4(4): 975-996 (1981)

Coauthor Index

1Son Thanh Cao
[c33] [c31]
2Patrick Doherty
[c37] [c34] [c32] [c28] [c23] [j25] [j24] [c19] [b1] [j21] [c15] [c14] [c13] [c12] [c11] [j19] [j18] [c9] [c8] [c7] [c5] [c4] [j17] [j16] [j15] [j14] [j12] [c3] [c2] [c1]
3Barbara Dunin-Keplicz
[c38] [j37] [c34] [j34] [j33] [j31] [c24] [c20] [c19]
4Dov M. Gabbay
[j28] [j27] [j23]
5Michal Grabowski
[c16] [j19]
6Quang-Thuy Ha
[c36] [c35]
7Thi-Lan-Giao Hoang
[c36] [c35]
8Leszek Holenderski
[j7] [j5]
9J. Kachniarz
[j17]
10Steve Kertes
[c14] [c13]
11Jonas Kvarnström
[c37]
12Witold Lukaszewicz
[j24] [b1] [c15] [c12] [j19] [j18] [c9] [c8] [c7] [c5] [c4] [j16] [j15] [j14] [j12] [c3] [c2] [c1]
13Martin Magnusson
[j21] [c14] [c13]
14Jan Maluszynski
[j36] [c30] [i2] [j29] [c22] [c21] [j22]
15Tomasz P. Michalak
[c32]
16Hung Son Nguyen
[c36] [c35]
17Linh Anh Nguyen
[j38] [c36] [c35] [j37] [j35] [c33] [c31] [j34] [j33] [j32] [j31] [j30] [c29] [c26] [c25] [c24] [i1]
18Ewa Orlowska
[c17] [e2]
19Wojciech Penczek
[e1]
20Andrzej Skowron
[b1] [j18]
21Jacek Sroka
[c32]
22Alicja S. Szalas
[c27]
23Thanh-Luong Tran
[c36] [c35]
24Jerzy Tyszkiewicz
[c18]
25Aida Vitória
[j29] [c22] [c21] [j22]

Colors in the list of coauthors

Last update Thu May 23 22:03:18 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page