| 2008 |
|---|
| 63 | | Cristina Baroglio,
Piero A. Bonatti,
Jan Maluszynski,
Massimo Marchiori,
Axel Polleres,
Sebastian Schaffert:
Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Springer 2008 |
| 62 | EE | Jan Maluszynski,
Andrzej Szalas,
Aida Vitória:
Paraconsistent Logic Programs with Four-Valued Rough Sets.
RSCTC 2008: 41-51 |
| 61 | EE | Aida Vitória,
Andrzej Szalas,
Jan Maluszynski:
Four-Valued Extension of Rough Sets.
RSKT 2008: 106-114 |
| 2007 |
|---|
| 60 | EE | Wlodzimierz Drabent,
Jakob Henriksson,
Jan Maluszynski:
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.
ALPSWS 2007 |
| 59 | EE | Wlodzimierz Drabent,
Jan Maluszynski:
Well-Founded Semantics for Hybrid Rules.
RR 2007: 1-15 |
| 58 | EE | Wlodzimierz Drabent,
Jakob Henriksson,
Jan Maluszynski:
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.
RR 2007: 348-357 |
| 57 | EE | Jan Maluszynski,
Andrzej Szalas,
Aida Vitória:
A Four-Valued Logic for Rough Set-Like Approximate Reasoning.
T. Rough Sets 6: 176-190 (2007) |
| 2006 |
|---|
| 56 | EE | Uwe Aßmann,
Jakob Henriksson,
Jan Maluszynski:
Combining Safe Rules and Ontologies by Interfacing of Reasoners.
PPSWR 2006: 33-47 |
| 2005 |
|---|
| 55 | | Norbert Eisinger,
Jan Maluszynski:
Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures
Springer 2005 |
| 54 | EE | Robin Andersson,
Aida Vitória,
Jan Maluszynski,
Henryk Jan Komorowski:
RoSy: A Rough Knowledge Base System.
RSFDGrC (2) 2005: 48-58 |
| 2004 |
|---|
| 53 | EE | François Bry,
Wlodzimierz Drabent,
Jan Maluszynski:
On Subtyping of Tree-Structured Data: A Polynomial Approach.
PPSWR 2004: 1-18 |
| 52 | EE | Jakob Henriksson,
Jan Maluszynski:
Static Type-Checking of Datalog with Ontologies.
PPSWR 2004: 76-89 |
| 51 | EE | 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 |
| 2003 |
|---|
| 50 | | François Bry,
Nicola Henze,
Jan Maluszynski:
Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
Springer 2003 |
| 49 | EE | Aida Vitória,
Carlos Viegas Damásio,
Jan Maluszynski:
Query Answering in Rough Knowledge Bases.
RSFDGrC 2003: 197-204 |
| 48 | EE | Jan Maluszynski:
On integrating rules into the Semantic Web.
Electr. Notes Theor. Comput. Sci. 86(3): (2003) |
| 47 | EE | Aida Vitória,
Carlos Viegas Damásio,
Jan Maluszynski:
From Rough Sets to Rough Knowledge Bases.
Fundam. Inform. 57(2-4): 215-246 (2003) |
| 2002 |
|---|
| 46 | EE | Jan Maluszynski,
Aida Vitória:
Defining Rough Sets by Extended Logic Programs.
Paraconsistent Computational Logic 2002: 81-90 |
| 45 | EE | Aida Vitória,
Jan Maluszynski:
A Logic Programming Framework for Rough Sets.
Rough Sets and Current Trends in Computing 2002: 205-212 |
| 44 | | 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) |
| 43 | EE | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs
CoRR cs.PL/0202010: (2002) |
| 42 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs.
TPLP 2(4-5): 549-610 (2002) |
| 2001 |
|---|
| 41 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Parametric Descriptive Types for CLP.
JFPLC 2001: 239-256 |
| 2000 |
|---|
| 40 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Springer 2000 |
| 39 | EE | Gyöngyi Szilágyi,
Tibor Gyimóthy,
Jan Maluszynski:
Slicing of Constraint Logic Programs.
AADEBUG 2000 |
| 38 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Introduction.
Analysis and Visualization Tools for Constraint Programming 2000: 1-20 |
| 37 | | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs.
Analysis and Visualization Tools for Constraint Programming 2000: 121-150 |
| 1999 |
|---|
| 36 | EE | Wlodzimierz Drabent,
Jan Maluszynski,
Pawel Pietrzak:
Type-based Diagnosis of CLP Programs.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
| 1997 |
|---|
| 35 | EE | Johan Boye,
Wlodzimierz Drabent,
Jan Maluszynski:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.
AADEBUG 1997: 123-140 |
| 34 | EE | 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 |
| 33 | | Johan Boye,
Jan Maluszynski:
Directional Types and the Annotation Method.
J. Log. Program. 33(3): 179-220 (1997) |
| 1996 |
|---|
| 32 | | Pascal Chambre,
Pierre Deransart,
Jan Maluszynski:
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.
JFPLC 1996: 115-130 |
| 1995 |
|---|
| 31 | | Johan Boye,
Jan Maluszynski:
Two Aspects of Directional Types.
ICLP 1995: 747-761 |
| 1993 |
|---|
| 30 | | Krzysztof Kuchcinski,
Wlodzimierz Drabent,
Jan Maluszynski:
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.
AADEBUG 1993: 350-367 |
| 29 | | Johan Boye,
Jukka Paakki,
Jan Maluszynski:
Synthesis of Directionality Information for Functional Logic Programs.
WSA 1993: 165-177 |
| 1992 |
|---|
| 28 | | Gary Lindstrom,
Jan Maluszynski,
Takeshi Ogi:
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.
PLILP 1992: 428-442 |
| 1991 |
|---|
| 27 | | Jan Maluszynski,
Martin Wirsing:
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings
Springer 1991 |
| 26 | | Jan Maluszynski:
Attribute Grammars and Logic Programs: A Comparison of Concepts.
Attribute Grammars, Applications and Systems 1991: 330-357 |
| 1990 |
|---|
| 25 | | Pierre Deransart,
Jan Maluszynski:
Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings
Springer 1990 |
| 1989 |
|---|
| 24 | | Pierre Deransart,
Bernard Lorho,
Jan Maluszynski:
Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings
Springer 1989 |
| 23 | | Jan Maluszynski,
Torbjörn Näslund:
Fail Substitutions for Negation as Failure.
NACLP 1989: 461-476 |
| 1988 |
|---|
| 22 | | Wlodzimierz Drabent,
Simin Nadjm-Tehrani,
Jan Maluszynski:
The Use of Assertions in Algorithmic Debugging.
FGCS 1988: 573-581 |
| 21 | | Staffan Bonnier,
Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures.
ICLP/SLP 1988: 311-326 |
| 20 | | Wlodzimierz Drabent,
Simin Nadjm-Tehrani,
Jan Maluszynski:
Algorithmic Debugging with Assertions.
META 1988: 501-521 |
| 19 | | Staffan Bonnier,
Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures.
PLILP 1988: 20-34 |
| 18 | | Pierre Deransart,
Jan Maluszynski:
A Grammatical View of Logic Programming.
PLILP 1988: 219-251 |
| 17 | | Jacek Leszczylowski,
Staffan Bonnier,
Jan Maluszynski:
Logic Programming with External Procedures: Introducing S-Unification.
Inf. Process. Lett. 27(3): 159-165 (1988) |
| 16 | | Wlodzimierz Drabent,
Jan Maluszynski:
Inductive Assertion Method for Logic Programs.
Theor. Comput. Sci. 59: 133-155 (1988) |
| 1987 |
|---|
| 15 | | Wlodzimierz Drabent,
Jan Maluszynski:
Inductive Assertion Method for Logic Programs.
TAPSOFT, Vol.2 1987: 167-181 |
| 14 | | Henryk Jan Komorowski,
Jan Maluszynski:
Logic Programming and Rapid Prototyping.
Sci. Comput. Program. 9(2): 179-205 (1987) |
| 1985 |
|---|
| 13 | | Piotr Dembinski,
Jan Maluszynski:
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.
SLP 1985: 29-38 |
| 12 | | Jan Maluszynski,
Henryk Jan Komorowski:
Unification-Free Execution of Logic Programs.
SLP 1985: 78-86 |
| 11 | | Pierre Deransart,
Jan Maluszynski:
Relating Logic Programs and Attribute Grammars.
J. Log. Program. 2(2): 119-155 (1985) |
| 1984 |
|---|
| 10 | | Pierre Deransart,
Jan Maluszynski:
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.
SPLT 1984 |
| 9 | | Jan Maluszynski:
Towards a Programming Language Based on the Notion of Two-Level Grammar.
Theor. Comput. Sci. 28: 13-43 (1984) |
| 1982 |
|---|
| 8 | | Jan Maluszynski,
Jørgen Fischer Nilsson:
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars.
ICLP 1982: 193-199 |
| 7 | | Jan Maluszynski,
Jørgen Fischer Nilsson:
Grammatical Unification.
Inf. Process. Lett. 15(4): 150-158 (1982) |
| 1979 |
|---|
| 6 | | Piotr Dembinski,
Jan Maluszynski:
Two Level Grammars: CF-Grammars with Equation Schemes.
ICALP 1979: 171-187 |
| 1978 |
|---|
| 5 | | Piotr Dembinski,
Jan Maluszynski:
Attribute Grammars and Two-Level Grammars: A Unifying Approach.
MFCS 1978: 143-154 |
| 1975 |
|---|
| 4 | | Jan Maluszynski:
A Contribution to Error Recovery.
MFCS 1975: 302-307 |
| 3 | | Jan Maluszynski:
Regular Structures in Programming Languages.
Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 290-295 (1975) |
| 1974 |
|---|
| 2 | | Jan Maluszynski:
Substring Languages.
MFCS 1974: 274-284 |
| 1973 |
|---|
| 1 | | Jan Maluszynski:
Reduction goals in bottom-up recognition.
Automatentheorie und Formale Sprachen 1973: 294-300 |
