Jan Maluszynski

According to our database, Jan Maluszynski authored at least 64 papers between 1973 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Integration of Rules and Ontologies.

Jan Maluszynski

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2013

Partiality and Inconsistency in Agents' Belief Bases.

Jan Maluszynski, Andrzej Szalas

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

2011

Logical foundations and complexity of 4QL, a query language with unrestricted negation.

Jan Maluszynski, Andrzej Szalas

J. Appl. Non Class. Logics, 2011

2010

Hybrid rules with well-founded semantics.

Wlodzimierz Drabent, Jan Maluszynski

Knowl. Inf. Syst., 2010

Living with Inconsistency and Taming Nonmonotonicity.

Jan Maluszynski, Andrzej Szalas

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Hybrid Reasoning with Rules and Ontologies.

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Integration of Rules and Ontologies.

Jan Maluszynski

Proceedings of the Encyclopedia of Database Systems, 2009

Modeling and Reasoning with Paraconsistent Rough Sets.

Aida Vitória, Jan Maluszynski, Andrzej Szalas

Fundam. Informaticae, 2009

2008

Four-Valued Extension of Rough Sets.

Aida Vitória, Andrzej Szalas, Jan Maluszynski

Proceedings of the Rough Sets and Knowledge Technology, Third International Conference, 2008

Paraconsistent Logic Programs with Four-Valued Rough Sets.

Jan Maluszynski, Andrzej Szalas, Aida Vitória

Proceedings of the Rough Sets and Current Trends in Computing, 2008

2007

A Four-Valued Logic for Rough Set-Like Approximate Reasoning.

Jan Maluszynski, Andrzej Szalas, Aida Vitória

Trans. Rough Sets, 2007

Well-Founded Semantics for Hybrid Rules.

Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski

Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007

2006

Combining Safe Rules and Ontologies by Interfacing of Reasoners.

Uwe Aßmann, Jakob Henriksson, Jan Maluszynski

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

2005

RoSy: A Rough Knowledge Base System.

Robin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski

Proceedings of the Rough Sets, 2005

2004

Toward Rough Datalog: Embedding Rough Sets in Prolog.

Jan Maluszynski, Aida Vitória

Proceedings of the Rough-Neural Computing: Techniques for Computing with Words., 2004

Toward Rough Knowledge Bases with Quantitative Measures.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Proceedings of the Rough Sets and Current Trends in Computing, 2004

Static Type-Checking of Datalog with Ontologies.

Jakob Henriksson, Jan Maluszynski

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

On Subtyping of Tree-Structured Data: A Polynomial Approach.

François Bry, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

2003

From Rough Sets to Rough Knowledge Bases.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Fundam. Informaticae, 2003

On integrating rules into the Semantic Web.

Jan Maluszynski

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Query Answering in Rough Knowledge Bases.

Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski

Proceedings of the Rough Sets, 2003

2002

Using parametric set constraints for locating errors in CLP programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Theory Pract. Log. Program., 2002

Static and Dynamic Slicing of Constraint Logic Programs.

Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski

Autom. Softw. Eng., 2002

A Logic Programming Framework for Rough Sets.

Aida Vitória, Jan Maluszynski

Proceedings of the Rough Sets and Current Trends in Computing, 2002

Defining Rough Sets by Extended Logic Programs.

Jan Maluszynski, Aida Vitória

Proceedings of the Paraconsistent Computational Logic, 2002

2001

Parametric Descriptive Types for CLP.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

Locating Type Errors in Untyped CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Slicing of Constraint Logic Programs.

Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1999

Type-based Diagnosis of CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

1997

Directional Types and the Annotation Method.

Johan Boye, Jan Maluszynski

J. Log. Program., 1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla

Proceedings of the Third International Workshop on Automated Debugging, 1997

Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.

Johan Boye, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale.

Pascal Chambre, Pierre Deransart, Jan Maluszynski

Proceedings of the JFPLC'96, 1996

1995

Two Aspects of Directional Types.

Johan Boye, Jan Maluszynski

Proceedings of the Logic Programming, 1995

1993

Synthesis of Directionality Information for Functional Logic Programs.

Johan Boye, Jukka Paakki, Jan Maluszynski

Proceedings of the Static Analysis, Third International Workshop, 1993

Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.

Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

A grammatical view of logic programming.

Pierre Deransart, Jan Maluszynski

MIT Press, ISBN: 978-0-262-04140-9, 1993

1992

Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.

Gary Lindstrom, Jan Maluszynski, Takeshi Ogi

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Attribute Grammars and Logic Programs: A Comparison of Concepts.

Jan Maluszynski

Proceedings of the Attribute Grammars, 1991

1990

Logic, programming and Prolog.

Ulf Nilsson, Jan Maluszynski

Wiley, ISBN: 978-0-471-92625-2, 1990

1989

Fail Substitutions for Negation as Failure.

Jan Maluszynski, Torbjörn Näslund

Proceedings of the Logic Programming, 1989

1988

Inductive Assertion Method for Logic Programs.

Wlodzimierz Drabent, Jan Maluszynski

Theor. Comput. Sci., 1988

Logic Programming with External Procedures: Introducing S-Unification.

Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski

Inf. Process. Lett., 1988

A Grammatical View of Logic Programming.

Pierre Deransart, Jan Maluszynski

Proceedings of the Programming Language Implementation and Logic Programming, 1988

Algorithmic Debugging with Assertions.

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski

Proceedings of the Meta-Programming in Logic Programming, 1988

Towards a Clean Amalgamation of Logic Programs with External Procedures.

Staffan Bonnier, Jan Maluszynski

Proceedings of the Logic Programming, 1988

The Use of Assertions in Algorithmic Debugging.

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Logic Programming and Rapid Prototyping.

Henryk Jan Komorowski, Jan Maluszynski

Sci. Comput. Program., 1987

1985

Relating Logic Programs and Attribute Grammars.

Pierre Deransart, Jan Maluszynski

J. Log. Program., 1985

Unification-Free Execution of Logic Programs.

Jan Maluszynski, Henryk Jan Komorowski

Proceedings of the 1985 Symposium on Logic Programming, 1985

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

Piotr Dembinski, Jan Maluszynski

Proceedings of the 1985 Symposium on Logic Programming, 1985

1984

Towards a Programming Language Based on the Notion of Two-Level Grammar.

Jan Maluszynski

Theor. Comput. Sci., 1984

Modélisation du flot de données par des schémas d'attributs dans les programmes logiques.

Pierre Deransart, Jan Maluszynski

Proceedings of the SPLT'84, 1984

1982

Grammatical Unification.

Jan Maluszynski, Jørgen Fischer Nilsson

Inf. Process. Lett., 1982

A Comparison of the Logic Programming Language Prolog with Two-levels Grammars.

Jan Maluszynski, Jørgen Fischer Nilsson

Proceedings of the First International Logic Programming Conference, 1982

1979

Two Level Grammars: CF-Grammars with Equation Schemes.

Piotr Dembinski, Jan Maluszynski

Proceedings of the Automata, 1979

1978

Attribute Grammars and Two-Level Grammars: A Unifying Approach.

Piotr Dembinski, Jan Maluszynski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1975

Regular Structures in Programming Languages.

Jan Maluszynski

J. Inf. Process. Cybern., 1975

A Contribution to Error Recovery.

Jan Maluszynski

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974

Substring Languages.

Jan Maluszynski

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

Reduction goals in bottom-up recognition.

Jan Maluszynski

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973