Jan Maluszynski

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)

Wlodzimierz Drabent, Jan Maluszynski: Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1): 137-168 (2010)

Jan Maluszynski, Andrzej Szalas: Living with Inconsistency and Taming Nonmonotonicity. Datalog 2010: 384-398

Jan Maluszynski, Andrzej Szalas: Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. CoRR abs/1011.5105 (2010)

François Bry, Jan Maluszynski (Eds.): Semantic Techniques for the Web, The REWERSE Perspective. Lecture Notes in Computer Science 5500, Springer 2009, isbn 978-3-642-04580-6

Aida Vitória, Jan Maluszynski, Andrzej Szalas: Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Inform. 97(4): 405-438 (2009)

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49

Jan Maluszynski: Integration of Rules and Ontologies. Encyclopedia of Database Systems 2009: 1546-1551

Wlodzimierz Drabent, Jan Maluszynski: Hybrid Rules with Well-Founded Semantics. CoRR abs/0906.3815 (2009)

Jan Maluszynski, Andrzej Szalas, Aida Vitória: Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC 2008: 41-51

Aida Vitória, Andrzej Szalas, Jan Maluszynski: Four-Valued Extension of Rough Sets. RSKT 2008: 106-114

Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (Eds.): Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures. Lecture Notes in Computer Science 5224, Springer 2008, isbn 978-3-540-85656-6

Jan Maluszynski, Andrzej Szalas, Aida Vitória: A Four-Valued Logic for Rough Set-Like Approximate Reasoning. T. Rough Sets 6: 176-190 (2007)

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007

Wlodzimierz Drabent, Jan Maluszynski: Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357

Uwe Aßmann, Jakob Henriksson, Jan Maluszynski: Combining Safe Rules and Ontologies by Interfacing of Reasoners. PPSWR 2006: 33-47

Robin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski: RoSy: A Rough Knowledge Base System. RSFDGrC (2) 2005: 48-58

Norbert Eisinger, Jan Maluszynski (Eds.): Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures. Lecture Notes in Computer Science 3564, Springer 2005, isbn 3-540-27828-1

François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18

Jakob Henriksson, Jan Maluszynski: Static Type-Checking of Datalog with Ontologies. PPSWR 2004: 76-89

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing 2004: 153-158

Jan Maluszynski: On integrating rules into the Semantic Web. Electr. Notes Theor. Comput. Sci. 86(3): 1-11 (2003)

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: From Rough Sets to Rough Knowledge Bases. Fundam. Inform. 57(2-4): 215-246 (2003)

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Query Answering in Rough Knowledge Bases. RSFDGrC 2003: 197-204

François Bry, Nicola Henze, Jan Maluszynski (Eds.): Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings. Lecture Notes in Computer Science 2901, Springer 2003, isbn 3-540-20582-9

Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski: Static and Dynamic Slicing of Constraint Logic Programs. Autom. Softw. Eng. 9(1): 41-65 (2002)

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs. TPLP 2(4-5): 549-610 (2002)

Jan Maluszynski, Aida Vitória: Defining Rough Sets by Extended Logic Programs. Paraconsistent Computational Logic 2002: 81-90

Aida Vitória, Jan Maluszynski: A Logic Programming Framework for Rough Sets. Rough Sets and Current Trends in Computing 2002: 205-212

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs. CoRR cs.PL/0202010 (2002)

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Parametric Descriptive Types for CLP. JFPLC 2001: 239-256

Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski: Slicing of Constraint Logic Programs. AADEBUG 2000

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming 2000: 121-150

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, isbn 3-540-41137-2

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Type-based Diagnosis of CLP Programs. Electr. Notes Theor. Comput. Sci. 30(4): 215-234 (1999)

Johan Boye, Jan Maluszynski: Directional Types and the Annotation Method. J. Log. Program. 33(3): 179-220 (1997)

Johan Boye, Wlodzimierz Drabent, Jan Maluszynski: Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG 1997: 123-140

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla: On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169

Pascal Chambre, Pierre Deransart, Jan Maluszynski: Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 115-130

Johan Boye, Jan Maluszynski: Two Aspects of Directional Types. ICLP 1995: 747-761

Pierre Deransart, Jan Maluszynski: A grammatical view of logic programming. MIT Press 1993, isbn 978-0-262-04140-9, pp. I-XXXI, 1-454

Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski: Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG 1993: 350-367

Johan Boye, Jukka Paakki, Jan Maluszynski: Synthesis of Directionality Information for Functional Logic Programs. WSA 1993: 165-177

Gary Lindstrom, Jan Maluszynski, Takeshi Ogi: Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP 1992: 428-442

Jan Maluszynski: Attribute Grammars and Logic Programs: A Comparison of Concepts. Attribute Grammars, Applications and Systems 1991: 330-357

Jan Maluszynski, Martin Wirsing (Eds.): Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Lecture Notes in Computer Science 528, Springer 1991, isbn 3-540-54444-5

Ulf Nilsson, Jan Maluszynski: Logic, programming and Prolog. Wiley 1990, isbn 978-0-471-92625-2, pp. I-XIV, 1-289

Pierre Deransart, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings. Lecture Notes in Computer Science 456, Springer 1990, isbn 3-540-53010-X

Jan Maluszynski, Torbjörn Näslund: Fail Substitutions for Negation as Failure. NACLP 1989: 461-476

Pierre Deransart, Bernard Lorho, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings. Lecture Notes in Computer Science 348, Springer 1989, isbn 3-540-50820-1

Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski: Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988)

Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. 59: 133-155 (1988)

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581

Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: Algorithmic Debugging with Assertions. META 1988: 501-521

Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP 1988: 20-34

Pierre Deransart, Jan Maluszynski: A Grammatical View of Logic Programming. PLILP 1988: 219-251

Henryk Jan Komorowski, Jan Maluszynski: Logic Programming and Rapid Prototyping. Sci. Comput. Program. 9(2): 179-205 (1987)

Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 1987: 167-181

Pierre Deransart, Jan Maluszynski: Relating Logic Programs and Attribute Grammars. J. Log. Program. 2(2): 119-155 (1985)

Piotr Dembinski, Jan Maluszynski: AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP 1985: 29-38

Jan Maluszynski, Henryk Jan Komorowski: Unification-Free Execution of Logic Programs. SLP 1985: 78-86

Jan Maluszynski: Towards a Programming Language Based on the Notion of Two-Level Grammar. Theor. Comput. Sci. 28: 13-43 (1984)

Pierre Deransart, Jan Maluszynski: Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT 1984

Jan Maluszynski, Jørgen Fischer Nilsson: Grammatical Unification. Inf. Process. Lett. 15(4): 150-158 (1982)

Jan Maluszynski, Jørgen Fischer Nilsson: A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP 1982: 193-199

Piotr Dembinski, Jan Maluszynski: Two Level Grammars: CF-Grammars with Equation Schemes. ICALP 1979: 171-187

Piotr Dembinski, Jan Maluszynski: Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS 1978: 143-154

Jan Maluszynski: Regular Structures in Programming Languages. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 290-295 (1975)

Jan Maluszynski: A Contribution to Error Recovery. MFCS 1975: 302-307

Jan Maluszynski: Substring Languages. MFCS 1974: 274-284

Jan Maluszynski: Reduction goals in bottom-up recognition. Automatentheorie und Formale Sprachen 1973: 294-300