Jan Maluszynski

78 papers A* 1B 5Journal 18Unranked 39

Year	Rank	Type	Title / Venue / Authors
2018	—	`ch.`	Integration of Rules and Ontologies. Encyclopedia of Database Systems (2nd ed.) Jan Maluszynski
2013	—	`conf`	Partiality and Inconsistency in Agents' Belief Bases. KES-AMSTA Jan Maluszynski, Andrzej Szalas
2011	J	`jnl`	Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non Class. Logics Jan Maluszynski, Andrzej Szalas
2010	J	`jnl`	Hybrid rules with well-founded semantics. Knowl. Inf. Syst. Wlodzimierz Drabent, Jan Maluszynski
2010	—	`conf`	Living with Inconsistency and Taming Nonmonotonicity. Datalog Jan Maluszynski, Andrzej Szalas
2010	J	`jnl`	Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation CoRR Jan Maluszynski, Andrzej Szalas
2009	—	`ch.`	Hybrid Reasoning with Rules and Ontologies. REWERSE Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski
2009	J	`jnl`	Hybrid Rules with Well-Founded Semantics CoRR Wlodzimierz Drabent, Jan Maluszynski
2009	—	`ch.`	Integration of Rules and Ontologies. Encyclopedia of Database Systems Jan Maluszynski
2009	J	`jnl`	Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Informaticae Aida Vitória, Jan Maluszynski, Andrzej Szalas
2009	—	`book`	Semantic Techniques for the Web, The REWERSE Perspective REWERSE François Bry, Jan Maluszynski
2008	—	`conf`	Four-Valued Extension of Rough Sets. RSKT Aida Vitória, Andrzej Szalas, Jan Maluszynski
2008	—	`conf`	Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC Jan Maluszynski, Andrzej Szalas, Aida Vitória
2008	—	`ed.`	Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures Reasoning Web Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert
2007	J	`jnl`	A Four-Valued Logic for Rough Set-Like Approximate Reasoning. Trans. Rough Sets Jan Maluszynski, Andrzej Szalas, Aida Vitória
2007	—	`conf`	HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
2007	—	`conf`	Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
2007	—	`conf`	Well-Founded Semantics for Hybrid Rules. RR Wlodzimierz Drabent, Jan Maluszynski
2006	—	`conf`	Combining Safe Rules and Ontologies by Interfacing of Reasoners. PPSWR Uwe Aßmann, Jakob Henriksson, Jan Maluszynski
2005	—	`ed.`	Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures Reasoning Web Norbert Eisinger, Jan Maluszynski
2005	—	`conf`	RoSy: A Rough Knowledge Base System. RSFDGrC (2) Robin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski
2004	—	`conf`	On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR François Bry, Wlodzimierz Drabent, Jan Maluszynski
2004	—	`conf`	Static Type-Checking of Datalog with Ontologies. PPSWR Jakob Henriksson, Jan Maluszynski
2004	—	`ch.`	Toward Rough Datalog: Embedding Rough Sets in Prolog. Rough-Neural Computing: Techniques for Computing with Words Jan Maluszynski, Aida Vitória
2004	—	`conf`	Toward Rough Knowledge Bases with Quantitative Measures. Rough Sets and Current Trends in Computing Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2003	J	`jnl`	From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2003	—	`conf`	On integrating rules into the Semantic Web. WFLP Jan Maluszynski
2003	—	`ed.`	Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings PPSWR François Bry, Nicola Henze, Jan Maluszynski
2003	—	`conf`	Query Answering in Rough Knowledge Bases. RSFDGrC Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski
2002	—	`conf`	A Logic Programming Framework for Rough Sets. Rough Sets and Current Trends in Computing Aida Vitória, Jan Maluszynski
2002	—	`conf`	Defining Rough Sets by Extended Logic Programs. Paraconsistent Computational Logic Jan Maluszynski, Aida Vitória
2002	J	`jnl`	Static and Dynamic Slicing of Constraint Logic Programs. Autom. Softw. Eng. Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski
2002	J	`jnl`	Using parametric set constraints for locating errors in CLP programs CoRR Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2002	J	`jnl`	Using parametric set constraints for locating errors in CLP programs. Theory Pract. Log. Program. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2001	—	`conf`	Parametric Descriptive Types for CLP. JFPLC Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2000	—	`ed.`	Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
2000	—	`conf`	Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2000	—	`conf`	Slicing of Constraint Logic Programs. AADEBUG Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski
1999	—	`conf`	Type-based Diagnosis of CLP Programs. WLPE@ICLP Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
1997	—	`conf`	Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG Johan Boye, Wlodzimierz Drabent, Jan Maluszynski
1997	J	`jnl`	Directional Types and the Annotation Method. J. Log. Program. Johan Boye, Jan Maluszynski
1997	—	`ed.`	Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997 ILPS Jan Maluszynski
1997	—	`conf`	On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1996	—	`conf`	Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC Pascal Chambre, Pierre Deransart, Jan Maluszynski
1995	B	`conf`	Two Aspects of Directional Types. ICLP Johan Boye, Jan Maluszynski
1993	—	`book`	A grammatical view of logic programming. Pierre Deransart, Jan Maluszynski
1993	—	`conf`	Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski
1993	—	`conf`	Synthesis of Directionality Information for Functional Logic Programs. WSA Johan Boye, Jukka Paakki, Jan Maluszynski
1992	—	`conf`	Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP Gary Lindstrom, Jan Maluszynski, Takeshi Ogi
1991	—	`conf`	Attribute Grammars and Logic Programs: A Comparison of Concepts. Attribute Grammars, Applications and Systems Jan Maluszynski
1991	—	`ed.`	Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings PLILP Jan Maluszynski, Martin Wirsing
1990	—	`book`	Logic, programming and Prolog. Ulf Nilsson, Jan Maluszynski
1990	—	`ed.`	Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings PLILP Pierre Deransart, Jan Maluszynski
1989	—	`conf`	Fail Substitutions for Negation as Failure. NACLP Jan Maluszynski, Torbjörn Näslund
1989	—	`ed.`	Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings PLILP Pierre Deransart, Bernard Lorho, Jan Maluszynski
1988	—	`conf`	A Grammatical View of Logic Programming. PLILP Pierre Deransart, Jan Maluszynski
1988	—	`conf`	Algorithmic Debugging with Assertions. META Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
1988	J	`jnl`	Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. Wlodzimierz Drabent, Jan Maluszynski
1988	J	`jnl`	Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski
1988	—	`conf`	The Use of Assertions in Algorithmic Debugging. FGCS Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
1988	—	`conf`	Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP Staffan Bonnier, Jan Maluszynski
1988	—	`conf`	Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP Staffan Bonnier, Jan Maluszynski
1987	—	`conf`	Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 Wlodzimierz Drabent, Jan Maluszynski
1987	J	`jnl`	Logic Programming and Rapid Prototyping. Sci. Comput. Program. Henryk Jan Komorowski, Jan Maluszynski
1985	—	`conf`	AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP Piotr Dembinski, Jan Maluszynski
1985	J	`jnl`	Relating Logic Programs and Attribute Grammars. J. Log. Program. Pierre Deransart, Jan Maluszynski
1985	—	`conf`	Unification-Free Execution of Logic Programs. SLP Jan Maluszynski, Henryk Jan Komorowski
1984	—	`conf`	Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT Pierre Deransart, Jan Maluszynski
1984	J	`jnl`	Towards a Programming Language Based on the Notion of Two-Level Grammar. Theor. Comput. Sci. Jan Maluszynski
1982	B	`conf`	A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP Jan Maluszynski, Jørgen Fischer Nilsson
1982	J	`jnl`	Grammatical Unification. Inf. Process. Lett. Jan Maluszynski, Jørgen Fischer Nilsson
1979	A*	`conf`	Two Level Grammars: CF-Grammars with Equation Schemes. ICALP Piotr Dembinski, Jan Maluszynski
1978	B	`conf`	Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS Piotr Dembinski, Jan Maluszynski
1975	B	`conf`	A Contribution to Error Recovery. MFCS Jan Maluszynski
1975	J	`jnl`	Regular Structures in Programming Languages. J. Inf. Process. Cybern. Jan Maluszynski
1974	B	`conf`	Substring Languages. MFCS Jan Maluszynski
1973	—	`conf`	Reduction goals in bottom-up recognition. Automatentheorie und Formale Sprachen Jan Maluszynski