BibTeX records: Jan Maluszynski

download as .bib file

@incollection{DBLP:reference/db/Maluszynski18,
  author       = {Jan Maluszynski},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Integration of Rules and Ontologies},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_1313},
  doi          = {10.1007/978-1-4614-8265-9\_1313},
  timestamp    = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl       = {https://dblp.org/rec/reference/db/Maluszynski18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MaluszynskiS13,
  author       = {Jan Maluszynski and
                  Andrzej Szalas},
  editor       = {Dariusz Barbucha and
                  Manh Thanh Le and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Partiality and Inconsistency in Agents' Belief Bases},
  booktitle    = {Advanced Methods and Technologies for Agent and Multi-Agent Systems,
                  Proceedings of the 7th {KES} Conference on Agent and Multi-Agent Systems
                  - Technologies and Applications {(KES-AMSTA} 2013), May 27-29, 2013,
                  Hue City, Vietnam},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {252},
  pages        = {3--17},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-254-7-3},
  doi          = {10.3233/978-1-61499-254-7-3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kesamsta/MaluszynskiS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MaluszynskiS11,
  author       = {Jan Maluszynski and
                  Andrzej Szalas},
  title        = {Logical foundations and complexity of 4QL, a query language with unrestricted
                  negation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {21},
  number       = {2},
  pages        = {211--232},
  year         = {2011},
  url          = {https://doi.org/10.3166/jancl.21.211-232},
  doi          = {10.3166/JANCL.21.211-232},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/MaluszynskiS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/DrabentM10,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski},
  title        = {Hybrid rules with well-founded semantics},
  journal      = {Knowl. Inf. Syst.},
  volume       = {25},
  number       = {1},
  pages        = {137--168},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10115-010-0300-5},
  doi          = {10.1007/S10115-010-0300-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/DrabentM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MaluszynskiS10,
  author       = {Jan Maluszynski and
                  Andrzej Szalas},
  editor       = {Oege de Moor and
                  Georg Gottlob and
                  Tim Furche and
                  Andrew Jon Sellers},
  title        = {Living with Inconsistency and Taming Nonmonotonicity},
  booktitle    = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
                  UK, March 16-19, 2010. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6702},
  pages        = {384--398},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-24206-9\_22},
  doi          = {10.1007/978-3-642-24206-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/datalog/MaluszynskiS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5105,
  author       = {Jan Maluszynski and
                  Andrzej Szalas},
  title        = {Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted
                  Negation},
  journal      = {CoRR},
  volume       = {abs/1011.5105},
  year         = {2010},
  url          = {http://arxiv.org/abs/1011.5105},
  eprinttype    = {arXiv},
  eprint       = {1011.5105},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1011-5105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VitoriaMS09,
  author       = {Aida Vit{\'{o}}ria and
                  Jan Maluszynski and
                  Andrzej Szalas},
  title        = {Modeling and Reasoning with Paraconsistent Rough Sets},
  journal      = {Fundam. Informaticae},
  volume       = {97},
  number       = {4},
  pages        = {405--438},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-209},
  doi          = {10.3233/FI-2009-209},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/VitoriaMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/DrabentEIKLM09,
  author       = {Wlodzimierz Drabent and
                  Thomas Eiter and
                  Giovambattista Ianni and
                  Thomas Krennwallner and
                  Thomas Lukasiewicz and
                  Jan Maluszynski},
  editor       = {Fran{\c{c}}ois Bry and
                  Jan Maluszynski},
  title        = {Hybrid Reasoning with Rules and Ontologies},
  booktitle    = {Semantic Techniques for the Web, The {REWERSE} Perspective},
  series       = {Lecture Notes in Computer Science},
  volume       = {5500},
  pages        = {1--49},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04581-3\_1},
  doi          = {10.1007/978-3-642-04581-3\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/DrabentEIKLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/5500,
  editor       = {Fran{\c{c}}ois Bry and
                  Jan Maluszynski},
  title        = {Semantic Techniques for the Web, The {REWERSE} Perspective},
  series       = {Lecture Notes in Computer Science},
  volume       = {5500},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04581-3},
  doi          = {10.1007/978-3-642-04581-3},
  isbn         = {978-3-642-04580-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/5500.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Maluszynski09,
  author       = {Jan Maluszynski},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Integration of Rules and Ontologies},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {1546--1551},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_1313},
  doi          = {10.1007/978-0-387-39940-9\_1313},
  timestamp    = {Sun, 02 Jun 2019 21:10:27 +0200},
  biburl       = {https://dblp.org/rec/reference/db/Maluszynski09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-3815,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski},
  title        = {Hybrid Rules with Well-Founded Semantics},
  journal      = {CoRR},
  volume       = {abs/0906.3815},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.3815},
  eprinttype    = {arXiv},
  eprint       = {0906.3815},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-3815.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/MaluszynskiSV08,
  author       = {Jan Maluszynski and
                  Andrzej Szalas and
                  Aida Vit{\'{o}}ria},
  editor       = {Chien{-}Chung Chan and
                  Jerzy W. Grzymala{-}Busse and
                  Wojciech Ziarko},
  title        = {Paraconsistent Logic Programs with Four-Valued Rough Sets},
  booktitle    = {Rough Sets and Current Trends in Computing, 6th International Conference,
                  {RSCTC} 2008, Akron, OH, USA, October 23-25, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5306},
  pages        = {41--51},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88425-5\_5},
  doi          = {10.1007/978-3-540-88425-5\_5},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/MaluszynskiSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/VitoriaSM08,
  author       = {Aida Vit{\'{o}}ria and
                  Andrzej Szalas and
                  Jan Maluszynski},
  editor       = {Guoyin Wang and
                  Tianrui Li and
                  Jerzy W. Grzymala{-}Busse and
                  Duoqian Miao and
                  Andrzej Skowron and
                  Yiyu Yao},
  title        = {Four-Valued Extension of Rough Sets},
  booktitle    = {Rough Sets and Knowledge Technology, Third International Conference,
                  {RSKT} 2008, Chengdu, China, May 17-19, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5009},
  pages        = {106--114},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-79721-0\_19},
  doi          = {10.1007/978-3-540-79721-0\_19},
  timestamp    = {Thu, 15 Jul 2021 13:46:36 +0200},
  biburl       = {https://dblp.org/rec/conf/rskt/VitoriaSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2008,
  editor       = {Cristina Baroglio and
                  Piero A. Bonatti and
                  Jan Maluszynski and
                  Massimo Marchiori and
                  Axel Polleres and
                  Sebastian Schaffert},
  title        = {Reasoning Web, 4th International Summer School 2008, Venice, Italy,
                  September 7-11, 2008, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5224},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85658-0},
  doi          = {10.1007/978-3-540-85658-0},
  isbn         = {978-3-540-85656-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trs/MaluszynskiSV07,
  author       = {Jan Maluszynski and
                  Andrzej Szalas and
                  Aida Vit{\'{o}}ria},
  title        = {A Four-Valued Logic for Rough Set-Like Approximate Reasoning},
  journal      = {Trans. Rough Sets},
  volume       = {6},
  pages        = {176--190},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71200-8\_11},
  doi          = {10.1007/978-3-540-71200-8\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/trs/MaluszynskiSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DrabentHM07,
  author       = {Wlodzimierz Drabent and
                  Jakob Henriksson and
                  Jan Maluszynski},
  editor       = {Axel Polleres and
                  David Pearce and
                  Stijn Heymans and
                  Edna Ruckhaus},
  title        = {HD-rules: {A} Hybrid System Interfacing Prolog with DL-reasoners},
  booktitle    = {Proceedings of the ICLP'07 Workshop on Applications of Logic Programming
                  to the Web, Semantic Web and Semantic Web Services, {ALPSWS} 2007,
                  Porto, Portugal, September 13th, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {287},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-287/paper\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/DrabentHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DrabentM07,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski},
  editor       = {Massimo Marchiori and
                  Jeff Z. Pan and
                  Christian de Sainte Marie},
  title        = {Well-Founded Semantics for Hybrid Rules},
  booktitle    = {Web Reasoning and Rule Systems, First International Conference, {RR}
                  2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4524},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72982-2\_1},
  doi          = {10.1007/978-3-540-72982-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/DrabentM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DrabentHM07,
  author       = {Wlodzimierz Drabent and
                  Jakob Henriksson and
                  Jan Maluszynski},
  editor       = {Massimo Marchiori and
                  Jeff Z. Pan and
                  Christian de Sainte Marie},
  title        = {Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics},
  booktitle    = {Web Reasoning and Rule Systems, First International Conference, {RR}
                  2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4524},
  pages        = {348--357},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72982-2\_29},
  doi          = {10.1007/978-3-540-72982-2\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/DrabentHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/AssmannHM06,
  author       = {Uwe A{\ss}mann and
                  Jakob Henriksson and
                  Jan Maluszynski},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  James Bailey and
                  Wolfgang May and
                  Uta Schwertel},
  title        = {Combining Safe Rules and Ontologies by Interfacing of Reasoners},
  booktitle    = {Principles and Practice of Semantic Web Reasoning, 4th International
                  Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4187},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853107\_3},
  doi          = {10.1007/11853107\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/AssmannHM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsfdgrc/AnderssonVMK05,
  author       = {Robin Andersson and
                  Aida Vit{\'{o}}ria and
                  Jan Maluszynski and
                  Henryk Jan Komorowski},
  editor       = {Dominik Slezak and
                  Jingtao Yao and
                  James F. Peters and
                  Wojciech Ziarko and
                  Xiaohua Hu},
  title        = {RoSy: {A} Rough Knowledge Base System},
  booktitle    = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th
                  International Conference, RSFDGrC 2005, Regina, Canada, August 31
                  - September 3, 2005, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3642},
  pages        = {48--58},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548706\_6},
  doi          = {10.1007/11548706\_6},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsfdgrc/AnderssonVMK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2005,
  editor       = {Norbert Eisinger and
                  Jan Maluszynski},
  title        = {Reasoning Web, First International Summer School 2005, Msida, Malta,
                  July 25-29, 2005, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3564},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11526988},
  doi          = {10.1007/11526988},
  isbn         = {3-540-27828-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BryDM04,
  author       = {Fran{\c{c}}ois Bry and
                  Wlodzimierz Drabent and
                  Jan Maluszynski},
  editor       = {Hans J{\"{u}}rgen Ohlbach and
                  Sebastian Schaffert},
  title        = {On Subtyping of Tree-Structured Data: {A} Polynomial Approach},
  booktitle    = {Principles and Practice of Semantic Web Reasoning, Second International
                  Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3208},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30122-6\_1},
  doi          = {10.1007/978-3-540-30122-6\_1},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/BryDM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/HenrikssonM04,
  author       = {Jakob Henriksson and
                  Jan Maluszynski},
  editor       = {Hans J{\"{u}}rgen Ohlbach and
                  Sebastian Schaffert},
  title        = {Static Type-Checking of Datalog with Ontologies},
  booktitle    = {Principles and Practice of Semantic Web Reasoning, Second International
                  Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3208},
  pages        = {76--89},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30122-6\_6},
  doi          = {10.1007/978-3-540-30122-6\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/HenrikssonM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/VitoriaDM04,
  author       = {Aida Vit{\'{o}}ria and
                  Carlos Viegas Dam{\'{a}}sio and
                  Jan Maluszynski},
  editor       = {Shusaku Tsumoto and
                  Roman Slowinski and
                  Henryk Jan Komorowski and
                  Jerzy W. Grzymala{-}Busse},
  title        = {Toward Rough Knowledge Bases with Quantitative Measures},
  booktitle    = {Rough Sets and Current Trends in Computing, 4th International Conference,
                  {RSCTC} 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3066},
  pages        = {153--158},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25929-9\_17},
  doi          = {10.1007/978-3-540-25929-9\_17},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/VitoriaDM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cogtech/MaluszynskiV04,
  author       = {Jan Maluszynski and
                  Aida Vit{\'{o}}ria},
  editor       = {Sankar Kumar Pal and
                  Lech Polkowski and
                  Andrzej Skowron},
  title        = {Toward Rough Datalog: Embedding Rough Sets in Prolog},
  booktitle    = {Rough-Neural Computing: Techniques for Computing with Words},
  series       = {Cognitive Technologies},
  pages        = {297--332},
  publisher    = {Springer},
  year         = {2004},
  timestamp    = {Sun, 10 Dec 2017 14:45:39 +0100},
  biburl       = {https://dblp.org/rec/series/cogtech/MaluszynskiV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VitoriaDM03,
  author       = {Aida Vit{\'{o}}ria and
                  Carlos Viegas Dam{\'{a}}sio and
                  Jan Maluszynski},
  title        = {From Rough Sets to Rough Knowledge Bases},
  journal      = {Fundam. Informaticae},
  volume       = {57},
  number       = {2-4},
  pages        = {215--246},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/VitoriaDM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsfdgrc/VitoriaDM03,
  author       = {Aida Vit{\'{o}}ria and
                  Carlos Viegas Dam{\'{a}}sio and
                  Jan Maluszynski},
  editor       = {Guoyin Wang and
                  Qing Liu and
                  Yiyu Yao and
                  Andrzej Skowron},
  title        = {Query Answering in Rough Knowledge Bases},
  booktitle    = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International
                  Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2639},
  pages        = {197--204},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-39205-X\_25},
  doi          = {10.1007/3-540-39205-X\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rsfdgrc/VitoriaDM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maluszynski03,
  author       = {Jan Maluszynski},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {On integrating rules into the Semantic Web},
  booktitle    = {12th International Workshop on Functional and Constraint Logic Programming,
                  {WFLP} 2003, in connection with RDP'03, Federated Conference on Rewriting,
                  Deduction and Programming, Boulder, Colorado, USA, July 14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {86},
  number       = {3},
  pages        = {1--11},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80689-3},
  doi          = {10.1016/S1571-0661(04)80689-3},
  timestamp    = {Wed, 07 Dec 2022 09:18:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Maluszynski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppswr/2003,
  editor       = {Fran{\c{c}}ois Bry and
                  Nicola Henze and
                  Jan Maluszynski},
  title        = {Principles and Practice of Semantic Web Reasoning, International Workshop,
                  {PPSWR} 2003, Mumbai, India, December 8, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2901},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b94439},
  doi          = {10.1007/B94439},
  isbn         = {3-540-20582-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/SzilagyiGM02,
  author       = {Gy{\"{o}}ngyi Szil{\'{a}}gyi and
                  Tibor Gyim{\'{o}}thy and
                  Jan Maluszynski},
  title        = {Static and Dynamic Slicing of Constraint Logic Programs},
  journal      = {Autom. Softw. Eng.},
  volume       = {9},
  number       = {1},
  pages        = {41--65},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1013280119003},
  doi          = {10.1023/A:1013280119003},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ase/SzilagyiGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DrabentMP02,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski and
                  Pawel Pietrzak},
  title        = {Using parametric set constraints for locating errors in {CLP} programs},
  journal      = {Theory Pract. Log. Program.},
  volume       = {2},
  number       = {4-5},
  pages        = {549--610},
  year         = {2002},
  url          = {https://doi.org/10.1017/S1471068402001473},
  doi          = {10.1017/S1471068402001473},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/DrabentMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/MaluszynskiV02,
  author       = {Jan Maluszynski and
                  Aida Vit{\'{o}}ria},
  editor       = {Hendrik Decker and
                  J{\o}rgen Villadsen and
                  Toshiharu Waragai},
  title        = {Defining Rough Sets by Extended Logic Programs},
  booktitle    = {Paraconsistent Computational Logic, This proceedings volume contains
                  the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
                  Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
                  Logic Conference (FLoC)},
  series       = {Datalogiske Skrifter},
  volume       = {95},
  pages        = {81--90},
  publisher    = {Roskilde University, Roskilde, Denmark},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0207089},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pcl/MaluszynskiV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/VitoriaM02,
  author       = {Aida Vit{\'{o}}ria and
                  Jan Maluszynski},
  editor       = {James J. Alpigini and
                  James F. Peters and
                  Jacek Skowronek and
                  Ning Zhong},
  title        = {A Logic Programming Framework for Rough Sets},
  booktitle    = {Rough Sets and Current Trends in Computing, Third International Conference,
                  {RSCTC} 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2475},
  pages        = {205--212},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45813-1\_26},
  doi          = {10.1007/3-540-45813-1\_26},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rsctc/VitoriaM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0202010,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski and
                  Pawel Pietrzak},
  title        = {Using parametric set constraints for locating errors in {CLP} programs},
  journal      = {CoRR},
  volume       = {cs.PL/0202010},
  year         = {2002},
  url          = {https://arxiv.org/abs/cs/0202010},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0202010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DrabentMP01,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski and
                  Pawel Pietrzak},
  editor       = {Philippe Codognet},
  title        = {Parametric Descriptive Types for {CLP}},
  booktitle    = {Programmation en logique avec contraintes, Actes des JFPLC'2001, 24
                  avril - 27 avril 2001, Cit{\'{e}} des sciences et de l'industrie,
                  Paris, France},
  pages        = {239--256},
  publisher    = {Hermes},
  year         = {2001},
  timestamp    = {Sat, 23 Jun 2018 18:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DrabentMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/SzilagyiGM00,
  author       = {Gy{\"{o}}ngyi Szil{\'{a}}gyi and
                  Tibor Gyim{\'{o}}thy and
                  Jan Maluszynski},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Slicing of Constraint Logic Programs},
  booktitle    = {Proceedings of the Fourth International Workshop on Automated Debugging,
                  {AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0012014},
  timestamp    = {Thu, 09 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aadebug/SzilagyiGM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DeransartHM00,
  author       = {Pierre Deransart and
                  Manuel V. Hermenegildo and
                  Jan Maluszynski},
  editor       = {Pierre Deransart and
                  Manuel V. Hermenegildo and
                  Jan Maluszynski},
  title        = {Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
                  - Introduction},
  booktitle    = {Analysis and Visualization Tools for Constraint Programming, Constrain
                  Debugging (DiSCiPl project)},
  series       = {Lecture Notes in Computer Science},
  volume       = {1870},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722311\_1},
  doi          = {10.1007/10722311\_1},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/discipl/DeransartHM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DrabentMP00,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski and
                  Pawel Pietrzak},
  editor       = {Pierre Deransart and
                  Manuel V. Hermenegildo and
                  Jan Maluszynski},
  title        = {Locating Type Errors in Untyped {CLP} Programs},
  booktitle    = {Analysis and Visualization Tools for Constraint Programming, Constrain
                  Debugging (DiSCiPl project)},
  series       = {Lecture Notes in Computer Science},
  volume       = {1870},
  pages        = {121--150},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722311\_5},
  doi          = {10.1007/10722311\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discipl/DrabentMP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/discipl/2000,
  editor       = {Pierre Deransart and
                  Manuel V. Hermenegildo and
                  Jan Maluszynski},
  title        = {Analysis and Visualization Tools for Constraint Programming, Constrain
                  Debugging (DiSCiPl project)},
  series       = {Lecture Notes in Computer Science},
  volume       = {1870},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722311},
  doi          = {10.1007/10722311},
  isbn         = {3-540-41137-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/discipl/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DrabentMP99,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski and
                  Pawel Pietrzak},
  editor       = {Mireille Ducass{\'{e}} and
                  Anthony J. Kusalik and
                  Germ{\'{a}}n Puebla},
  title        = {Type-based Diagnosis of {CLP} Programs},
  booktitle    = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
                  connection with the International Conference on Logic Programming,
                  {ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {30},
  number       = {4},
  pages        = {215--234},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80659-0},
  doi          = {10.1016/S1571-0661(05)80659-0},
  timestamp    = {Wed, 23 Nov 2022 16:44:13 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DrabentMP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BoyeM97,
  author       = {Johan Boye and
                  Jan Maluszynski},
  title        = {Directional Types and the Annotation Method},
  journal      = {J. Log. Program.},
  volume       = {33},
  number       = {3},
  pages        = {179--220},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00144-6},
  doi          = {10.1016/S0743-1066(96)00144-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BoyeM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BoyeDM97,
  author       = {Johan Boye and
                  Wlodzimierz Drabent and
                  Jan Maluszynski},
  editor       = {Mariam Kamkar},
  title        = {Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach},
  booktitle    = {Proceedings of the Third International Workshop on Automated Debugging,
                  {AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
  series       = {Link{\"{o}}ping Electronic Articles in Computer and Information
                  Science},
  volume       = {2},
  number       = {009},
  pages        = {123--140},
  publisher    = {Link{\"{o}}ping University Electronic Press},
  year         = {1997},
  url          = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=011},
  timestamp    = {Sat, 07 Sep 2019 11:59:26 +0200},
  biburl       = {https://dblp.org/rec/conf/aadebug/BoyeDM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BuenoDDFHMP97,
  author       = {Francisco Bueno and
                  Pierre Deransart and
                  Wlodzimierz Drabent and
                  G{\'{e}}rard Ferrand and
                  Manuel V. Hermenegildo and
                  Jan Maluszynski and
                  Germ{\'{a}}n Puebla},
  editor       = {Mariam Kamkar},
  title        = {On the Role of Semantic Approximations on Validation and Diagnosis
                  of Contraint Logic Programs},
  booktitle    = {Proceedings of the Third International Workshop on Automated Debugging,
                  {AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
  series       = {Link{\"{o}}ping Electronic Articles in Computer and Information
                  Science},
  volume       = {2},
  number       = {009},
  pages        = {155--169},
  publisher    = {Link{\"{o}}ping University Electronic Press},
  year         = {1997},
  url          = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=013},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aadebug/BuenoDDFHMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1997,
  editor       = {Jan Maluszynski},
  title        = {Logic Programming, Proceedings of the 1997 International Symposium,
                  Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  publisher    = {{MIT} Press},
  year         = {1997},
  isbn         = {0-262-63180-6},
  timestamp    = {Fri, 10 Jul 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/ChambreDM96,
  author       = {Pascal Chambre and
                  Pierre Deransart and
                  Jan Maluszynski},
  editor       = {Jean{-}Louis Imbert},
  title        = {Une m{\'{e}}thode de preuve pour programmes concurrents avec
                  contraintes sous forme clausale},
  booktitle    = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
                  France},
  pages        = {115--130},
  publisher    = {Hermes},
  year         = {1996},
  timestamp    = {Thu, 27 May 2004 08:56:54 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/ChambreDM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoyeM95,
  author       = {Johan Boye and
                  Jan Maluszynski},
  editor       = {Leon Sterling},
  title        = {Two Aspects of Directional Types},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {747--761},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BoyeM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0013611,
  author       = {Pierre Deransart and
                  Jan Maluszynski},
  title        = {A grammatical view of logic programming},
  publisher    = {{MIT} Press},
  year         = {1993},
  isbn         = {978-0-262-04140-9},
  timestamp    = {Tue, 12 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0013611.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KuchcinskiDM93,
  author       = {Krzysztof Kuchcinski and
                  Wlodzimierz Drabent and
                  Jan Maluszynski},
  editor       = {Peter Fritszon},
  title        = {Automatic Diagnosis of {VLSI} Digital Circuits Using Algorithmic Debugging},
  booktitle    = {Automated and Algorithmic Debugging, First International Workshop,
                  AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {749},
  pages        = {350--367},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0019419},
  doi          = {10.1007/BFB0019419},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/aadebug/KuchcinskiDM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoyePM93,
  author       = {Johan Boye and
                  Jukka Paakki and
                  Jan Maluszynski},
  editor       = {Patrick Cousot and
                  Moreno Falaschi and
                  Gilberto Fil{\'{e}} and
                  Antoine Rauzy},
  title        = {Synthesis of Directionality Information for Functional Logic Programs},
  booktitle    = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
                  September 22-24, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {724},
  pages        = {165--177},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57264-3\_38},
  doi          = {10.1007/3-540-57264-3\_38},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BoyePM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LindstromMO92,
  author       = {Gary Lindstrom and
                  Jan Maluszynski and
                  Takeshi Ogi},
  editor       = {Maurice Bruynooghe and
                  Martin Wirsing},
  title        = {Our {LIPS} Are Sealed: Interfacing Functional and Logic Programming
                  Systems},
  booktitle    = {Programming Language Implementation and Logic Programming, 4th International
                  Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {631},
  pages        = {428--442},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55844-6\_152},
  doi          = {10.1007/3-540-55844-6\_152},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/LindstromMO92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/Maluszynski91,
  author       = {Jan Maluszynski},
  editor       = {Henk Alblas and
                  Borivoj Melichar},
  title        = {Attribute Grammars and Logic Programs: {A} Comparison of Concepts},
  booktitle    = {Attribute Grammars, Applications and Systems, International Summer
                  School SAGA, Prague, Czechoslovakia, June 4-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {545},
  pages        = {330--357},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54572-7\_12},
  doi          = {10.1007/3-540-54572-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/saga/Maluszynski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/91,
  editor       = {Jan Maluszynski and
                  Martin Wirsing},
  title        = {Programming Language Implementation and Logic Programming, 3rd International
                  Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {528},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54444-5},
  doi          = {10.1007/3-540-54444-5},
  isbn         = {3-540-54444-5},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067951,
  author       = {Ulf Nilsson and
                  Jan Maluszynski},
  title        = {Logic, programming and Prolog},
  publisher    = {Wiley},
  year         = {1990},
  isbn         = {978-0-471-92625-2},
  timestamp    = {Tue, 03 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0067951.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1990,
  editor       = {Pierre Deransart and
                  Jan Maluszynski},
  title        = {Programming Language Implementation and Logic Programming, 2nd International
                  Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {456},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0024171},
  doi          = {10.1007/BFB0024171},
  isbn         = {3-540-53010-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MaluszynskiN89,
  author       = {Jan Maluszynski and
                  Torbj{\"{o}}rn N{\"{a}}slund},
  editor       = {Ewing L. Lusk and
                  Ross A. Overbeek},
  title        = {Fail Substitutions for Negation as Failure},
  booktitle    = {Logic Programming, Proceedings of the North American Conference 1989,
                  Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
  pages        = {461--476},
  publisher    = {{MIT} Press},
  year         = {1989},
  timestamp    = {Wed, 04 Dec 2013 14:43:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/MaluszynskiN89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1988,
  editor       = {Pierre Deransart and
                  Bernard Lorho and
                  Jan Maluszynski},
  title        = {Programming Language Implementation and Logic Programming, 1st International
                  Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {348},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-50820-1},
  doi          = {10.1007/3-540-50820-1},
  isbn         = {3-540-50820-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/1988.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LeszcylowskiBM88,
  author       = {Jacek Leszczylowski and
                  Staffan Bonnier and
                  Jan Maluszynski},
  title        = {Logic Programming with External Procedures: Introducing S-Unification},
  journal      = {Inf. Process. Lett.},
  volume       = {27},
  number       = {3},
  pages        = {159--165},
  year         = {1988},
  url          = {https://doi.org/10.1016/0020-0190(88)90072-5},
  doi          = {10.1016/0020-0190(88)90072-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/LeszcylowskiBM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DrabentM88,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski},
  title        = {Inductive Assertion Method for Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {59},
  pages        = {133--155},
  year         = {1988},
  url          = {https://doi.org/10.1016/0304-3975(88)90099-0},
  doi          = {10.1016/0304-3975(88)90099-0},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DrabentM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/DrabentNM88,
  author       = {Wlodzimierz Drabent and
                  Simin Nadjm{-}Tehrani and
                  Jan Maluszynski},
  title        = {The Use of Assertions in Algorithmic Debugging},
  booktitle    = {Proceedings of the International Conference on Fifth Generation Computer
                  Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
  pages        = {573--581},
  publisher    = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
  year         = {1988},
  timestamp    = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/fgcs/DrabentNM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BonnierM88,
  author       = {Staffan Bonnier and
                  Jan Maluszynski},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Towards a Clean Amalgamation of Logic Programs with External Procedures},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {311--326},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Sat, 23 Jun 2018 18:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BonnierM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/DrabentNM88,
  author       = {Wlodzimierz Drabent and
                  Simin Nadjm{-}Tehrani and
                  Jan Maluszynski},
  editor       = {Harvey Abramson and
                  M. H. Rogers},
  title        = {Algorithmic Debugging with Assertions},
  booktitle    = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
                  in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
  pages        = {501--521},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 17:09:12 +0200},
  biburl       = {https://dblp.org/rec/conf/meta/DrabentNM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BonnierM88,
  author       = {Staffan Bonnier and
                  Jan Maluszynski},
  editor       = {Pierre Deransart and
                  Bernard Lorho and
                  Jan Maluszynski},
  title        = {Towards a Clean Amalgamation of Logic Programs with External Procedures},
  booktitle    = {Programming Language Implementation and Logic Programming, 1st International
                  Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {348},
  pages        = {20--34},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50820-1\_38},
  doi          = {10.1007/3-540-50820-1\_38},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/BonnierM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DeransartM88,
  author       = {Pierre Deransart and
                  Jan Maluszynski},
  editor       = {Pierre Deransart and
                  Bernard Lorho and
                  Jan Maluszynski},
  title        = {A Grammatical View of Logic Programming},
  booktitle    = {Programming Language Implementation and Logic Programming, 1st International
                  Workshop PLILP'88, Orl{\'{e}}ans, France, May 16-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {348},
  pages        = {219--251},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50820-1\_50},
  doi          = {10.1007/3-540-50820-1\_50},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/DeransartM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KomorowskiM87,
  author       = {Henryk Jan Komorowski and
                  Jan Maluszynski},
  title        = {Logic Programming and Rapid Prototyping},
  journal      = {Sci. Comput. Program.},
  volume       = {9},
  number       = {2},
  pages        = {179--205},
  year         = {1987},
  url          = {https://doi.org/10.1016/0167-6423(87)90032-3},
  doi          = {10.1016/0167-6423(87)90032-3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KomorowskiM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DrabentM87,
  author       = {Wlodzimierz Drabent and
                  Jan Maluszynski},
  editor       = {Hartmut Ehrig and
                  Robert A. Kowalski and
                  Giorgio Levi and
                  Ugo Montanari},
  title        = {Inductive Assertion Method for Logic Programs},
  booktitle    = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
                  Volume 2: Advanced Seminar on Foundations of Innovative Software Development
                  {II} and Colloquium on Functional and Logic Programming and Specifications
                  {(CFLP)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {250},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0014980},
  doi          = {10.1007/BFB0014980},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/DrabentM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DeransartM85,
  author       = {Pierre Deransart and
                  Jan Maluszynski},
  title        = {Relating Logic Programs and Attribute Grammars},
  journal      = {J. Log. Program.},
  volume       = {2},
  number       = {2},
  pages        = {119--155},
  year         = {1985},
  url          = {https://doi.org/10.1016/0743-1066(85)90015-9},
  doi          = {10.1016/0743-1066(85)90015-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DeransartM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DembinskiM85,
  author       = {Piotr Dembinski and
                  Jan Maluszynski},
  title        = {AND-Parallelism with Intelligent Backtracking for Annotated Logic
                  Programs},
  booktitle    = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
                  USA, July 15-18, 1985},
  pages        = {29--38},
  publisher    = {{IEEE-CS}},
  year         = {1985},
  timestamp    = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/DembinskiM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MaluszynskiK85,
  author       = {Jan Maluszynski and
                  Henryk Jan Komorowski},
  title        = {Unification-Free Execution of Logic Programs},
  booktitle    = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
                  USA, July 15-18, 1985},
  pages        = {78--86},
  publisher    = {{IEEE-CS}},
  year         = {1985},
  timestamp    = {Wed, 04 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/MaluszynskiK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maluszynski84,
  author       = {Jan Maluszynski},
  title        = {Towards a Programming Language Based on the Notion of Two-Level Grammar},
  journal      = {Theor. Comput. Sci.},
  volume       = {28},
  pages        = {13--43},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(83)90064-6},
  doi          = {10.1016/0304-3975(83)90064-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Maluszynski84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DeransartM84,
  author       = {Pierre Deransart and
                  Jan Maluszynski},
  editor       = {Mehmet Dincbas},
  title        = {Mod{\'{e}}lisation du flot de donn{\'{e}}es par des sch{\'{e}}mas
                  d'attributs dans les programmes logiques},
  booktitle    = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril
                  1984, Plestin-les-Gr{\`{e}}ves, France},
  year         = {1984},
  timestamp    = {Mon, 06 Sep 2004 15:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/DeransartM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MuluszynskiN82,
  author       = {Jan Maluszynski and
                  J{\o}rgen Fischer Nilsson},
  title        = {Grammatical Unification},
  journal      = {Inf. Process. Lett.},
  volume       = {15},
  number       = {4},
  pages        = {150--158},
  year         = {1982},
  url          = {https://doi.org/10.1016/0020-0190(82)90096-5},
  doi          = {10.1016/0020-0190(82)90096-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MuluszynskiN82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MaluszynskiN82,
  author       = {Jan Maluszynski and
                  J{\o}rgen Fischer Nilsson},
  editor       = {Michel Van Caneghem},
  title        = {A Comparison of the Logic Programming Language Prolog with Two-levels
                  Grammars},
  booktitle    = {Proceedings of the First International Logic Programming Conference,
                  Facult{\'{e}} des Science de Luminy, ADDP-GIA, Marseille, France,
                  September, 14-17, 1982},
  pages        = {193--199},
  publisher    = {{ADDP-GIA}},
  year         = {1982},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MaluszynskiN82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DembinskiM79,
  author       = {Piotr Dembinski and
                  Jan Maluszynski},
  editor       = {Hermann A. Maurer},
  title        = {Two Level Grammars: CF-Grammars with Equation Schemes},
  booktitle    = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
                  July 16-20, 1979, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {71},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09510-1\_14},
  doi          = {10.1007/3-540-09510-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/DembinskiM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DembinskiM78,
  author       = {Piotr Dembinski and
                  Jan Maluszynski},
  editor       = {J{\'{o}}zef Winkowski},
  title        = {Attribute Grammars and Two-Level Grammars: {A} Unifying Approach},
  booktitle    = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
                  Symposium, Zakopane, Poland, September 4-8, 1978},
  series       = {Lecture Notes in Computer Science},
  volume       = {64},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {1978},
  url          = {https://doi.org/10.1007/3-540-08921-7\_63},
  doi          = {10.1007/3-540-08921-7\_63},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DembinskiM78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Maluszynski75,
  author       = {Jan Maluszynski},
  title        = {Regular Structures in Programming Languages},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {11},
  number       = {4-6},
  pages        = {290--295},
  year         = {1975},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Maluszynski75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maluszynski75,
  author       = {Jan Maluszynski},
  editor       = {Jir{\'{\i}} Becv{\'{a}}r},
  title        = {A Contribution to Error Recovery},
  booktitle    = {Mathematical Foundations of Computer Science 1975, 4th Symposium,
                  Mari{\'{a}}nsk{\'{e}} L{\'{a}}zne, Czechoslovakia,
                  September 1-5, 1975, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {32},
  pages        = {302--307},
  publisher    = {Springer},
  year         = {1975},
  url          = {https://doi.org/10.1007/3-540-07389-2\_212},
  doi          = {10.1007/3-540-07389-2\_212},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Maluszynski75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Maluszynski74,
  author       = {Jan Maluszynski},
  editor       = {Andrzej Blikle},
  title        = {Substring Languages},
  booktitle    = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
                  near Warsaw, Poland, June 17-22, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {28},
  pages        = {274--284},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-07162-8\_686},
  doi          = {10.1007/3-540-07162-8\_686},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Maluszynski74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Maluszynski73,
  author       = {Jan Maluszynski},
  editor       = {Karl{-}Heinz B{\"{o}}hling and
                  Klaus Indermark},
  title        = {Reduction goals in bottom-up recognition},
  booktitle    = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
                  Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2},
  pages        = {294--300},
  publisher    = {Springer},
  year         = {1973},
  url          = {https://doi.org/10.1007/BFb0039167},
  doi          = {10.1007/BFB0039167},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/automata/Maluszynski73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics