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 |