Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jan Maluszynski
@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} }
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.