default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Maluszynski
Person information
- affiliation: Linköping University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[r2]Jan Maluszynski:
Integration of Rules and Ontologies. Encyclopedia of Database Systems (2nd ed.) 2018- 2013
- [c45]Jan Maluszynski, Andrzej Szalas
:
Partiality and Inconsistency in Agents' Belief Bases. KES-AMSTA 2013: 3-17 - 2011
- [j15]Jan Maluszynski, Andrzej Szalas:
Logical foundations and complexity of 4QL, a query language with unrestricted negation. J. Appl. Non Class. Logics 21(2): 211-232 (2011) - 2010
- [j14]Wlodzimierz Drabent, Jan Maluszynski:
Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1): 137-168 (2010) - [c44]Jan Maluszynski, Andrzej Szalas:
Living with Inconsistency and Taming Nonmonotonicity. Datalog 2010: 384-398 - [i3]Jan Maluszynski, Andrzej Szalas:
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation. CoRR abs/1011.5105 (2010)
2000 – 2009
- 2009
- [j13]Aida Vitória, Jan Maluszynski, Andrzej Szalas:
Modeling and Reasoning with Paraconsistent Rough Sets. Fundam. Informaticae 97(4): 405-438 (2009) - [p2]Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski:
Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49 - [e9]François Bry, Jan Maluszynski:
Semantic Techniques for the Web, The REWERSE Perspective. Lecture Notes in Computer Science 5500, Springer 2009, ISBN 978-3-642-04580-6 [contents] - [r1]Jan Maluszynski:
Integration of Rules and Ontologies. Encyclopedia of Database Systems 2009: 1546-1551 - [i2]Wlodzimierz Drabent, Jan Maluszynski:
Hybrid Rules with Well-Founded Semantics. CoRR abs/0906.3815 (2009) - 2008
- [c43]Jan Maluszynski, Andrzej Szalas, Aida Vitória:
Paraconsistent Logic Programs with Four-Valued Rough Sets. RSCTC 2008: 41-51 - [c42]Aida Vitória, Andrzej Szalas, Jan Maluszynski:
Four-Valued Extension of Rough Sets. RSKT 2008: 106-114 - [e8]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. Lecture Notes in Computer Science 5224, Springer 2008, ISBN 978-3-540-85656-6 [contents] - 2007
- [j12]Jan Maluszynski, Andrzej Szalas, Aida Vitória:
A Four-Valued Logic for Rough Set-Like Approximate Reasoning. Trans. Rough Sets 6: 176-190 (2007) - [c41]Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007 - [c40]Wlodzimierz Drabent, Jan Maluszynski:
Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15 - [c39]Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357 - 2006
- [c38]Uwe Aßmann, Jakob Henriksson, Jan Maluszynski:
Combining Safe Rules and Ontologies by Interfacing of Reasoners. PPSWR 2006: 33-47 - 2005
- [c37]Robin Andersson, Aida Vitória, Jan Maluszynski, Henryk Jan Komorowski:
RoSy: A Rough Knowledge Base System. RSFDGrC (2) 2005: 48-58 - [e7]Norbert Eisinger, Jan Maluszynski:
Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures. Lecture Notes in Computer Science 3564, Springer 2005, ISBN 3-540-27828-1 [contents] - 2004
- [c36]François Bry, Wlodzimierz Drabent, Jan Maluszynski:
On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18 - [c35]Jakob Henriksson, Jan Maluszynski:
Static Type-Checking of Datalog with Ontologies. PPSWR 2004: 76-89 - [c34]Aida 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 - [p1]Jan Maluszynski, Aida Vitória:
Toward Rough Datalog: Embedding Rough Sets in Prolog. Rough-Neural Computing: Techniques for Computing with Words 2004: 297-332 - 2003
- [j11]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski:
From Rough Sets to Rough Knowledge Bases. Fundam. Informaticae 57(2-4): 215-246 (2003) - [c33]Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski:
Query Answering in Rough Knowledge Bases. RSFDGrC 2003: 197-204 - [c32]Jan Maluszynski:
On integrating rules into the Semantic Web. WFLP 2003: 1-11 - [e6]François Bry, Nicola Henze, Jan Maluszynski:
Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings. Lecture Notes in Computer Science 2901, Springer 2003, ISBN 3-540-20582-9 [contents] - 2002
- [j10]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) - [j9]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs. Theory Pract. Log. Program. 2(4-5): 549-610 (2002) - [c31]Jan Maluszynski, Aida Vitória:
Defining Rough Sets by Extended Logic Programs. Paraconsistent Computational Logic 2002: 81-90 - [c30]Aida Vitória, Jan Maluszynski:
A Logic Programming Framework for Rough Sets. Rough Sets and Current Trends in Computing 2002: 205-212 - [i1]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs. CoRR cs.PL/0202010 (2002) - 2001
- [c29]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Parametric Descriptive Types for CLP. JFPLC 2001: 239-256 - 2000
- [c28]Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski:
Slicing of Constraint Logic Programs. AADEBUG 2000 - [c27]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: 1-20 - [c26]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming 2000: 121-150 - [e5]Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, ISBN 3-540-41137-2 [contents]
1990 – 1999
- 1999
- [c25]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Type-based Diagnosis of CLP Programs. WLPE@ICLP 1999: 215-234 - 1997
- [j8]Johan Boye, Jan Maluszynski:
Directional Types and the Annotation Method. J. Log. Program. 33(3): 179-220 (1997) - [c24]Johan Boye, Wlodzimierz Drabent, Jan Maluszynski:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG 1997: 123-140 - [c23]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: 155-169 - [e4]Jan Maluszynski:
Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997. MIT Press 1997, ISBN 0-262-63180-6 [contents] - 1996
- [c22]Pascal Chambre, Pierre Deransart, Jan Maluszynski:
Une méthode de preuve pour programmes concurrents avec contraintes sous forme clausale. JFPLC 1996: 115-130 - 1995
- [c21]Johan Boye, Jan Maluszynski:
Two Aspects of Directional Types. ICLP 1995: 747-761 - 1993
- [b2]Pierre Deransart, Jan Maluszynski:
A grammatical view of logic programming. MIT Press 1993, ISBN 978-0-262-04140-9, pp. I-XXXI, 1-454 - [c20]Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski:
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG 1993: 350-367 - [c19]Johan Boye, Jukka Paakki, Jan Maluszynski:
Synthesis of Directionality Information for Functional Logic Programs. WSA 1993: 165-177 - 1992
- [c18]Gary Lindstrom, Jan Maluszynski, Takeshi Ogi:
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP 1992: 428-442 - 1991
- [c17]Jan Maluszynski:
Attribute Grammars and Logic Programs: A Comparison of Concepts. Attribute Grammars, Applications and Systems 1991: 330-357 - [e3]Jan Maluszynski, Martin Wirsing:
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Lecture Notes in Computer Science 528, Springer 1991, ISBN 3-540-54444-5 [contents] - 1990
- [b1]Ulf Nilsson, Jan Maluszynski:
Logic, programming and Prolog. Wiley 1990, ISBN 978-0-471-92625-2, pp. I-XIV, 1-289 - [e2]Pierre Deransart, Jan Maluszynski:
Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings. Lecture Notes in Computer Science 456, Springer 1990, ISBN 3-540-53010-X [contents]
1980 – 1989
- 1989
- [c16]Jan Maluszynski, Torbjörn Näslund:
Fail Substitutions for Negation as Failure. NACLP 1989: 461-476 - [e1]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. Lecture Notes in Computer Science 348, Springer 1989, ISBN 3-540-50820-1 [contents] - 1988
- [j7]Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski:
Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988) - [j6]Wlodzimierz Drabent, Jan Maluszynski:
Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. 59: 133-155 (1988) - [c15]Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski:
The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581 - [c14]Staffan Bonnier, Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326 - [c13]Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski:
Algorithmic Debugging with Assertions. META 1988: 501-521 - [c12]Staffan Bonnier, Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP 1988: 20-34 - [c11]Pierre Deransart, Jan Maluszynski:
A Grammatical View of Logic Programming. PLILP 1988: 219-251 - 1987
- [j5]Henryk Jan Komorowski, Jan Maluszynski:
Logic Programming and Rapid Prototyping. Sci. Comput. Program. 9(2): 179-205 (1987) - [c10]Wlodzimierz Drabent, Jan Maluszynski:
Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 1987: 167-181 - 1985
- [j4]Pierre Deransart, Jan Maluszynski:
Relating Logic Programs and Attribute Grammars. J. Log. Program. 2(2): 119-155 (1985) - [c9]Piotr Dembinski, Jan Maluszynski:
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP 1985: 29-38 - [c8]Jan Maluszynski, Henryk Jan Komorowski:
Unification-Free Execution of Logic Programs. SLP 1985: 78-86 - 1984
- [j3]Jan Maluszynski:
Towards a Programming Language Based on the Notion of Two-Level Grammar. Theor. Comput. Sci. 28: 13-43 (1984) - [c7]Pierre Deransart, Jan Maluszynski:
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques. SPLT 1984 - 1982
- [j2]Jan Maluszynski, Jørgen Fischer Nilsson:
Grammatical Unification. Inf. Process. Lett. 15(4): 150-158 (1982) - [c6]Jan Maluszynski, Jørgen Fischer Nilsson:
A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. ICLP 1982: 193-199
1970 – 1979
- 1979
- [c5]Piotr Dembinski, Jan Maluszynski:
Two Level Grammars: CF-Grammars with Equation Schemes. ICALP 1979: 171-187 - 1978
- [c4]Piotr Dembinski, Jan Maluszynski:
Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS 1978: 143-154 - 1975
- [j1]Jan Maluszynski:
Regular Structures in Programming Languages. J. Inf. Process. Cybern. 11(4-6): 290-295 (1975) - [c3]Jan Maluszynski:
A Contribution to Error Recovery. MFCS 1975: 302-307 - 1974
- [c2]Jan Maluszynski:
Substring Languages. MFCS 1974: 274-284 - 1973
- [c1]Jan Maluszynski:
Reduction goals in bottom-up recognition. Automatentheorie und Formale Sprachen 1973: 294-300
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
