dblp.uni-trier.dewww.uni-trier.de

Jan Maluszynski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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
62EEJan Maluszynski, Andrzej Szalas, Aida Vitória: Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC 2008: 41-51
61EEAida Vitória, Andrzej Szalas, Jan Maluszynski: Four-Valued Extension of Rough Sets. RSKT 2008: 106-114
2007
60EEWlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007
59EEWlodzimierz Drabent, Jan Maluszynski: Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15
58EEWlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357
57EEJan Maluszynski, Andrzej Szalas, Aida Vitória: A Four-Valued Logic for Rough Set-Like Approximate Reasoning. T. Rough Sets 6: 176-190 (2007)
2006
56EEUwe 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
54EERobin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski: RoSy: A Rough Knowledge Base System. RSFDGrC (2) 2005: 48-58
2004
53EEFrançois Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18
52EEJakob Henriksson, Jan Maluszynski: Static Type-Checking of Datalog with Ontologies. PPSWR 2004: 76-89
51EEAida 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
49EEAida Vitória, Carlos Viegas Damásio, Jan Maluszynski: Query Answering in Rough Knowledge Bases. RSFDGrC 2003: 197-204
48EEJan Maluszynski: On integrating rules into the Semantic Web. Electr. Notes Theor. Comput. Sci. 86(3): (2003)
47EEAida Vitória, Carlos Viegas Damásio, Jan Maluszynski: From Rough Sets to Rough Knowledge Bases. Fundam. Inform. 57(2-4): 215-246 (2003)
2002
46EEJan Maluszynski, Aida Vitória: Defining Rough Sets by Extended Logic Programs. Paraconsistent Computational Logic 2002: 81-90
45EEAida 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)
43EEWlodzimierz 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
39EEGyö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
36EEWlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Type-based Diagnosis of CLP Programs. Electr. Notes Theor. Comput. Sci. 30(4): (1999)
1997
35EEJohan Boye, Wlodzimierz Drabent, Jan Maluszynski: Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG 1997: 123-140
34EEFrancisco 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

Coauthor Index

1Robin Andersson [54]
2Uwe Aßmann [56]
3Cristina Baroglio [63]
4Piero A. Bonatti [63]
5Staffan Bonnier [17] [19] [21]
6Johan Boye [29] [31] [33] [35]
7François Bry (François Bry-Haußer) [50] [53]
8Francisco Bueno [34]
9Pascal Chambre [32]
10Carlos Viegas Damásio [47] [49] [51]
11Piotr Dembinski [5] [6] [13]
12Pierre Deransart [10] [11] [18] [24] [25] [32] [34] [38] [40]
13Wlodzimierz Drabent (Wlodek Drabent) [15] [16] [20] [22] [30] [34] [35] [36] [37] [41] [42] [43] [53] [58] [59] [60]
14Norbert Eisinger [55]
15Gérard Ferrand [34]
16Tibor Gyimóthy [39] [44]
17Jakob Henriksson [52] [56] [58] [60]
18Nicola Henze [50]
19Manuel V. Hermenegildo [34] [38] [40]
20Henryk Jan Komorowski [12] [14] [54]
21Krzysztof Kuchcinski [30]
22Jacek Leszczylowski [17]
23Gary Lindstrom [28]
24Bernard Lorho [24]
25Massimo Marchiori [63]
26Simin Nadjm-Tehrani [20] [22]
27Torbjörn Näslund [23]
28Jørgen Fischer Nilsson [7] [8]
29Takeshi Ogi [28]
30Jukka Paakki [29]
31Pawel Pietrzak [36] [37] [41] [42] [43]
32Axel Polleres [63]
33Germán Puebla (German Puebla) [34]
34Sebastian Schaffert [63]
35Andrzej Szalas [57] [61] [62]
36Gyöngyi Szilágyi [39] [44]
37Aida Vitória [45] [46] [47] [49] [51] [54] [57] [61] [62]
38Martin Wirsing [27]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)