Jan Maluszynski - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Logical foundations and complexity of 4QL, a query language with unrestricted negationJan Maluszynski, Andrzej Szalas. jancl, 21(2):211-232, 2011. [doi]

2010

Hybrid rules with well-founded semanticsWlodzimierz Drabent, Jan Maluszynski. kais, 25(1):137-168, 2010. [doi]

2009

Semantic Techniques for the Web, The REWERSE PerspectiveFrançois Bry, Jan Maluszynski, editors, Volume 5500 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Hybrid Reasoning with Rules and OntologiesWlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski. In François Bry, Jan Maluszynski, editors, Semantic Techniques for the Web, The REWERSE Perspective. Volume 5500 of Lecture Notes in Computer Science, pages 1-49, Springer, 2009. [doi]

Modeling and Reasoning with Paraconsistent Rough SetsAida Vitória, Jan Maluszynski, Andrzej Szalas. FUIN, 97(4):405-438, 2009. [doi]

2008

Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial LecturesCristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert, editors, Volume 5224 of Lecture Notes in Computer Science, Springer, 2008.

Paraconsistent Logic Programs with Four-Valued Rough SetsJan Maluszynski, Andrzej Szalas, Aida Vitória. rsctc 2008: 41-51 [doi]

Four-Valued Extension of Rough SetsAida Vitória, Andrzej Szalas, Jan Maluszynski. rskt 2008: 106-114 [doi]

2007

2006

Combining Safe Rules and Ontologies by Interfacing of ReasonersUwe Aßmann, Jakob Henriksson, Jan Maluszynski. ppswr 2006: 33-47 [doi]

2005

RoSy: A Rough Knowledge Base SystemRobin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski. rsfdgrc 2005: 48-58 [doi]

Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial LecturesNorbert Eisinger, Jan Maluszynski, editors, Volume 3564 of Lecture Notes in Computer Science, Springer, 2005.

2004

On Subtyping of Tree-Structured Data: A Polynomial ApproachFrançois Bry, Wlodzimierz Drabent, Jan Maluszynski. ppswr 2004: 1-18 [doi]

Static Type-Checking of Datalog with OntologiesJakob Henriksson, Jan Maluszynski. ppswr 2004: 76-89 [doi]

Toward Rough Knowledge Bases with Quantitative MeasuresAida Vitória, Carlos Viegas Damásio, Jan Maluszynski. rsctc 2004: 153-158 [doi]

2003

Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, ProceedingsFrançois Bry, Nicola Henze, Jan Maluszynski, editors, Volume 2901 of Lecture Notes in Computer Science, Springer, 2003.

On integrating rules into the Semantic WebJan Maluszynski. ENTCS, 86(3), 2003. [doi]

From Rough Sets to Rough Knowledge BasesAida Vitória, Carlos Viegas Damásio, Jan Maluszynski. FUIN, 57(2-4):215-246, 2003. [doi]

Query Answering in Rough Knowledge BasesAida Vitória, Carlos Viegas Damásio, Jan Maluszynski. rsfdgrc 2003: 197-204 [doi]

2002

2001

Parametric Descriptive Types for CLPWlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak. jfplc 2001: 239-256

2000

IntroductionPierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski. discipl 2000: 1-20

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski, editors, Volume 1870 of Lecture Notes in Computer Science, Springer, 2000.

Locating Type Errors in Untyped CLP ProgramsWlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak. discipl 2000: 121-150

Slicing of Constraint Logic ProgramsGyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski. AADEBUG 2000: [doi]

1999

Type-based Diagnosis of CLP ProgramsWlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak. TCS, 30(4), 1999. [doi]

1997

1996

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

1995

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

1993

Synthesis of Directionality Information for Functional Logic ProgramsJohan Boye, Jukka Paakki, Jan Maluszynski. SAS 1993: 165-177

A grammatical view of logic programmingPierre Deransart, Jan Maluszynski. MIT Press, 1993.

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

1992

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

1991

Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP 91, Passau, Germany, August 26-28, 1991, ProceedingsJan Maluszynski, Martin Wirsing, editors, Volume 528 of Lecture Notes in Computer Science, Springer, 1991.

Attribute Grammars and Logic Programs: A Comparison of ConceptsJan Maluszynski. saga 1991: 330-357

1990

Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP 90, Linköping, Sweden, August 20-22, 1990, ProceedingsPierre Deransart, Jan Maluszynski, editors, Volume 456 of Lecture Notes in Computer Science, Springer, 1990.

Logic, programming and PrologUlf Nilsson, Jan Maluszynski. Wiley, 1990.

1989

Programming Language Implementation and Logic Programming, 1st International Workshop PLILP 88, Orléans, France, May 16-18, 1988, ProceedingsPierre Deransart, Bernard Lorho, Jan Maluszynski, editors, Volume 348 of Lecture Notes in Computer Science, Springer, 1989.

Fail Substitutions for Negation as FailureJan Maluszynski, Torbjörn Näslund. slp 1989: 461-476

1988

1987

Inductive Assertion Method for Logic ProgramsWlodzimierz Drabent, Jan Maluszynski. tapsoft 1987: 167-181

Logic Programming and Rapid PrototypingHenryk Jan Komorowski, Jan Maluszynski. SCP, 9(2):179-205, 1987.

1985

AND-Parallelism with Intelligent Backtracking for Annotated Logic ProgramsPiotr Dembinski, Jan Maluszynski. slp 1985: 29-38

Relating Logic Programs and Attribute GrammarsPierre Deransart, Jan Maluszynski. jlp, 2(2):119-155, 1985.

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

1984

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

Towards a Programming Language Based on the Notion of Two-Level GrammarJan Maluszynski. TCS, 28:13-43, 1984.

1982

Grammatical UnificationJan Maluszynski, Jørgen Fischer Nilsson. ipl, 15(4):150-158, 1982.

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

1979

Two Level Grammars: CF-Grammars with Equation SchemesPiotr Dembinski, Jan Maluszynski. icalp 1979: 171-187

1978

Attribute Grammars and Two-Level Grammars: A Unifying ApproachPiotr Dembinski, Jan Maluszynski. mfcs 1978: 143-154

1975

A Contribution to Error RecoveryJan Maluszynski. mfcs 1975: 302-307

Regular Structures in Programming LanguagesJan Maluszynski. eik, 11(4-6):290-295, 1975.

1974

Substring LanguagesJan Maluszynski. mfcs 1975: 274-284

1973

Reduction goals in bottom-up recognitionJan Maluszynski. automata 1973: 294-300