Jan Maluszynski

Publication Activity (10 Years)

Years Active: 1973-2013
Publications (10 Years): 0

Top Topics

Merging Operators

Multiagent Systems

Top Venues

Publications

Jan Maluszynski, Andrzej Szalas
Partiality and Inconsistency in Agents' Belief Bases. KES-AMSTA (2013)
Jan Maluszynski, Andrzej Szalas
Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non Class. Logics 21 (2) (2011)
Wlodzimierz Drabent, Jan Maluszynski
Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25 (1) (2010)
Jan Maluszynski, Andrzej Szalas
Living with Inconsistency and Taming Nonmonotonicity. Datalog (2010)
Jan Maluszynski, Andrzej Szalas
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation CoRR (2010)
Wlodzimierz Drabent, Jan Maluszynski
Hybrid Rules with Well-Founded Semantics CoRR (2009)
Aida Vitória, Jan Maluszynski, Andrzej Szalas
Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Informaticae 97 (4) (2009)
Jan Maluszynski, Andrzej Szalas, Aida Vitória
Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC (2008)
Aida Vitória, Andrzej Szalas, Jan Maluszynski
Four-Valued Extension of Rough Sets. RSKT (2008)
Jan Maluszynski, Andrzej Szalas, Aida Vitória
A Four-Valued Logic for Rough Set-Like Approximate Reasoning. Trans. Rough Sets 6 (2007)
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR (2007)
Wlodzimierz Drabent, Jan Maluszynski
Well-Founded Semantics for Hybrid Rules. RR (2007)
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS (2007)
Uwe Aßmann, Jakob Henriksson, Jan Maluszynski
Combining Safe Rules and Ontologies by Interfacing of Reasoners. PPSWR (2006)
Robin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski
RoSy: A Rough Knowledge Base System. RSFDGrC (2) (2005)
Jakob Henriksson, Jan Maluszynski
Static Type-Checking of Datalog with Ontologies. PPSWR (2004)
François Bry, Wlodzimierz Drabent, Jan Maluszynski
On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR (2004)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing (2004)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
Query Answering in Rough Knowledge Bases. RSFDGrC (2003)
Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae 57 (2-4) (2003)
Jan Maluszynski
On integrating rules into the Semantic Web. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Jan Maluszynski, Aida Vitória
Defining Rough Sets by Extended Logic Programs. Paraconsistent Computational Logic (2002)
Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski
Static and Dynamic Slicing of Constraint Logic Programs. Autom. Softw. Eng. 9 (1) (2002)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Aida Vitória, Jan Maluszynski
A Logic Programming Framework for Rough Sets. Rough Sets and Current Trends in Computing (2002)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs CoRR (2002)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Parametric Descriptive Types for CLP. JFPLC (2001)
Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming (2000)
Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski
Slicing of Constraint Logic Programs. AADEBUG (2000)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Type-based Diagnosis of CLP Programs. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
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)
Johan Boye, Jan Maluszynski
Directional Types and the Annotation Method. J. Log. Program. 33 (3) (1997)
Johan Boye, Wlodzimierz Drabent, Jan Maluszynski
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG (1997)
Pascal Chambre, Pierre Deransart, Jan Maluszynski
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC (1996)
Johan Boye, Jan Maluszynski
Two Aspects of Directional Types. ICLP (1995)
Johan Boye, Jukka Paakki, Jan Maluszynski
Synthesis of Directionality Information for Functional Logic Programs. WSA (1993)
Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG (1993)
Gary Lindstrom, Jan Maluszynski, Takeshi Ogi
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP (1992)
Jan Maluszynski
Attribute Grammars and Logic Programs: A Comparison of Concepts. Attribute Grammars, Applications and Systems (1991)
Jan Maluszynski, Torbjörn Näslund
Fail Substitutions for Negation as Failure. NACLP (1989)
Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27 (3) (1988)
Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
Algorithmic Debugging with Assertions. META (1988)
Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
The Use of Assertions in Algorithmic Debugging. FGCS (1988)
Wlodzimierz Drabent, Jan Maluszynski
Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. 59 (1988)
Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP (1988)
Pierre Deransart, Jan Maluszynski
A Grammatical View of Logic Programming. PLILP (1988)
Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP (1988)
Wlodzimierz Drabent, Jan Maluszynski
Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 (1987)
Henryk Jan Komorowski, Jan Maluszynski
Logic Programming and Rapid Prototyping. Sci. Comput. Program. 9 (2) (1987)
Piotr Dembinski, Jan Maluszynski
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP (1985)
Jan Maluszynski, Henryk Jan Komorowski
Unification-Free Execution of Logic Programs. SLP (1985)
Pierre Deransart, Jan Maluszynski
Relating Logic Programs and Attribute Grammars. J. Log. Program. 2 (2) (1985)
Jan Maluszynski
Towards a Programming Language Based on the Notion of Two-Level Grammar. Theor. Comput. Sci. 28 (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
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP (1982)
Jan Maluszynski, Jørgen Fischer Nilsson
Grammatical Unification. Inf. Process. Lett. 15 (4) (1982)
Piotr Dembinski, Jan Maluszynski
Two Level Grammars: CF-Grammars with Equation Schemes. ICALP (1979)
Piotr Dembinski, Jan Maluszynski
Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS (1978)
Jan Maluszynski
Regular Structures in Programming Languages. J. Inf. Process. Cybern. 11 (4-6) (1975)
Jan Maluszynski
A Contribution to Error Recovery. MFCS (1975)
Jan Maluszynski
Substring Languages. MFCS (1974)
Jan Maluszynski
Reduction goals in bottom-up recognition. Automatentheorie und Formale Sprachen (1973)