Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Victor W. Marek
@article{DBLP:journals/ijar/KoczkodajMY21,
author = {Waldemar W. Koczkodaj and
Victor W. Marek and
Yusuf Yayli},
title = {Pairwise comparisons matrix decomposition into approximation and orthogonal
component using Lie theory},
journal = {Int. J. Approx. Reason.},
volume = {139},
pages = {201--210},
year = {2021},
url = {https://doi.org/10.1016/j.ijar.2021.09.009},
doi = {10.1016/J.IJAR.2021.09.009},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/KoczkodajMY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/KoczkodajLMMMMO20,
author = {Waldemar W. Koczkodaj and
Fang Liu and
Victor W. Marek and
Jir{\'{\i}} Mazurek and
Miroslaw Mazurek and
Ludmil Mikhailov and
Cenap {\"{O}}zel and
Witold Pedrycz and
Artur Przelaskowski and
Andrew Schumann and
Ryszard Smarzewski and
Dominik Strzalka and
Jacek Szybowski and
Yusuf Yayli},
title = {On the use of group theory to generalize elements of pairwise comparisons
matrix: {A} cautionary note},
journal = {Int. J. Approx. Reason.},
volume = {124},
pages = {59--65},
year = {2020},
url = {https://doi.org/10.1016/j.ijar.2020.05.008},
doi = {10.1016/J.IJAR.2020.05.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/KoczkodajLMMMMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CenzerMR20,
author = {Douglas Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
title = {On the complexity of index sets for finite predicate logic programs
which allow function symbols},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {107--156},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa005},
doi = {10.1093/LOGCOM/EXAA005},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CenzerMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Marek20,
author = {Victor W. Marek},
title = {Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland
AG, {ISBN} 978-3-030-24657-0},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {3},
pages = {432--434},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000034},
doi = {10.1017/S1471068420000034},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Marek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/BumgardnerHM18,
author = {Vernon K. Cody Bumgardner and
Caylin D. Hickey and
Victor W. Marek},
title = {Edge-enabled Distributed Network Measurement},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
pages = {524--529},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOMW.2018.8480233},
doi = {10.1109/PERCOMW.2018.8480233},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/BumgardnerHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/BumgardnerHM18a,
author = {Vernon K. Cody Bumgardner and
Caylin D. Hickey and
Victor W. Marek},
title = {An Edge-Focused Model for Distributed Streaming Data Applications},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
pages = {657--662},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOMW.2018.8480196},
doi = {10.1109/PERCOMW.2018.8480196},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/BumgardnerHM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HeuleKM17,
author = {Marijn J. H. Heule and
Oliver Kullmann and
Victor W. Marek},
editor = {Carles Sierra},
title = {Solving Very Hard Problems: Cube-and-Conquer, a Hybrid {SAT} Solving
Method},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4864--4868},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/683},
doi = {10.24963/IJCAI.2017/683},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HeuleKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/InclezanMM16,
author = {Daniela Inclezan and
Marco Maratea and
Victor W. Marek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {147},
number = {1},
pages = {v--vii},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1395},
doi = {10.3233/FI-2016-1395},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/InclezanMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Marek16,
author = {Victor W. Marek},
title = {\emph{All about Proofs, Proofs for All}, Bruno Woltzenlogel Paleo
and David Delahaye, Eds., College Publications, Series Mathematical
Logic and Foundations, vol. 55., 2015. Paperback, {ISBN} 978-1-84890-166-7,
vii + 240 pages},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {2},
pages = {236--241},
year = {2016},
url = {https://doi.org/10.1017/S1471068415000125},
doi = {10.1017/S1471068415000125},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Marek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/BumgardnerMH16,
author = {Vernon K. Cody Bumgardner and
Victor W. Marek and
Caylin D. Hickey},
title = {Cresco: {A} distributed agent-based edge computing framework},
booktitle = {12th International Conference on Network and Service Management, {CNSM}
2016, Montreal, QC, Canada, October 31 - Nov. 4, 2016},
pages = {400--405},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CNSM.2016.7818455},
doi = {10.1109/CNSM.2016.7818455},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cnsm/BumgardnerMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/Marek16,
author = {Victor W. Marek},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Working with Zdzislaw Pawlak - Personal Reminiscences},
booktitle = {Proceedings of the 2016 Federated Conference on Computer Science and
Information Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September
11-14, 2016},
series = {Annals of Computer Science and Information Systems},
volume = {8},
pages = {189--190},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.15439/2016F002},
doi = {10.15439/2016F002},
timestamp = {Mon, 07 Aug 2023 11:27:09 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/Marek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/BumgardnerMHN16,
author = {Vernon K. Cody Bumgardner and
Victor W. Marek and
Caylin D. Hickey and
Kanna Nandakumar},
title = {Constellation: {A} secure self-optimizing framework for genomic processing},
booktitle = {18th {IEEE} International Conference on e-Health Networking, Applications
and Services, Healthcom 2016, Munich, Germany, September 14-16, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HealthCom.2016.7749534},
doi = {10.1109/HEALTHCOM.2016.7749534},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/healthcom/BumgardnerMHN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerMR16,
author = {Douglas A. Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Index Sets for Finite Normal Predicate Logic Programs with Function
Symbols},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {60--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_5},
doi = {10.1007/978-3-319-27683-0\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/BumgardnerMH16,
author = {Vernon K. Cody Bumgardner and
Victor W. Marek and
Ray L. Hyatt},
editor = {Sema Oktug and
Mehmet Ulema and
Cicek Cavdar and
Lisandro Zambenedetti Granville and
Carlos Raniery Paula dos Santos},
title = {Collating time-series resource data for system-wide job profiling},
booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2016, Istanbul, Turkey, April 25-29, 2016},
pages = {1043--1048},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NOMS.2016.7502958},
doi = {10.1109/NOMS.2016.7502958},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/BumgardnerMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleKM16,
author = {Marijn J. H. Heule and
Oliver Kullmann and
Victor W. Marek},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Solving and Verifying the Boolean Pythagorean Triples Problem via
Cube-and-Conquer},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {228--245},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_15},
doi = {10.1007/978-3-319-40970-2\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeuleKM16,
author = {Marijn J. H. Heule and
Oliver Kullmann and
Victor W. Marek},
title = {Solving and Verifying the boolean Pythagorean Triples problem via
Cube-and-Conquer},
journal = {CoRR},
volume = {abs/1605.00723},
year = {2016},
url = {http://arxiv.org/abs/1605.00723},
eprinttype = {arXiv},
eprint = {1605.00723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeuleKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/WeaverRMMW14,
author = {Sean A. Weaver and
Katrina J. Ray and
Victor W. Marek and
Andrew J. Mayer and
Alden Walker},
title = {Satisfiability-based Set Membership Filters},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {8},
number = {3/4},
pages = {129--148},
year = {2014},
url = {https://doi.org/10.3233/sat190095},
doi = {10.3233/SAT190095},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/WeaverRMMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trs/MarekS14,
author = {Victor W. Marek and
Andrzej Skowron},
title = {Rough Sets and Matroids},
journal = {Trans. Rough Sets},
volume = {17},
pages = {74--81},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54756-0\_4},
doi = {10.1007/978-3-642-54756-0\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trs/MarekS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BumgardnerM14,
author = {Vernon K. C. Bumgardner and
Victor W. Marek},
editor = {Klaus{-}Dieter Lange and
John Murphy and
Walter Binder and
Jos{\'{e}} Merseguer},
title = {Scalable hybrid stream and hadoop network analysis system},
booktitle = {{ACM/SPEC} International Conference on Performance Engineering, ICPE'14,
Dublin, Ireland, March 22-26, 2014},
pages = {219--224},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568088.2568103},
doi = {10.1145/2568088.2568103},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/BumgardnerM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/isrl/SkowronCGMPPRSSTWWZ13,
author = {Andrzej Skowron and
Mihir K. Chakraborty and
Jerzy W. Grzymala{-}Busse and
Victor W. Marek and
Sankar K. Pal and
James F. Peters and
Grzegorz Rozenberg and
Dominik Slezak and
Roman Slowinski and
Shusaku Tsumoto and
Alicja Wakulicz{-}Deja and
Guoyin Wang and
Wojciech Ziarko},
editor = {Andrzej Skowron and
Zbigniew Suraj},
title = {Professor Zdzis{\l}aw Pawlak {(1926-2006):} Founder of the Polish
School of Artificial Intelligence},
booktitle = {Rough Sets and Intelligent Systems - Professor Zdzis{\l}aw Pawlak
in Memoriam - Volume 1},
series = {Intelligent Systems Reference Library},
volume = {42},
pages = {1--56},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-30344-9\_1},
doi = {10.1007/978-3-642-30344-9\_1},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/isrl/SkowronCGMPPRSSTWWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/isrl/Marek13,
author = {Victor W. Marek},
editor = {Andrzej Skowron and
Zbigniew Suraj},
title = {Zdzis{\l}aw Pawlak, Databases and Rough Sets},
booktitle = {Rough Sets and Intelligent Systems - Professor Zdzis{\l}aw Pawlak
in Memoriam - Volume 1},
series = {Intelligent Systems Reference Library},
volume = {42},
pages = {175--184},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-30344-9\_4},
doi = {10.1007/978-3-642-30344-9\_4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/isrl/Marek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6555,
author = {Douglas Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
title = {Index sets for Finite Normal Predicate Logic Programs},
journal = {CoRR},
volume = {abs/1303.6555},
year = {2013},
url = {http://arxiv.org/abs/1303.6555},
eprinttype = {arXiv},
eprint = {1303.6555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-6555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarekR12,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Disjunctive Programs with Set Constraints},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {471--486},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_32},
doi = {10.1007/978-3-642-30743-0\_32},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MarekR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OsorioM11,
author = {Mauricio Osorio and
Victor W. Marek},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {113},
number = {1},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-595},
doi = {10.3233/FI-2011-595},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OsorioM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR11,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {Guarded resolution for Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {111--123},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000062},
doi = {10.1017/S1471068410000062},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarekR11,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Effectively Reasoning about Infinite Sets in Answer Set Programming},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {131--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_9},
doi = {10.1007/978-3-642-20832-4\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MarekR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3278,
author = {Marc Denecker and
Victor W. Marek and
Miroslaw Truszczynski},
title = {Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a
Good One, Too},
journal = {CoRR},
volume = {abs/1108.3278},
year = {2011},
url = {http://arxiv.org/abs/1108.3278},
eprinttype = {arXiv},
eprint = {1108.3278},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3281,
author = {Victor W. Marek and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
title = {Origins of Answer-Set Programming - Some Background And Two Personal
Accounts},
journal = {CoRR},
volume = {abs/1108.3281},
year = {2011},
url = {http://arxiv.org/abs/1108.3281},
eprinttype = {arXiv},
eprint = {1108.3281},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {The complexity of recursive constraint satisfaction problems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {447--457},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.005},
doi = {10.1016/J.APAL.2009.07.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Automata and Answer Set Programming},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {323--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_22},
doi = {10.1007/978-3-540-92687-0\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-3953,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {Guarded resolution for answer set programming},
journal = {CoRR},
volume = {abs/0904.3953},
year = {2009},
url = {http://arxiv.org/abs/0904.3953},
eprinttype = {arXiv},
eprint = {0904.3953},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-3953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-0197,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {An Application of Proof-Theory in answer Set Programming},
journal = {CoRR},
volume = {abs/0905.0197},
year = {2009},
url = {http://arxiv.org/abs/0905.0197},
eprinttype = {arXiv},
eprint = {0905.0197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-0197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BlairMR08,
author = {Howard A. Blair and
Victor W. Marek and
Jeffrey B. Remmel},
title = {Set based logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {52},
number = {1},
pages = {81--105},
year = {2008},
url = {https://doi.org/10.1007/s10472-008-9098-1},
doi = {10.1007/S10472-008-9098-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BlairMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekNT08,
author = {Victor W. Marek and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
title = {Logic programs with monotone abstract constraint atoms},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {2},
pages = {167--199},
year = {2008},
url = {https://doi.org/10.1017/S147106840700302X},
doi = {10.1017/S147106840700302X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekNT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trs/MarekT08,
author = {Victor W. Marek and
Miroslaw Truszczynski},
title = {Approximation Schemes in Logic and Artificial Intelligence},
journal = {Trans. Rough Sets},
volume = {9},
pages = {135--144},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89876-4\_8},
doi = {10.1007/978-3-540-89876-4\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trs/MarekT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Marek08,
author = {Victor W. Marek},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Quo Vadis Answer Set Programming?},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {83--87},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_14},
doi = {10.1007/978-3-540-89982-2\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Marek08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekR08,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {On the Continuity of Gelfond-Lifschitz Operator and Other Applications
of Proof-Theory in {ASP}},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {223--237},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_25},
doi = {10.1007/978-3-540-89982-2\_25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarekR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekR07,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {Compactness Properties for Stable Semantics of Logic Programs},
journal = {Fundam. Informaticae},
volume = {81},
number = {1-3},
pages = {211--239},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-1-3-14},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Marek07,
author = {Victor W. Marek},
title = {Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific,
Hardback: {ISBN} 981-256-101-3, xiv + 408 pages},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {499--503},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002766},
doi = {10.1017/S1471068406002766},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Marek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trs/Marek07,
author = {Victor W. Marek},
title = {Characterizing Pawlak's Approximation Operators},
journal = {Trans. Rough Sets},
volume = {7},
pages = {140--150},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71663-1\_9},
doi = {10.1007/978-3-540-71663-1\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trs/Marek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR07,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compactness Properties for Stable Semantics of Logic Programs},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {379--400},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_27},
doi = {10.1007/978-3-540-72734-7\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rseisp/MarekT07,
author = {Victor W. Marek and
Miroslaw Truszczynski},
editor = {Marzena Kryszkiewicz and
James F. Peters and
Henryk Rybinski and
Andrzej Skowron},
title = {Rough Sets and Approximation Schemes},
booktitle = {Rough Sets and Intelligent Systems Paradigms, International Conference,
{RSEISP} 2007, Warsaw, Poland, June 28-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4585},
pages = {22--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73451-2\_4},
doi = {10.1007/978-3-540-73451-2\_4},
timestamp = {Thu, 14 Oct 2021 09:56:22 +0200},
biburl = {https://dblp.org/rec/conf/rseisp/MarekT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/trs/2007-7,
editor = {James F. Peters and
Andrzej Skowron and
Victor W. Marek and
Ewa Orlowska and
Roman Slowinski and
Wojciech Ziarko},
title = {Transactions on Rough Sets VII, Commemorating the Life and Work of
Zdzislaw Pawlak, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4400},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71663-1},
doi = {10.1007/978-3-540-71663-1},
isbn = {978-3-540-71662-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trs/2007-7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/TruszczynskiMF06,
author = {Miroslaw Truszczynski and
V. Wiktor Marek and
Raphael A. Finkel},
editor = {Hamid R. Arabnia},
title = {Generating Cellular Puzzles with Logic Programs},
booktitle = {Proceedings of the 2006 International Conference on Artificial Intelligence,
{ICAI} 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2},
pages = {403--407},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Fri, 06 Feb 2009 14:11:00 +0100},
biburl = {https://dblp.org/rec/conf/icai/TruszczynskiMF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608103,
author = {Victor W. Marek and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
title = {Logic programs with monotone abstract constraint atoms},
journal = {CoRR},
volume = {abs/cs/0608103},
year = {2006},
url = {http://arxiv.org/abs/cs/0608103},
eprinttype = {arXiv},
eprint = {cs/0608103},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CenzerRM05,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel and
Victor W. Marek},
title = {Logic programming with infinite sets},
journal = {Ann. Math. Artif. Intell.},
volume = {44},
number = {4},
pages = {309--339},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-7030-5},
doi = {10.1007/S10472-005-7030-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CenzerRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BoyerLM05,
author = {Robert S. Boyer and
Wilfred J. Legato and
Victor W. Marek},
title = {Toward Automating the Discovery of Decreasing Measures},
journal = {J. Autom. Reason.},
volume = {35},
number = {4},
pages = {355--371},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9020-z},
doi = {10.1007/S10817-005-9020-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BoyerLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekPT05,
author = {Victor W. Marek and
Inna Pivkina and
Miroslaw Truszczynski},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Approximating Answer Sets of Unitary Lifschitz-Woo Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {66--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_6},
doi = {10.1007/11546207\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MarekR05,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Torsten Schaub and
Miroslaw Truszczynski},
title = {Normal Form Theorem for Logic Programs with Cardinality Constraints},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/259},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MarekR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RemmelM05,
author = {Jeffrey B. Remmel and
Victor W. Marek},
editor = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Torsten Schaub and
Miroslaw Truszczynski},
title = {Set Based Logic Programming},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/266},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RemmelM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DransfieldLMT04,
author = {Michael R. Dransfield and
Lengning Liu and
Victor W. Marek and
Miroslaw Truszczynski},
title = {Satisfiability and Computing van der Waerden Numbers},
journal = {Electron. J. Comb.},
volume = {11},
number = {1},
year = {2004},
url = {https://doi.org/10.37236/1794},
doi = {10.37236/1794},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/DransfieldLMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DeneckerMT04,
author = {Marc Denecker and
Victor W. Marek and
Miroslaw Truszczynski},
title = {Ultimate approximation and its application in nonmonotonic knowledge
representation systems},
journal = {Inf. Comput.},
volume = {192},
number = {1},
pages = {84--121},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.02.004},
doi = {10.1016/J.IC.2004.02.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DeneckerMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/FinkelMT04,
author = {Raphael A. Finkel and
Victor W. Marek and
Miroslaw Truszczynski},
title = {Constraint Lingo: towards high-level constraint programming},
journal = {Softw. Pract. Exp.},
volume = {34},
number = {15},
pages = {1481--1504},
year = {2004},
url = {https://doi.org/10.1002/spe.623},
doi = {10.1002/SPE.623},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/FinkelMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MarekT04,
author = {Victor W. Marek and
Miroslaw Truszczynski},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Logic Programs with Abstract Constraint Atoms},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {86--91},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-014.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MarekT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/PonnuruFMT04,
author = {Hemantha Ponnuru and
Raphael A. Finkel and
Victor W. Marek and
Miroslaw Truszczynski},
editor = {Hamid R. Arabnia},
title = {Automatic Generation of English-language Steps in Puzzle Solving},
booktitle = {Proceedings of the International Conference on Artificial Intelligence,
{IC-AI} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1},
pages = {437--442},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 14:58:57 +0100},
biburl = {https://dblp.org/rec/conf/icai/PonnuruFMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/CenzerMR04,
author = {Douglas Cenzer and
V. Wiktor Marek and
Jeffrey B. Remmel},
title = {Using Logic Programs to Reason about Infinite Sets},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2004, Fort Lauderdale, Florida, USA, January 4-6, 2004},
year = {2004},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath04/AcceptedPapers/Cenzer-aimath04.pdf},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/CenzerMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekNT04,
author = {V. Wiktor Marek and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Logic Programs With Monotone Cardinality Atoms},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {154--166},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_15},
doi = {10.1007/978-3-540-24609-1\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekR04,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Set Constraints in Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {167--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_16},
doi = {10.1007/978-3-540-24609-1\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR04,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Answer set programming with default logic},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {276--284},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper36.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/MarekR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DeneckerMT03,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Uniform semantic treatment of default and autoepistemic logics},
journal = {Artif. Intell.},
volume = {143},
number = {1},
pages = {79--122},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00293-X},
doi = {10.1016/S0004-3702(02)00293-X},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DeneckerMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR03,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {On the expressibility of stable logic programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {551--567},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001777},
doi = {10.1017/S1471068403001777},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DransfieldMT03,
author = {Michael R. Dransfield and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Satisfiability and Computing van der Waerden Numbers},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {1--13},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_1},
doi = {10.1007/978-3-540-24605-3\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/DransfieldMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312053,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {On the Expressibility of Stable Logic Programming},
journal = {CoRR},
volume = {cs.AI/0312053},
year = {2003},
url = {http://arxiv.org/abs/cs/0312053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0312053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310063,
author = {V. Wiktor Marek and
Ilkka Niemel{\"{a}} and
Miroslaw Truszczynski},
title = {Logic programs with monotone cardinality atoms},
journal = {CoRR},
volume = {cs.LO/0310063},
year = {2003},
url = {http://arxiv.org/abs/cs/0310063},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0310063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310064,
author = {Michael R. Dransfield and
V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Satisfiability and computing van der Waerden numbers},
journal = {CoRR},
volume = {cs.LO/0310064},
year = {2003},
url = {http://arxiv.org/abs/cs/0310064},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0310064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MarekPT02,
author = {V. Wiktor Marek and
Inna Pivkina and
Miroslaw Truszczynski},
title = {Annotated revision programs},
journal = {Artif. Intell.},
volume = {138},
number = {1-2},
pages = {149--180},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00184-4},
doi = {10.1016/S0004-3702(02)00184-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MarekPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FinkelMT02,
author = {Raphael A. Finkel and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Constraint Lingo: {A} Program for Solving Logic Puzzles and Other
Tabular Constraint Problems},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {513--516},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_44},
doi = {10.1007/3-540-45757-7\_44},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FinkelMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DeneckerMT02,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Ultimate Approximations in Nonmonotonic Knowledge Representation Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {177--190},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/DeneckerMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR02,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {On logic programs with cardinality constraints},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {219--228},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/MarekR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0205014,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Ultimate approximations in nonmonotonic knowledge representation systems},
journal = {CoRR},
volume = {cs.AI/0205014},
year = {2002},
url = {https://arxiv.org/abs/cs/0205014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0205014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/EngelfrietMTT01,
author = {Joeri Engelfriet and
V. Wiktor Marek and
Jan Treur and
Miroslaw Truszczynski},
title = {Default logic and specification of nonmonotonic reasoning},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {13},
number = {2},
pages = {99--112},
year = {2001},
url = {https://doi.org/10.1080/09528130117278},
doi = {10.1080/09528130117278},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jetai/EngelfrietMTT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/MarekM01,
author = {V. Wiktor Marek and
Jan Mycielski},
title = {Foundations of Mathematics in the Twentieth Century},
journal = {Am. Math. Mon.},
volume = {108},
number = {5},
pages = {449--468},
year = {2001},
url = {http://www.jstor.org/stable/2695803},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/MarekM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DeneckerBM01,
author = {Marc Denecker and
Maurice Bruynooghe and
V. Wiktor Marek},
title = {Logic programming revisited: Logic programs as inductive definitions},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {4},
pages = {623--654},
year = {2001},
url = {https://doi.org/10.1145/383779.383789},
doi = {10.1145/383779.383789},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/DeneckerBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/FinkelMMT01,
author = {Raphael A. Finkel and
Victor W. Marek and
Neil Moore and
Miroslaw Truszczynski},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Computing stable models in parallel},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/18.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/FinkelMMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/FinkelMT01,
author = {Raphael A. Finkel and
Victor W. Marek and
Miroslaw Truszczynski},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Tabular Constraint-Satisfaction Problems and Answer Set Programming},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/17.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/FinkelMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/MarekR01,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {On the Foundations of Answer Set Programming},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/15.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/MarekR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekR01,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Expressibility of Stable Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {107--120},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_8},
doi = {10.1007/3-540-45402-0\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0107026,
author = {V. Wiktor Marek and
Inna Pivkina and
Miroslaw Truszczynski},
title = {Annotated revision programs},
journal = {CoRR},
volume = {cs.AI/0107026},
year = {2001},
url = {https://arxiv.org/abs/cs/0107026},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0107026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DeneckerMT00,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Uniform semantic treatment of default and autoepistemic logic},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {74--84},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/DeneckerMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0002002,
author = {Marc Denecker and
Victor W. Marek and
Miroslaw Truszczynski},
title = {Uniform semantic treatment of default and autoepistemic logics},
journal = {CoRR},
volume = {cs.AI/0002002},
year = {2000},
url = {https://arxiv.org/abs/cs/0002002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0002002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CholewinskiMTM99,
author = {Pawel Cholewinski and
V. Wiktor Marek and
Miroslaw Truszczynski and
Artur Mikitiuk},
title = {Computing with Default Logic},
journal = {Artif. Intell.},
volume = {112},
number = {1-2},
pages = {105--146},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00053-3},
doi = {10.1016/S0004-3702(99)00053-3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CholewinskiMTM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR99,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Logic Programs, Well-Orderings, and Forward Chaining},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {231--276},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00041-4},
doi = {10.1016/S0168-0072(98)00041-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekT99,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Contributions to the Theory of Rough Sets},
journal = {Fundam. Informaticae},
volume = {39},
number = {4},
pages = {389--409},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-39404},
doi = {10.3233/FI-1999-39404},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekPT99,
author = {V. Wiktor Marek and
Inna Pivkina and
Miroslaw Truszczynski},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Annotated Revision Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {49--62},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_4},
doi = {10.1007/3-540-46767-X\_4},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekPT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MarekT99,
author = {Victor W. Marek and
Miroslaw Truszczynski},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Stable Models and an Alternative Logic Programming Paradigm},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {375--398},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_17},
doi = {10.1007/978-3-642-60085-2\_17},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MarekT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/99/AMTW1999,
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2},
doi = {10.1007/978-3-642-60085-2},
isbn = {978-3-642-64249-4},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/AMTW1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9901003,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Fixpoint 3-valued semantics for autoepistemic logic},
journal = {CoRR},
volume = {cs.LO/9901003},
year = {1999},
url = {https://arxiv.org/abs/cs/9901003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9901003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9901016,
author = {V. Wiktor Marek and
Jan Treur and
Miroslaw Truszczynski},
title = {Representation Theory for Default Logic},
journal = {CoRR},
volume = {cs.LO/9901016},
year = {1999},
url = {https://arxiv.org/abs/cs/9901016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9901016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KoczkodajOM98,
author = {Waldemar W. Koczkodaj and
Marian Orlowski and
V. Wiktor Marek},
title = {Myths about Rough Set Theory},
journal = {Commun. {ACM}},
volume = {41},
number = {11},
pages = {102--103},
year = {1998},
url = {https://doi.org/10.1145/287831.287847},
doi = {10.1145/287831.287847},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KoczkodajOM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BurtonM98,
author = {Bradley F. Burton and
V. Wiktor Marek},
title = {Applications of the {JAVA} Programming Language to Database Management},
journal = {{SIGMOD} Rec.},
volume = {27},
number = {1},
pages = {27--34},
year = {1998},
url = {https://doi.org/10.1145/273244.273254},
doi = {10.1145/273244.273254},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BurtonM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarekT98,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Revision Programming},
journal = {Theor. Comput. Sci.},
volume = {190},
number = {2},
pages = {241--277},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00092-3},
doi = {10.1016/S0304-3975(97)00092-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarekT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DeneckerMT98,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Jack Mostow and
Chuck Rich},
title = {Fixpoint 3-Valued Semantics for Autoepistemic Logic},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {840--845},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-119.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DeneckerMT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/SumnerTM98,
author = {Walton Sumner and
Miroslaw Truszczynski and
Victor W. Marek},
title = {Simulating patients with Parallel Health State Networks},
booktitle = {{AMIA} 1998, American Medical Informatics Association Annual Symposium,
Lake Buena Vista, FL, USA, November 7-11, 1998},
publisher = {{AMIA}},
year = {1998},
url = {https://knowledge.amia.org/amia-55142-a1998a-1.588514/t-001-1.590475/f-001-1.590476/a-082-1.590789/a-083-1.590786},
timestamp = {Wed, 04 Aug 2021 11:13:06 +0200},
biburl = {https://dblp.org/rec/conf/amia/SumnerTM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MarekPT98,
author = {V. Wiktor Marek and
Inna Pivkina and
Miroslaw Truszczynski},
editor = {Georg Gottlob and
Etienne Grandjean and
Katrin Seyr},
title = {Revision Programming = Logic Programming + Integrity Constraints},
booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1584},
pages = {73--89},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/10703163\_6},
doi = {10.1007/10703163\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/MarekPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/MarekT98,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Lech Polkowski and
Andrzej Skowron},
title = {Rough Sets - What Are They About?},
booktitle = {Rough Sets and Current Trends in Computing, First International Conference,
RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1424},
pages = {24},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69115-4\_3},
doi = {10.1007/3-540-69115-4\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rsctc/MarekT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9809032,
author = {Victor W. Marek and
Miroslaw Truszczynski},
title = {Stable models and an alternative logic programming paradigm},
journal = {CoRR},
volume = {cs.LO/9809032},
year = {1998},
url = {https://arxiv.org/abs/cs/9809032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9809032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekTT97,
author = {V. Wiktor Marek and
Jan Treur and
Miroslaw Truszczynski},
title = {Representation Theory for Default Logic},
journal = {Ann. Math. Artif. Intell.},
volume = {21},
number = {2-4},
pages = {343--358},
year = {1997},
url = {https://doi.org/10.1023/A:1018977721624},
doi = {10.1023/A:1018977721624},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/MarekTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Nonmonotonic rule systems with recursive sets of restraints},
journal = {Arch. Math. Log.},
volume = {36},
number = {4-5},
pages = {339--384},
year = {1997},
url = {https://doi.org/10.1007/s001530050070},
doi = {10.1007/S001530050070},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Recursive Normal Default Logic},
journal = {Fundam. Informaticae},
volume = {32},
number = {2},
pages = {139--147},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-32203},
doi = {10.3233/FI-1997-32203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/OldhamMT97,
author = {Joseph D. Oldham and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {Intelligent Computation of Presentation Documents},
booktitle = {Foundations of Intelligent Systems, 10th International Symposium,
{ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1325},
pages = {560--569},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63614-5\_54},
doi = {10.1007/3-540-63614-5\_54},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/OldhamMT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Basic Forward Chaining Construction for Logic Programs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {214--225},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_22},
doi = {10.1007/3-540-63045-7\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DixGM96,
author = {J{\"{u}}rgen Dix and
Georg Gottlob and
V. Wiktor Marek},
title = {Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations},
journal = {Fundam. Informaticae},
volume = {28},
number = {1-2},
pages = {87--100},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-281205},
doi = {10.3233/FI-1996-281205},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DixGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/OldhamM96,
author = {Joseph D. Oldham and
V. Wiktor Marek},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Toward Intelligent Representation of Database Content},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {274--284},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_152},
doi = {10.1007/3-540-61286-6\_152},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/OldhamM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EngelfrietMTT96,
author = {Joeri Engelfriet and
V. Wiktor Marek and
Jan Treur and
Miroslaw Truszczynski},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira and
Ewa Orlowska},
title = {Infinitary Default Logic for Specification of Nonmonotonic Reasoning},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96,
{\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1126},
pages = {224--236},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61630-6\_15},
doi = {10.1007/3-540-61630-6\_15},
timestamp = {Sat, 19 Oct 2019 20:16:50 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EngelfrietMTT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CholewinskiMT96,
author = {Pawel Cholewinski and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Default Reasoning System DeReS},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {518--528},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CholewinskiMT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR96,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {On the Complexity of Abduction},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {513--522},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561468},
doi = {10.1109/LICS.1996.561468},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BlairMS95,
author = {Howard A. Blair and
V. Wiktor Marek and
John S. Schlipf},
title = {The Expressiveness of Locally Stratified Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {2},
pages = {209--229},
year = {1995},
url = {https://doi.org/10.1007/BF01534455},
doi = {10.1007/BF01534455},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BlairMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekRT95,
author = {V. Wiktor Marek and
Arcot Rajasekar and
Miroslaw Truszczynski},
title = {Complexity of Computing with Extended Propositional Logic Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {15},
number = {3-4},
pages = {357--378},
year = {1995},
url = {https://doi.org/10.1007/BF01536401},
doi = {10.1007/BF01536401},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/MarekT95,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {Revision Programming, Database Updates and Integrity Constraints},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {368--382},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_28},
doi = {10.1007/3-540-58907-4\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/MarekT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CholewinskiMMT95,
author = {Pawel Cholewinski and
V. Wiktor Marek and
Artur Mikitiuk and
Miroslaw Truszczynski},
editor = {Leon Sterling},
title = {Experimenting with Nonmonotonic Reasoning},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {267--281},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CholewinskiMMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Normal Default Logic and Related Modes of Nonmonotonic
Reasoning},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {178--185},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523255},
doi = {10.1109/LICS.1995.523255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {On Logical Constraints in Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {43--56},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_4},
doi = {10.1007/3-540-59487-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/BrooksMT95,
author = {William Brooks and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {John Murphy and
Brian Stone},
title = {Algorithms for Maintaining Authorization Bases},
booktitle = {Proceedings of the 1995 International Conference on Object Oriented
Information Systems, {OOIS} 1995, Dublin, Ireland, December 18-20,
1995},
pages = {99--110},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-1009-5\_10},
doi = {10.1007/978-1-4471-1009-5\_10},
timestamp = {Mon, 24 Jun 2019 15:47:45 +0200},
biburl = {https://dblp.org/rec/conf/oois/BrooksMT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1995,
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6},
doi = {10.1007/3-540-59487-6},
isbn = {3-540-59487-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic
Rule Systems},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {269--323},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90013-2},
doi = {10.1016/0168-0072(94)90013-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {The Stable Models of a Predicate Logic Program},
journal = {J. Log. Program.},
volume = {21},
number = {3},
pages = {129--153},
year = {1994},
timestamp = {Thu, 27 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/NerodeMS94,
author = {Anil Nerode and
Victor W. Marek and
V. S. Subrahmanian},
title = {Introduction},
journal = {Methods Log. Comput. Sci.},
volume = {1},
number = {1},
pages = {1--3},
year = {1994},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlcs/NerodeMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DixGM94,
author = {J{\"{u}}rgen Dix and
Georg Gottlob and
V. Wiktor Marek},
editor = {Pascal Van Hentenryck},
title = {Causal Models of Disjunctive Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {290--302},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DixGM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarekT94,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Revision Specifications by Means of Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {122--136},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021968},
doi = {10.1007/BFB0021968},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MarekT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Peter Z. Revesz and
Divesh Srivastava and
Peter J. Stuckey and
S. Sudarshan},
title = {On Logical Constraints in Logic Programming},
booktitle = {{ILPS} 1994, Workshop 2: Constraints and Databases, Ithaca, New York,
USA, November 17, 1994},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0001812,
author = {Victor W. Marek and
Miroslaw Truszczynski},
title = {Nonmonotonic logic - context-dependent reasoning},
series = {Artificial intelligence},
publisher = {Springer},
year = {1993},
url = {https://www.worldcat.org/oclc/28631634},
isbn = {978-3-540-56448-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0001812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MarekST93,
author = {V. Wiktor Marek and
Grigori F. Shvarts and
Miroslaw Truszczynski},
title = {Modal Nonmonotonic Logics: Ranges, Characterization, Computation},
journal = {J. {ACM}},
volume = {40},
number = {4},
pages = {963--990},
year = {1993},
url = {https://doi.org/10.1145/153724.153773},
doi = {10.1145/153724.153773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MarekST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/RasiowaM93,
author = {Helena Rasiowa and
V. Wiktor Marek},
title = {Mechanical Proof Systems for Logic II, Consensus Programs and Their
Processing},
journal = {J. Intell. Inf. Syst.},
volume = {2},
number = {2},
pages = {149--164},
year = {1993},
url = {https://doi.org/10.1007/BF00965875},
doi = {10.1007/BF00965875},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/RasiowaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/RasiowaM93,
author = {Helena Rasiowa and
V. Wiktor Marek},
editor = {Henryk Jan Komorowski and
Zbigniew W. Ras},
title = {Mechanical Proof Systems for Logic II, Consensus Programs and Their
Procedding (Extended Abstract)},
booktitle = {Methodologies for Intelligent Systems, 7th International Symposium,
{ISMIS} '93, Trondheim, Norway, June 15-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {689},
pages = {142--151},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56804-2\_14},
doi = {10.1007/3-540-56804-2\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/RasiowaM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Marek93,
author = {V. Wiktor Marek},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract)},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {61},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022552},
doi = {10.1007/BFB0022552},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Marek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekT93,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Reflective Autoepistemic Logic and Logic Programming},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {115--131},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {II}},
journal = {Ann. Math. Artif. Intell.},
volume = {5},
number = {2-4},
pages = {229--263},
year = {1992},
url = {https://doi.org/10.1007/BF01543477},
doi = {10.1007/BF01543477},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {How Complicated is the Set of Stable Models of a Recursive Logic Program?},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {119--135},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90069-C},
doi = {10.1016/0168-0072(92)90069-C},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekT92,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
title = {More on modal aspects of default logic},
journal = {Fundam. Informaticae},
volume = {17},
number = {1-2},
pages = {99--116},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FittingMT92,
author = {Melvin Fitting and
V. Wiktor Marek and
Miroslaw Truszczynski},
title = {The Pure Logic of Necessitation},
journal = {J. Log. Comput.},
volume = {2},
number = {3},
pages = {349--373},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.3.349},
doi = {10.1093/LOGCOM/2.3.349},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FittingMT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarekS92,
author = {V. Wiktor Marek and
V. S. Subrahmanian},
title = {The Relationship Between Stable, Supported, Default and Autoepistemic
Semantics for General Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {103},
number = {2},
pages = {365--386},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90019-C},
doi = {10.1016/0304-3975(92)90019-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarekS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92a,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Rule Systems and Well-Orderings},
booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
pages = {69--92},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekRT92,
author = {V. Wiktor Marek and
Arcot Rajasekar and
Miroslaw Truszczynski},
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Computing with Extended Propositional Logic Programs},
booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
pages = {93--102},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekRT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Krzysztof R. Apt},
title = {The Stable Models of a Predicate Logic Program},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {446--460},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1992w1,
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1992w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MarekT91,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Autoepistemic Logic},
journal = {J. {ACM}},
volume = {38},
number = {3},
pages = {588--619},
year = {1991},
url = {https://doi.org/10.1145/116825.116836},
doi = {10.1145/116825.116836},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MarekT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MarekST91,
author = {V. Wiktor Marek and
Grigori F. Shvarts and
Miroslaw Truszczynski},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Modal Nonmonotonic Logics: Ranges, Characterization, Computation},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {395--404},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/MarekST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekT91,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Computing Intersection of Autoepistemic Expansions},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {37--50},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/MarekT91,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Gerhard Brewka and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Normal Form Results for Default Logic},
booktitle = {Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn
Castle, Germany, December 2-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {659},
pages = {270--283},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0030398},
doi = {10.1007/BFB0030398},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/MarekT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1991,
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
publisher = {The {MIT} Press},
year = {1991},
isbn = {0-262-64027-9},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {I}},
journal = {Ann. Math. Artif. Intell.},
volume = {1},
pages = {241--273},
year = {1990},
url = {https://doi.org/10.1007/BF01531080},
doi = {10.1007/BF01531080},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekT90,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
title = {Modal Logic for Default Reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {1},
pages = {275--302},
year = {1990},
url = {https://doi.org/10.1007/BF01531081},
doi = {10.1007/BF01531081},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {79--94},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113736},
doi = {10.1109/LICS.1990.113736},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nil/MarekST90,
author = {V. Wiktor Marek and
Grigori Schwarz and
Miroslaw Truszczynski},
editor = {J{\"{u}}rgen Dix and
Klaus P. Jantke and
Peter H. Schmitt},
title = {Ranges of Strong Modal Nonmonotonic Logics},
booktitle = {Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe,
Germany, December 4-7, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {543},
pages = {85--99},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023319},
doi = {10.1007/BFB0023319},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/nil/MarekST90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1990,
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
year = {1990},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ZhangM89,
author = {Aidong Zhang and
V. Wiktor Marek},
editor = {Jo{\~{a}}o P. Martins and
Ernesto M. Morgado},
title = {On the Classification and Existence of Structures in Default Logic},
booktitle = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon,
Portugal, September 26-29, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {390},
pages = {129--140},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51665-4\_80},
doi = {10.1007/3-540-51665-4\_80},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/ZhangM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekS89,
author = {V. Wiktor Marek and
V. S. Subrahmanian},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {The Relationship Between Logic Program Semantics and Non-Monotonic
Reasoning},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {600--617},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MarekT89,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Relating Autoepistemic and Default Logics},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {276--288},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/MarekT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MarekT89,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Stable Semantics for Logic Programs and Default Theories},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {243--256},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MarekT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Marek88,
author = {V. Wiktor Marek},
title = {Book review: The Art of Prolog Advanced Programming Techniques by
L. Sterling and E. Shapiro (The {MIT} Press)},
journal = {{SIGART} Newsl.},
volume = {105},
pages = {12},
year = {1988},
url = {https://doi.org/10.1145/49093.1058125},
doi = {10.1145/49093.1058125},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Marek88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Marek88,
author = {V. Wiktor Marek},
title = {A Natural Semantics for Modal Logic Over Databases},
journal = {Theor. Comput. Sci.},
volume = {56},
pages = {187--209},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90077-1},
doi = {10.1016/0304-3975(88)90077-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Marek88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Marek87,
author = {V. Wiktor Marek},
title = {Book review: Combinatorics, Set Systems, Hypergraphs, Families of
Vectors and Combinatorial Probability by B. Bollobas (Cambridge University
Press)},
journal = {{SIGART} Newsl.},
volume = {101},
pages = {14},
year = {1987},
url = {https://doi.org/10.1145/29264.1057632},
doi = {10.1145/29264.1057632},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Marek87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/JaromczykM87,
author = {Jerzy W. Jaromczyk and
V. Wiktor Marek},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Investigating Logical Properties of the Rule-Based Expert Systems
Using Combinatorial and Geometrical Techniques {I}},
booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International
Symposium, Charlotte, North Carolina, USA, October 14-17, 1987},
pages = {96--106},
publisher = {North-Holland/Elsevier},
year = {1987},
timestamp = {Mon, 22 May 2017 09:57:27 +0200},
biburl = {https://dblp.org/rec/conf/ismis/JaromczykM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Marek86,
author = {V. Wiktor Marek},
title = {Executing Temporal Logic Programs by Ben Moszkowski},
journal = {{SIGART} Newsl.},
volume = {98},
pages = {15},
year = {1986},
url = {https://doi.org/10.1145/15923.1058025},
doi = {10.1145/15923.1058025},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Marek86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarekR86,
author = {V. Wiktor Marek and
Helena Rasiowa},
title = {Approximating Sets with Equivalence Relations},
journal = {Theor. Comput. Sci.},
volume = {48},
number = {3},
pages = {145--152},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90092-7},
doi = {10.1016/0304-3975(86)90092-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarekR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/Marek86,
author = {V. Wiktor Marek},
editor = {Larry Kerschberg},
title = {Completeness and Consistency in Knowledge Base Systems},
booktitle = {Expert Database Systems, Proceedings From the First International
Conference, Charleston, South Carolina, USA, April 1-4, 1986},
pages = {119--126},
publisher = {Benjamin/Cummings},
year = {1986},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/Marek86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/MarekR86,
author = {V. Wiktor Marek and
Helena Rasiowa},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Approximating sets with equivalence relations},
booktitle = {Proceedings of the {ACM} {SIGART} International Symposium on Methodologies
for Intelligent Systems, {ISMIS} 1986, Knoxville, Tennessee, USA,
October 22-24, 1986},
pages = {190--200},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/12808.12830},
doi = {10.1145/12808.12830},
timestamp = {Fri, 25 Mar 2022 14:23:58 +0100},
biburl = {https://dblp.org/rec/conf/ismis/MarekR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Marek84,
author = {V. Wiktor Marek},
title = {A Natural Semantics for Modal Logic over Databases and Model-Theoretic
Forcing},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {194--240},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Marek84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PriscoM82,
author = {Carlos A. Di Prisco and
V. Wiktor Marek},
title = {On Some {\(\sigma\)}-Algebras Containing the Projective Sets {I}},
journal = {Math. Log. Q.},
volume = {28},
number = {33-38},
pages = {525--538},
year = {1982},
url = {https://doi.org/10.1002/malq.19820283307},
doi = {10.1002/MALQ.19820283307},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PriscoM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LipskiM79,
author = {Witold Lipski Jr. and
V. Wiktor Marek},
title = {Information systems: on queries involving cardinalities},
journal = {Inf. Syst.},
volume = {4},
number = {1},
pages = {241--246},
year = {1979},
url = {https://doi.org/10.1016/0306-4379(79)90008-5},
doi = {10.1016/0306-4379(79)90008-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LipskiM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarekP76,
author = {V. Wiktor Marek and
Zdzislaw Pawlak},
title = {Information Storage and Retrieval Systems: Mathematical Foundations},
journal = {Theor. Comput. Sci.},
volume = {1},
number = {4},
pages = {331--354},
year = {1976},
url = {https://doi.org/10.1016/0304-3975(76)90077-3},
doi = {10.1016/0304-3975(76)90077-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarekP76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarekS75,
author = {V. Wiktor Marek and
M. Srebrny},
title = {No minimal transitive model of Z\({}^{\mbox{-}}\)},
journal = {Math. Log. Q.},
volume = {21},
number = {1},
pages = {225--228},
year = {1975},
url = {https://doi.org/10.1002/malq.19750210130},
doi = {10.1002/MALQ.19750210130},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MarekS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LipskiM74,
author = {Witold Lipski Jr. and
V. Wiktor Marek},
editor = {Jacques Loeckx},
title = {File Organization, An Application of Graph Theory},
booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of
Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14},
pages = {270--279},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06841-4\_66},
doi = {10.1007/3-540-06841-4\_66},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LipskiM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bapmam/MarekS73,
author = {V. Wiktor Marek and
M. Srebrny},
title = {On Transitive Models for Fragments of Set Theory},
journal = {Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys.},
volume = {21},
number = {5},
pages = {389--392},
year = {1973},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bapmam/MarekS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Marek73,
author = {Victor W. Marek},
title = {Observations Concerning Elementary Extensions of omega-Models. {II}},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {227--231},
year = {1973},
url = {https://doi.org/10.2307/2272059},
doi = {10.2307/2272059},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Marek73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-06 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
