Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vladimir Lifschitz
@article{DBLP:journals/tplp/Lifschitz23,
author = {Vladimir Lifschitz},
title = {On Program Completion, with an Application to the Sum and Product
Puzzle},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {664--677},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000224},
doi = {10.1017/S1471068423000224},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lifschitz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoHLLT23,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler and
Vladimir Lifschitz and
Nathan Temple},
title = {External Behavior of a Logic Program and Verification of Refactoring},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {933--947},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000200},
doi = {10.1017/S1471068423000200},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoHLLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Positive Dependency Graphs Revisited},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {5},
pages = {1128--1137},
year = {2023},
url = {https://doi.org/10.1017/s1471068422000333},
doi = {10.1017/S1471068422000333},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {On Heuer's Procedure for Verifying Strong Equivalence},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {253--261},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_18},
doi = {10.1007/978-3-031-43619-2\_18},
timestamp = {Thu, 28 Sep 2023 17:18:56 +0200},
biburl = {https://dblp.org/rec/conf/jelia/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FandinnoL23,
author = {Jorge Fandinno and
Vladimir Lifschitz},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Omega-Completeness of the Logic of Here-and-There and Strong Equivalence
of Logic Programs},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {240--251},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/24},
doi = {10.24963/KR.2023/24},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/FandinnoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15360,
author = {Vladimir Lifschitz},
title = {On Program Completion, with an Application to the Sum and Product
Puzzle},
journal = {CoRR},
volume = {abs/2305.15360},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15360},
doi = {10.48550/ARXIV.2305.15360},
eprinttype = {arXiv},
eprint = {2305.15360},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-17485,
author = {Jorge Fandinno and
Zachary Hansen and
Yuliya Lierler and
Vladimir Lifschitz and
Nathan Temple},
title = {External Behavior of a Logic Program and Verification of Refactoring},
journal = {CoRR},
volume = {abs/2305.17485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.17485},
doi = {10.48550/ARXIV.2305.17485},
eprinttype = {arXiv},
eprint = {2305.17485},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09166,
author = {Joohyung Lee and
Vladimir Lifschitz and
Ravi Palla},
title = {Safe Formulas in the General Theory of Stable Models},
journal = {CoRR},
volume = {abs/2307.09166},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09166},
doi = {10.48550/ARXIV.2307.09166},
eprinttype = {arXiv},
eprint = {2307.09166},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10227,
author = {Enrico Giunchiglia and
Joohyung Lee and
Vladimir Lifschitz and
Hudson Turner},
title = {Causal Laws and Multi-Valued Fluents},
journal = {CoRR},
volume = {abs/2307.10227},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10227},
doi = {10.48550/ARXIV.2307.10227},
eprinttype = {arXiv},
eprint = {2307.10227},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lifschitz22,
author = {Vladimir Lifschitz},
title = {Strong Equivalence of Logic Programs with Counting},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {4},
pages = {573--588},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000278},
doi = {10.1017/S1471068422000278},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Lifschitz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz22,
author = {Vladimir Lifschitz},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Translating Definitions into the Language of Logic Programming: {A}
Case Study},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/short1ASPOCP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lifschitz22,
author = {Vladimir Lifschitz},
editor = {Krzysztof R. Apt and
Tony Hoare},
title = {Calculational Proofs},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
series = {{ACM} Books},
volume = {45},
pages = {231--246},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2022},
url = {https://doi.org/10.1145/3544585.3544598},
doi = {10.1145/3544585.3544598},
timestamp = {Tue, 29 Aug 2023 07:46:41 +0200},
biburl = {https://dblp.org/rec/books/mc/22/Lifschitz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10789,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Verification of Locally Tight Programs},
journal = {CoRR},
volume = {abs/2204.10789},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10789},
doi = {10.48550/ARXIV.2204.10789},
eprinttype = {arXiv},
eprint = {2204.10789},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07783,
author = {Vladimir Lifschitz},
title = {Strong Equivalence of Logic Programs with Counting},
journal = {CoRR},
volume = {abs/2205.07783},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07783},
doi = {10.48550/ARXIV.2205.07783},
eprinttype = {arXiv},
eprint = {2205.07783},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08579,
author = {Jorge Fandinno and
Vladimir Lifschitz},
title = {Positive Dependency Graphs Revisited},
journal = {CoRR},
volume = {abs/2207.08579},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08579},
doi = {10.48550/ARXIV.2207.08579},
eprinttype = {arXiv},
eprint = {2207.08579},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lifschitz21,
author = {Vladimir Lifschitz},
title = {Here and There with Arithmetic},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {735--749},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000338},
doi = {10.1017/S1471068421000338},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lifschitz21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Lifschitz21,
author = {Vladimir Lifschitz},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Transforming Gringo Rules into Formulas in a Natural Way},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {421--434},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_28},
doi = {10.1007/978-3-030-75775-5\_28},
timestamp = {Wed, 12 May 2021 15:58:26 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Lifschitz21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03187,
author = {Vladimir Lifschitz},
title = {Here and There with Arithmetic},
journal = {CoRR},
volume = {abs/2108.03187},
year = {2021},
url = {https://arxiv.org/abs/2108.03187},
eprinttype = {arXiv},
eprint = {2108.03187},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLLS20,
author = {Jorge Fandinno and
Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
title = {Verifying Tight Logic Programs with anthem and vampire},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {735--750},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000344},
doi = {10.1017/S1471068420000344},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LifschitzLS20,
author = {Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
editor = {Andreas Blass and
Patrick C{\'{e}}gielski and
Nachum Dershowitz and
Manfred Droste and
Bernd Finkbeiner},
title = {Towards Verifying Logic Programs in the Input Language of clingo},
booktitle = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12180},
pages = {190--209},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48006-6\_14},
doi = {10.1007/978-3-030-48006-6\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LifschitzLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02025,
author = {Jorge Fandinno and
Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
title = {Verifying Tight Logic Programs with anthem and Vampire},
journal = {CoRR},
volume = {abs/2008.02025},
year = {2020},
url = {https://arxiv.org/abs/2008.02025},
eprinttype = {arXiv},
eprint = {2008.02025},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Lifschitz19,
author = {Vladimir Lifschitz},
title = {Answer Set Programming},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24658-7},
doi = {10.1007/978-3-030-24658-7},
isbn = {978-3-030-24657-0},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Lifschitz19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonL19,
author = {Amelia Harrison and
Vladimir Lifschitz},
title = {Relating Two Dialects of Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {1006--1020},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000322},
doi = {10.1017/S1471068419000322},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LifschitzLS19,
author = {Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
editor = {Marcello Balduccini and
Yuliya Lierler and
Stefan Woltran},
title = {Verifying Strong Equivalence of Programs in the Input Language of
gringo},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 15th International
Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11481},
pages = {270--283},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20528-7\_20},
doi = {10.1007/978-3-030-20528-7\_20},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LifschitzLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12139,
author = {Amelia Harrison and
Vladimir Lifschitz},
title = {Relating Two Dialects of Answer Set Programming},
journal = {CoRR},
volume = {abs/1907.12139},
year = {2019},
url = {http://arxiv.org/abs/1907.12139},
eprinttype = {arXiv},
eprint = {1907.12139},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/LifschitzSW18,
author = {Vladimir Lifschitz and
Torsten Schaub and
Stefan Woltran},
title = {Interview with Vladimir Lifschitz},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {213--218},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0552-x},
doi = {10.1007/S13218-018-0552-X},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/LifschitzSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00453,
author = {Vladimir Lifschitz and
Patrick L{\"{u}}hne and
Torsten Schaub},
title = {anthem: Transforming gringo Programs into First-Order Theories (Preliminary
Report)},
journal = {CoRR},
volume = {abs/1810.00453},
year = {2018},
url = {http://arxiv.org/abs/1810.00453},
eprinttype = {arXiv},
eprint = {1810.00453},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HarrisonLPV17,
author = {Amelia Harrison and
Vladimir Lifschitz and
David Pearce and
Agust{\'{\i}}n Valverde},
title = {Infinitary equilibrium logic and strongly equivalent logic programs},
journal = {Artif. Intell.},
volume = {246},
pages = {22--33},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.02.002},
doi = {10.1016/J.ARTINT.2017.02.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HarrisonLPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/FefermanL17,
author = {A. Burdman Feferman and
Vladimir Lifschitz},
title = {In Memoriam: Grigori E. Mints, 1939-2014},
journal = {{FLAP}},
volume = {4},
number = {4},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/FefermanL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/KhandelwalZSLTY17,
author = {Piyush Khandelwal and
Shiqi Zhang and
Jivko Sinapov and
Matteo Leonetti and
Jesse Thomason and
Fangkai Yang and
Ilaria Gori and
Maxwell Svetlik and
Priyanka Khante and
Vladimir Lifschitz and
J. K. Aggarwal and
Raymond J. Mooney and
Peter Stone},
title = {BWIBots: {A} platform for bridging the gap between {AI} and human-robot
interaction research},
journal = {Int. J. Robotics Res.},
volume = {36},
number = {5-7},
pages = {635--659},
year = {2017},
url = {https://doi.org/10.1177/0278364916688949},
doi = {10.1177/0278364916688949},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/KhandelwalZSLTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonLR17,
author = {Amelia Harrison and
Vladimir Lifschitz and
Dhananjay Raju},
title = {Program completion in the input language of {GRINGO}},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {855--871},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000394},
doi = {10.1017/S1471068417000394},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lifschitz17,
author = {Vladimir Lifschitz},
title = {Achievements in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {961--973},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000345},
doi = {10.1017/S1471068417000345},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lifschitz17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonLR17,
author = {Amelia Harrison and
Vladimir Lifschitz and
Dhananjay Raju},
title = {Program Completionin the Input Language of {GRINGO}},
journal = {CoRR},
volume = {abs/1707.05848},
year = {2017},
url = {http://arxiv.org/abs/1707.05848},
eprinttype = {arXiv},
eprint = {1707.05848},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Lifschitz16,
author = {Vladimir Lifschitz},
title = {Answer Sets and the Language of Answer Set Programming},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {7--12},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2670},
doi = {10.1609/AIMAG.V37I3.2670},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Lifschitz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonL16a,
author = {Amelia Harrison and
Vladimir Lifschitz},
title = {Stable models for infinitary formulas with extensional atoms},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {771--786},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000314},
doi = {10.1017/S1471068416000314},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonLM16,
author = {Amelia Harrison and
Vladimir Lifschitz and
Julian Michael},
title = {Proving infinitary formulas},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {787--799},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000302},
doi = {10.1017/S1471068416000302},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz16,
author = {Vladimir Lifschitz},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Intelligent Instantiation and Supersafe Rules},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {7:1--7:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.7},
doi = {10.4230/OASICS.ICLP.2016.7},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonL16,
author = {Amelia Harrison and
Vladimir Lifschitz},
title = {Stable Models for Infinitary Formulas with Extensional Atoms},
journal = {CoRR},
volume = {abs/1608.01603},
year = {2016},
url = {http://arxiv.org/abs/1608.01603},
eprinttype = {arXiv},
eprint = {1608.01603},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonLM16,
author = {Amelia Harrison and
Vladimir Lifschitz and
Julian Michael},
title = {Proving Infinitary Formulas},
journal = {CoRR},
volume = {abs/1608.01626},
year = {2016},
url = {http://arxiv.org/abs/1608.01626},
eprinttype = {arXiv},
eprint = {1608.01626},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lifschitz16,
author = {Vladimir Lifschitz},
title = {Achievements in Answer Set Programming (Preliminary Report)},
journal = {CoRR},
volume = {abs/1608.08144},
year = {2016},
url = {http://arxiv.org/abs/1608.08144},
eprinttype = {arXiv},
eprint = {1608.08144},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lifschitz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FefermanL15,
author = {Solomon Feferman and
Vladimir Lifschitz},
title = {In Memoriam: Grigori E. Mints 1939-2014},
journal = {Bull. Symb. Log.},
volume = {21},
number = {1},
pages = {31--33},
year = {2015},
url = {https://doi.org/10.1017/bsl.2015.1},
doi = {10.1017/BSL.2015.1},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/FefermanL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Lifschitz15,
author = {Vladimir Lifschitz},
title = {The Dramatic True Story of the Frame Default},
journal = {J. Philos. Log.},
volume = {44},
number = {2},
pages = {163--176},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9332-8},
doi = {10.1007/S10992-014-9332-8},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Lifschitz15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HarrisonLT15,
author = {Amelia Harrison and
Vladimir Lifschitz and
Miroslaw Truszczynski},
title = {On equivalence of infinitary formulas under the stable model semantics},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {1},
pages = {18--34},
year = {2015},
url = {https://doi.org/10.1017/S1471068414000088},
doi = {10.1017/S1471068414000088},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HarrisonLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserHKLS15,
author = {Martin Gebser and
Amelia Harrison and
Roland Kaminski and
Vladimir Lifschitz and
Torsten Schaub},
title = {Abstract gringo},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {449--463},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000150},
doi = {10.1017/S1471068415000150},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserHKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BochmanL15,
author = {Alexander Bochman and
Vladimir Lifschitz},
editor = {Blai Bonet and
Sven Koenig},
title = {Pearl's Causality in a Logical Setting},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1446--1452},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9411},
doi = {10.1609/AAAI.V29I1.9411},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BochmanL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BaileyHLLM15,
author = {Daniel Bailey and
Amelia J. Harrison and
Yuliya Lierler and
Vladimir Lifschitz and
Julian Michael},
title = {The Winograd Schema Challenge and Reasoning about Correlation},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10295},
timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BaileyHLLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HarrisonLPV15,
author = {Amelia Harrison and
Vladimir Lifschitz and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Infinitary Equilibrium Logic and Strong Equivalence},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {398--410},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_33},
doi = {10.1007/978-3-319-23264-5\_33},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HarrisonLPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GebserHKLS15,
author = {Martin Gebser and
Amelia Harrison and
Roland Kaminski and
Vladimir Lifschitz and
Torsten Schaub},
title = {Abstract Gringo},
journal = {CoRR},
volume = {abs/1507.06576},
year = {2015},
url = {http://arxiv.org/abs/1507.06576},
eprinttype = {arXiv},
eprint = {1507.06576},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GebserHKLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KhandelwalYLLS14,
author = {Piyush Khandelwal and
Fangkai Yang and
Matteo Leonetti and
Vladimir Lifschitz and
Peter Stone},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Planning in Action Language {BC} while Learning Action Costs for Mobile
Robots},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7940},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/KhandelwalYLLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HarrisonLY14,
author = {Amelia J. Harrison and
Vladimir Lifschitz and
Fangkai Yang},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {The Semantics of Gringo and Infinitary Propositional Formulas},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7966},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/HarrisonLY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonLT14,
author = {Amelia Harrison and
Vladimir Lifschitz and
Miroslaw Truszczynski},
title = {On Equivalence of Infinitary Formulas under the Stable Model Semantics},
journal = {CoRR},
volume = {abs/1403.6689},
year = {2014},
url = {http://arxiv.org/abs/1403.6689},
eprinttype = {arXiv},
eprint = {1403.6689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/LifschitzY13,
author = {Vladimir Lifschitz and
Fangkai Yang},
title = {Functional completion},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {1-2},
pages = {121--130},
year = {2013},
url = {https://doi.org/10.1080/11663081.2013.798965},
doi = {10.1080/11663081.2013.798965},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/LifschitzY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LifschitzY13,
author = {Vladimir Lifschitz and
Fangkai Yang},
title = {Lloyd-Topor completion and general stable models},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {503--515},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000318},
doi = {10.1017/S1471068413000318},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LifschitzY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeLY13,
author = {Joohyung Lee and
Vladimir Lifschitz and
Fangkai Yang},
editor = {Francesca Rossi},
title = {Action Language {BC:} Preliminary Report},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {983--989},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6937},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeeLY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/LierlerL13,
author = {Yuliya Lierler and
Vladimir Lifschitz},
editor = {Katrin Erk and
Alexander Koller},
title = {Logic Programs vs. First-Order Formulas in Textual Inference},
booktitle = {Proceedings of the 10th International Conference on Computational
Semantics, {IWCS} 2013, March 19-22, 2013, University of Potsdam,
Potsdam, Germany},
pages = {340--346},
publisher = {The Association for Computer Linguistics},
year = {2013},
url = {https://aclanthology.org/W13-0207/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwcs/LierlerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HarrisonLT13,
author = {Amelia Harrison and
Vladimir Lifschitz and
Miroslaw Truszczynski},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {On Equivalent Transformations of Infinitary Formulas under the Stable
Model Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {387--394},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_38},
doi = {10.1007/978-3-642-40564-8\_38},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HarrisonLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1394,
author = {Vladimir Lifschitz and
Fangkai Yang},
title = {Lloyd-Topor Completion and General Stable Models},
journal = {CoRR},
volume = {abs/1301.1394},
year = {2013},
url = {http://arxiv.org/abs/1301.1394},
eprinttype = {arXiv},
eprint = {1301.1394},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonLY13,
author = {Amelia Harrison and
Vladimir Lifschitz and
Fangkai Yang},
title = {On the Semantics of Gringo},
journal = {CoRR},
volume = {abs/1312.6149},
year = {2013},
url = {http://arxiv.org/abs/1312.6149},
eprinttype = {arXiv},
eprint = {1312.6149},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HarrisonLY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FerrarisLLLY12,
author = {Paolo Ferraris and
Joohyung Lee and
Yuliya Lierler and
Vladimir Lifschitz and
Fangkai Yang},
title = {Representing first-order causal theories by logic programs},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {3},
pages = {383--412},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000081},
doi = {10.1017/S1471068411000081},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FerrarisLLLY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LifschitzPY12,
author = {Vladimir Lifschitz and
Karl Pichotta and
Fangkai Yang},
title = {Relational theories with null values and non-herbrand stable models},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {565--582},
year = {2012},
url = {https://doi.org/10.1017/S147106841200018X},
doi = {10.1017/S147106841200018X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LifschitzPY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz12,
author = {Vladimir Lifschitz},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Two-Valued Logic Programs},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {259--266},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.259},
doi = {10.4230/LIPICS.ICLP.2012.259},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz12,
author = {Vladimir Lifschitz},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Logic Programs with Intensional Functions},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4519},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4130,
author = {Vladimir Lifschitz and
Karl Pichotta and
Fangkai Yang},
title = {Relational Theories with Null Values and Non-Herbrand Stable Models},
journal = {CoRR},
volume = {abs/1210.4130},
year = {2012},
url = {http://arxiv.org/abs/1210.4130},
eprinttype = {arXiv},
eprint = {1210.4130},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FerrarisLL11,
author = {Paolo Ferraris and
Joohyung Lee and
Vladimir Lifschitz},
title = {Stable models and circumscription},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {236--263},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.011},
doi = {10.1016/J.ARTINT.2010.04.011},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/FerrarisLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerrarisL11,
author = {Paolo Ferraris and
Vladimir Lifschitz},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {On the Minimality of Stable Models},
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 = {64--73},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_5},
doi = {10.1007/978-3-642-20832-4\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerrarisL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BochmanL11,
author = {Alexander Bochman and
Vladimir Lifschitz},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Yet Another Characterization of Strong Equivalence},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {11--15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.11},
doi = {10.4230/LIPICS.ICLP.2011.11},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BochmanL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LierlerL11,
author = {Yuliya Lierler and
Vladimir Lifschitz},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {205--210},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_20},
doi = {10.1007/978-3-642-20895-9\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LierlerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4558,
author = {Paolo Ferraris and
Joohyung Lee and
Yuliya Lierler and
Vladimir Lifschitz and
Fangkai Yang},
title = {Representing First-Order Causal Theories by Logic Programs},
journal = {CoRR},
volume = {abs/1103.4558},
year = {2011},
url = {http://arxiv.org/abs/1103.4558},
eprinttype = {arXiv},
eprint = {1103.4558},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-4558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lifschitz10,
author = {Vladimir Lifschitz},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Thirteen Definitions of a Stable Model},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {488--503},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_24},
doi = {10.1007/978-3-642-15025-8\_24},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Lifschitz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Lifschitz10,
author = {Vladimir Lifschitz},
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Programs and Their Stable Models},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {78--87},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_5},
doi = {10.1007/978-3-642-24206-9\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/Lifschitz10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LifschitzY10,
author = {Vladimir Lifschitz and
Fangkai Yang},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Translating First-Order Causal Theories into Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {247--259},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_22},
doi = {10.1007/978-3-642-15675-5\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LifschitzY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LierlerL09,
author = {Yuliya Lierler and
Vladimir Lifschitz},
editor = {Patricia M. Hill and
David Scott Warren},
title = {One More Decidable Class of Finitely Ground Programs},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {489--493},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_40},
doi = {10.1007/978-3-642-02846-5\_40},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LierlerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FerrarisLLP09,
author = {Paolo Ferraris and
Joohyung Lee and
Vladimir Lifschitz and
Ravi Palla},
editor = {Craig Boutilier},
title = {Symmetric Splitting in the General Theory of Stable Models},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {797--803},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/137.pdf},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FerrarisLLP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeLP08,
author = {Joohyung Lee and
Vladimir Lifschitz and
Ravi Palla},
editor = {Dieter Fox and
Carla P. Gomes},
title = {A Reductive Semantics for Counting and Choice in Answer Set Programming},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {472--479},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-075.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz08,
author = {Vladimir Lifschitz},
editor = {Dieter Fox and
Carla P. Gomes},
title = {What Is Answer Set Programming?},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1594--1597},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-270.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lifschitz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz08,
author = {Vladimir Lifschitz},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Twelve Definitions of a Stable Model},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {37--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_8},
doi = {10.1007/978-3-540-89982-2\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeeLP08,
author = {Joohyung Lee and
Vladimir Lifschitz and
Ravi Palla},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Safe Formulas in the General Theory of Stable Models (Preliminary
Report)},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {672--676},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_55},
doi = {10.1007/978-3-540-89982-2\_55},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeeLP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/fai/3,
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/science/bookseries/15746526/3},
isbn = {978-0-444-52211-5},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/fai/3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/LifschitzMP08,
author = {Vladimir Lifschitz and
Leora Morgenstern and
David A. Plaisted},
editor = {Frank van Harmelen and
Vladimir Lifschitz and
Bruce W. Porter},
title = {Knowledge Representation and Classical Logic},
booktitle = {Handbook of Knowledge Representation},
series = {Foundations of Artificial Intelligence},
volume = {3},
pages = {3--88},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/S1574-6526(07)03001-5},
doi = {10.1016/S1574-6526(07)03001-5},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/LifschitzMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LifschitzR07,
author = {Vladimir Lifschitz and
Wanwan Ren},
title = {The Semantics of Variables in Action Descriptions},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1025--1030},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-163.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LifschitzR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LifschitzR07,
author = {Vladimir Lifschitz and
Wanwan Ren},
title = {Variables in Action Descriptions: Merging {C+} with {ADL}},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
USA, March 26-28, 2007},
pages = {83--88},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-015.php},
timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/LifschitzR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FerrarisLL07,
author = {Paolo Ferraris and
Joohyung Lee and
Vladimir Lifschitz},
editor = {Manuela M. Veloso},
title = {A New Perspective on Stable Models},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {372--379},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/058.pdf},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FerrarisLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LifschitzPV07,
author = {Vladimir Lifschitz and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {A Characterization of Strong Equivalence for Logic Programs with Variables},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {188--200},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_17},
doi = {10.1007/978-3-540-72200-7\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LifschitzPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FerrarisLL06,
author = {Paolo Ferraris and
Joohyung Lee and
Vladimir Lifschitz},
title = {A generalization of the Lin-Zhao theorem},
journal = {Ann. Math. Artif. Intell.},
volume = {47},
number = {1-2},
pages = {79--101},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9025-2},
doi = {10.1007/S10472-006-9025-2},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FerrarisLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LifschitzR06,
author = {Vladimir Lifschitz and
Alexander A. Razborov},
title = {Why are there so many loop formulas?},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {2},
pages = {261--268},
year = {2006},
url = {https://doi.org/10.1145/1131313.1131316},
doi = {10.1145/1131313.1131316},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LifschitzR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ErdemLR06,
author = {Esra Erdem and
Vladimir Lifschitz and
Donald Ringe},
title = {Temporal phylogenetic networks and logic programming},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {5},
pages = {539--558},
year = {2006},
url = {https://doi.org/10.1017/S1471068406002729},
doi = {10.1017/S1471068406002729},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ErdemLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LifschitzR06,
author = {Vladimir Lifschitz and
Wanwan Ren},
title = {A Modular Action Description Language},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {853--859},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-135.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LifschitzR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LeeL06,
author = {Joohyung Lee and
Vladimir Lifschitz},
title = {A Knowledge Module: Buying and Selling},
booktitle = {Formalizing and Compiling Background Knowledge and Its Applications
to Knowledge Representation and Question Answering, Papers from the
2006 {AAAI} Spring Symposium, Technical Report SS-06-05, Stanford,
California, USA, March 27-29, 2006},
pages = {28--32},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-005.php},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/LeeL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LifschitzR06,
author = {Vladimir Lifschitz and
Wanwan Ren},
title = {Towards a Modular Action Description Language},
booktitle = {Formalizing and Compiling Background Knowledge and Its Applications
to Knowledge Representation and Question Answering, Papers from the
2006 {AAAI} Spring Symposium, Technical Report SS-06-05, Stanford,
California, USA, March 27-29, 2006},
pages = {33--43},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-006.php},
timestamp = {Sat, 18 Feb 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/LifschitzR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Lifschitz06,
author = {Vladimir Lifschitz},
editor = {Stephen H. Muggleton and
Ram{\'{o}}n P. Otero and
Alireza Tamaddoni{-}Nezhad},
title = {Actions, Causation and Logic Programming},
booktitle = {Inductive Logic Programming, 16th International Conference, {ILP}
2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4455},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73847-3\_1},
doi = {10.1007/978-3-540-73847-3\_1},
timestamp = {Sat, 30 Apr 2022 12:43:31 +0200},
biburl = {https://dblp.org/rec/conf/ilp/Lifschitz06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ErdoganL06,
author = {Selim T. Erdogan and
Vladimir Lifschitz},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Actions as Special Cases},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {377--388},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-040.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ErdoganL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FerrarisL05,
author = {Paolo Ferraris and
Vladimir Lifschitz},
title = {Weight constraints as nested expressions},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {1-2},
pages = {45--74},
year = {2005},
url = {https://doi.org/10.1017/S1471068403001923},
doi = {10.1017/S1471068403001923},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FerrarisL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/Lifschitz05,
author = {Vladimir Lifschitz},
editor = {Marina De Vos and
Alessandro Provetti},
title = {What is a Logic Program},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {142},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-142/invited.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/asp/Lifschitz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerrarisL05,
author = {Paolo Ferraris and
Vladimir Lifschitz},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Mathematical Foundations of Answer Set Programming},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {615--664},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerrarisL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508129,
author = {Esra Erdem and
Vladimir Lifschitz and
Donald Ringe},
title = {Temporal Phylogenetic Networks and Logic Programming},
journal = {CoRR},
volume = {abs/cs/0508129},
year = {2005},
url = {http://arxiv.org/abs/cs/0508129},
eprinttype = {arXiv},
eprint = {cs/0508129},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaLLMT04,
author = {Enrico Giunchiglia and
Joohyung Lee and
Vladimir Lifschitz and
Norman McCain and
Hudson Turner},
title = {Nonmonotonic causal theories},
journal = {Artif. Intell.},
volume = {153},
number = {1-2},
pages = {49--104},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2002.12.001},
doi = {10.1016/J.ARTINT.2002.12.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GiunchigliaLLMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AkmanELLT04,
author = {Varol Akman and
Selim T. Erdogan and
Joohyung Lee and
Vladimir Lifschitz and
Hudson Turner},
title = {Representing the Zoo World and the Traffic World in the language of
the Causal Calculator},
journal = {Artif. Intell.},
volume = {153},
number = {1-2},
pages = {105--140},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2003.08.002},
doi = {10.1016/J.ARTINT.2003.08.002},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AkmanELLT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DogandagFL04,
author = {Semra Dogandag and
Paolo Ferraris and
Vladimir Lifschitz},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Almost Definite Causal Theories},
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 = {74--86},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_9},
doi = {10.1007/978-3-540-24609-1\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DogandagFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2004,
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99475},
doi = {10.1007/B99475},
isbn = {3-540-22671-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2004,
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {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},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b94792},
doi = {10.1007/B94792},
isbn = {3-540-20721-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ErdemL03,
author = {Esra Erdem and
Vladimir Lifschitz},
title = {Tight logic programs},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {499--518},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001765},
doi = {10.1017/S1471068403001765},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ErdemL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeeL03,
author = {Joohyung Lee and
Vladimir Lifschitz},
editor = {Catuscia Palamidessi},
title = {Loop Formulas for Disjunctive Logic Programs},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {451--465},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_31},
doi = {10.1007/978-3-540-24599-5\_31},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeeL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ErdoganL03,
author = {Selim T. Erdogan and
Vladimir Lifschitz},
editor = {Catuscia Palamidessi},
title = {Definitions in Answer Set Programming: (Extended Abstract)},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {483--484},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_34},
doi = {10.1007/978-3-540-24599-5\_34},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ErdoganL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeL03,
author = {Joohyung Lee and
Vladimir Lifschitz},
editor = {Georg Gottlob and
Toby Walsh},
title = {Describing Additive Fluents in Action Language {C+}},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1079--1084},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/155.pdf},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeeL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ErdemLNR03,
author = {Esra Erdem and
Vladimir Lifschitz and
Luay Nakhleh and
Donald Ringe},
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {Reconstructing the Evolutionary History of Indo-European Languages
Using Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
pages = {160--176},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2\_12},
doi = {10.1007/3-540-36388-2\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/ErdemLNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0302038,
author = {Esra Erdem and
Vladimir Lifschitz},
title = {Tight Logic Programs},
journal = {CoRR},
volume = {cs.AI/0302038},
year = {2003},
url = {http://arxiv.org/abs/cs/0302038},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0302038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312045,
author = {Paolo Ferraris and
Vladimir Lifschitz},
title = {Weight Constraints as Nested Expressions},
journal = {CoRR},
volume = {cs.AI/0312045},
year = {2003},
url = {http://arxiv.org/abs/cs/0312045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0312045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz02,
author = {Vladimir Lifschitz},
title = {Answer set programming and plan generation},
journal = {Artif. Intell.},
volume = {138},
number = {1-2},
pages = {39--54},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00186-8},
doi = {10.1016/S0004-3702(02)00186-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz02,
author = {Vladimir Lifschitz},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Why Sam doesn't know calculus},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {5},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Lifschitz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Lifschitz01,
author = {Vladimir Lifschitz},
title = {On calculational proofs},
journal = {Ann. Pure Appl. Log.},
volume = {113},
number = {1-3},
pages = {207--224},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00059-8},
doi = {10.1016/S0168-0072(01)00059-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Lifschitz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LifschitzPV01,
author = {Vladimir Lifschitz and
David Pearce and
Agust{\'{\i}}n Valverde},
title = {Strongly equivalent logic programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {2},
number = {4},
pages = {526--541},
year = {2001},
url = {https://doi.org/10.1145/383779.383783},
doi = {10.1145/383779.383783},
timestamp = {Tue, 04 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/LifschitzPV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/LeeL01,
author = {Joohyung Lee and
Vladimir Lifschitz},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Additive Fluents},
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/14.ps},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/LeeL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ErdemL01,
author = {Esra Erdem and
Vladimir Lifschitz},
editor = {Philippe Codognet},
title = {Fages' Theorem for Programs with Nested Expressions},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {242--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_24},
doi = {10.1007/3-540-45635-X\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ErdemL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz00,
author = {Vladimir Lifschitz},
title = {Review: M. Shanahan, Solving the Frame Problem},
journal = {Artif. Intell.},
volume = {123},
number = {1-2},
pages = {265--268},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00056-4},
doi = {10.1016/S0004-3702(00)00056-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/ErdemLW00,
author = {Esra Erdem and
Vladimir Lifschitz and
Martin D. F. Wong},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Wire Routing and Satisfiability Planning},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {822--836},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_55},
doi = {10.1007/3-540-44957-4\_55},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/ErdemLW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz00,
author = {Vladimir Lifschitz},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Missionaries and Cannibals in the Causal Calculator},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {85--96},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003042,
author = {Yuliya Babovich and
Esra Erdem and
Vladimir Lifschitz},
title = {Fages' Theorem and Answer Set Programming},
journal = {CoRR},
volume = {cs.AI/0003042},
year = {2000},
url = {https://arxiv.org/abs/cs/0003042},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LifschitzTT99,
author = {Vladimir Lifschitz and
Lappoon R. Tang and
Hudson Turner},
title = {Nested Expressions in Logic Programs},
journal = {Ann. Math. Artif. Intell.},
volume = {25},
number = {3-4},
pages = {369--389},
year = {1999},
url = {https://doi.org/10.1023/A:1018978005636},
doi = {10.1023/A:1018978005636},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/LifschitzTT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz99,
author = {Vladimir Lifschitz},
editor = {Danny De Schreye},
title = {Answer Set Planning},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {23--37},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LifschitzT99,
author = {Vladimir Lifschitz and
Hudson Turner},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Representing Transition Systems by Logic 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 = {92--106},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_7},
doi = {10.1007/3-540-46767-X\_7},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LifschitzT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ErdemL99,
author = {Esra Erdem and
Vladimir Lifschitz},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Transformations of Logic Programs Related to Causality and Planning},
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 = {107--116},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_8},
doi = {10.1007/3-540-46767-X\_8},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/ErdemL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Lifschitz99,
author = {Vladimir Lifschitz},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Answer Set Planning (Abstract)},
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 = {373--374},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_28},
doi = {10.1007/3-540-46767-X\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Lifschitz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Lifschitz99,
author = {Vladimir Lifschitz},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Action Languages, Answer Sets, and Planning},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {357--373},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_16},
doi = {10.1007/978-3-642-60085-2\_16},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Lifschitz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/GelfondL98,
author = {Michael Gelfond and
Vladimir Lifschitz},
title = {Action Languages},
journal = {Electron. Trans. Artif. Intell.},
volume = {2},
pages = {193--210},
year = {1998},
url = {http://www.ep.liu.se/ej/etai/1998/007/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/GelfondL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaL98,
author = {Enrico Giunchiglia and
Vladimir Lifschitz},
editor = {Jack Mostow and
Chuck Rich},
title = {An Action Language Based on Causal Explanation: Preliminary Report},
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 = {623--630},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-088.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GiunchigliaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz98,
author = {Vladimir Lifschitz},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Situation Calculus and Causal Logic},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {536--546},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaKL97,
author = {Enrico Giunchiglia and
G. Neelakantan Kartha and
Vladimir Lifschitz},
title = {Representing Action: Indeterminacy and Ramifications},
journal = {Artif. Intell.},
volume = {95},
number = {2},
pages = {409--438},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(97)00037-4},
doi = {10.1016/S0004-3702(97)00037-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GiunchigliaKL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Liftschitz97,
author = {Vladimir Lifschitz},
title = {On the Logic of Causal Explanation (Research Note)},
journal = {Artif. Intell.},
volume = {96},
number = {2},
pages = {451--465},
year = {1997},
url = {https://doi.org/10.1016/S0004-3702(97)00057-X},
doi = {10.1016/S0004-3702(97)00057-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Liftschitz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GoldszmidtL97,
author = {Mois{\'{e}}s Goldszmidt and
Vladimir Lifschitz},
title = {The Sixth International Workshop on Nonmonotonic Reasoning (Workshop
Report).},
journal = {{AI} Mag.},
volume = {18},
number = {3},
pages = {89},
year = {1997},
url = {https://doi.org/10.1609/aimag.v18i3.1312},
doi = {10.1609/AIMAG.V18I3.1312},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/GoldszmidtL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BaralKL97,
author = {Chitta Baral and
Vladik Kreinovich and
Vladimir Lifschitz},
title = {Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning
about Actions},
journal = {Ann. Math. Artif. Intell.},
volume = {21},
number = {2-4},
pages = {129},
year = {1997},
url = {https://doi.org/10.1023/A:1018909201151},
doi = {10.1023/A:1018909201151},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BaralKL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Lifschitz97,
author = {Vladimir Lifschitz},
title = {Two Components of an Action Language},
journal = {Ann. Math. Artif. Intell.},
volume = {21},
number = {2-4},
pages = {305--320},
year = {1997},
url = {https://doi.org/10.1023/A:1018973620715},
doi = {10.1023/A:1018973620715},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Lifschitz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz95,
author = {Vladimir Lifschitz},
title = {Nested Abnormality Theories},
journal = {Artif. Intell.},
volume = {74},
number = {2},
pages = {351--365},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(95)98594-E},
doi = {10.1016/0004-3702(95)98594-E},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Lifschitz95,
author = {Vladimir Lifschitz},
title = {{ECWA} Made Easy},
journal = {Ann. Math. Artif. Intell.},
volume = {14},
number = {2-4},
pages = {269--274},
year = {1995},
url = {https://doi.org/10.1007/BF01530823},
doi = {10.1007/BF01530823},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Lifschitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Lifschitz95,
author = {Vladimir Lifschitz},
title = {The Logic of Common Sense},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {3},
pages = {343--345},
year = {1995},
url = {https://doi.org/10.1145/212094.212122},
doi = {10.1145/212094.212122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Lifschitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lifschitz95,
author = {Vladimir Lifschitz},
title = {Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning},
journal = {J. Autom. Reason.},
volume = {14},
number = {1},
pages = {1},
year = {1995},
url = {https://doi.org/10.1007/BF00883928},
doi = {10.1007/BF00883928},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Lifschitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lifschitz95,
author = {Vladimir Lifschitz},
editor = {Leon Sterling},
title = {SLDNF, Constructive Negation and Grounding},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {581--595},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lifschitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaL95,
author = {Enrico Giunchiglia and
Vladimir Lifschitz},
title = {Dependent Fluents},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {1964--1969},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/120.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiunchigliaL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KarthaL95,
author = {G. Neelakantan Kartha and
Vladimir Lifschitz},
title = {A Simple Formalization of Actions Using Circumscription},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {1970--1977},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/121.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KarthaL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LifschitzMPS95,
author = {Vladimir Lifschitz and
Norman McCain and
Teodor C. Przymusinski and
Robert F. St{\"{a}}rk},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Loop Checking and the Wll-Founded Semantics},
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 = {127--142},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_10},
doi = {10.1007/3-540-59487-6\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LifschitzMPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz94,
author = {Vladimir Lifschitz},
title = {Minimal Belief and Negation as Failure},
journal = {Artif. Intell.},
volume = {70},
number = {1-2},
pages = {53--72},
year = {1994},
url = {https://doi.org/10.1016/0004-3702(94)90103-1},
doi = {10.1016/0004-3702(94)90103-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LifschitzT94,
author = {Vladimir Lifschitz and
Hudson Turner},
editor = {Pascal Van Hentenryck},
title = {Splitting a Logic Program},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {23--37},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LifschitzT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KarthaL94,
author = {G. Neelakantan Kartha and
Vladimir Lifschitz},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Actions with Indirect Effects (Preliminary Report)},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {341--350},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/KarthaL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmelp/LifschitzT94,
author = {Vladimir Lifschitz and
Hudson Turner},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {From Disjunctive Programs to Abduction},
booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94
Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {927},
pages = {23--42},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0030658},
doi = {10.1007/BFB0030658},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nmelp/LifschitzT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/GelfondLPS94,
author = {Michael Gelfond and
Vladimir Lifschitz and
Halina Przymusinska and
Grigori Schwarz},
editor = {Ronald Fagin},
title = {Autoepistemic Logic and Introspective Circumscription},
booktitle = {Proceedings of the 5th Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1994},
pages = {197--207},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Tue, 05 Mar 2002 09:23:12 +0100},
biburl = {https://dblp.org/rec/conf/tark/GelfondLPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GelfondL93,
author = {Michael Gelfond and
Vladimir Lifschitz},
title = {Representing Action and Change by Logic Programs},
journal = {J. Log. Program.},
volume = {17},
number = {2/3{\&}4},
pages = {301--321},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90035-F},
doi = {10.1016/0743-1066(93)90035-F},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GelfondL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz93,
author = {Vladimir Lifschitz},
editor = {Richard Fikes and
Wendy G. Lehnert},
title = {Restricted Monotonicity},
booktitle = {Proceedings of the 11th National Conference on Artificial Intelligence.
Washington, DC, USA, July 11-15, 1993},
pages = {432--437},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1993},
url = {http://www.aaai.org/Library/AAAI/1993/aaai93-065.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lifschitz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LifschitzS93,
author = {Vladimir Lifschitz and
Grigori Schwarz},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Extended Logic Programs as Autoepistemic Theories},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {101--114},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LifschitzS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LifschitzMT93,
author = {Vladimir Lifschitz and
Norman McCain and
Hudson Turner},
editor = {Dale Miller},
title = {Automated Reasoning About Actions: {A} Logic Programming Approach},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {641},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/LifschitzMT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Lifschitz92,
author = {Vladimir Lifschitz},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {2},
number = {6},
pages = {671--673},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.6.671},
doi = {10.1093/LOGCOM/2.6.671},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Lifschitz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondL92,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Krzysztof R. Apt},
title = {Representing Actions in Extended Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {559--573},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GelfondL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LifschitzW92,
author = {Vladimir Lifschitz and
Thomas Y. C. Woo},
editor = {Bernhard Nebel and
Charles Rich and
William R. Swartout},
title = {Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)},
booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
Representation and Reasoning (KR'92). Cambridge, MA, USA, October
25-29, 1992},
pages = {603--614},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Fri, 22 Jun 2018 07:35:19 +0200},
biburl = {https://dblp.org/rec/conf/kr/LifschitzW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GelfondL91,
author = {Michael Gelfond and
Vladimir Lifschitz},
title = {Classical Negation in Logic Programs and Disjunctive Databases},
journal = {New Gener. Comput.},
volume = {9},
number = {3/4},
pages = {365--386},
year = {1991},
url = {https://doi.org/10.1007/BF03037169},
doi = {10.1007/BF03037169},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/GelfondL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GelfondLR91,
author = {Michael Gelfond and
Vladimir Lifschitz and
Arkady Rabinov},
editor = {Robert S. Boyer},
title = {What are the Limitations of the Situation Calculus?},
booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
series = {Automated Reasoning Series},
pages = {167--180},
publisher = {Kluwer Academic Publishers},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GelfondLR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lifschitz91,
author = {Vladimir Lifschitz},
editor = {John Mylopoulos and
Raymond Reiter},
title = {Nonmonotonic Databases and Epistemic Queries},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {381--386},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/059.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lifschitz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GelfondPLT91,
author = {Michael Gelfond and
Halina Przymusinska and
Vladimir Lifschitz and
Miroslaw Truszczynski},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Disjective Defaults},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {230--237},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/GelfondPLT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz91,
author = {Vladimir Lifschitz},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Toward a Metatheory of Action},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {376--386},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/1991mccarthy,
editor = {Vladimir Lifschitz},
title = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.x5001-4},
doi = {10.1016/B978-0-12-450010-5.X5001-4},
isbn = {978-0-12-450010-5},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/1991mccarthy.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz90,
author = {Vladimir Lifschitz},
title = {Frames in the Space of Situations},
journal = {Artif. Intell.},
volume = {46},
number = {3},
pages = {365--376},
year = {1990},
url = {https://doi.org/10.1016/0004-3702(90)90021-Q},
doi = {10.1016/0004-3702(90)90021-Q},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondL90,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Logic Programs with Classical Negation},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {579--597},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GelfondL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LifschitzR89,
author = {Vladimir Lifschitz and
Arkady Rabinov},
title = {Miracles in Formal Theories of Action},
journal = {Artif. Intell.},
volume = {38},
number = {2},
pages = {225--237},
year = {1989},
url = {https://doi.org/10.1016/0004-3702(89)90059-3},
doi = {10.1016/0004-3702(89)90059-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LifschitzR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lifschitz89,
author = {Vladimir Lifschitz},
title = {What Is the Inverse Method?},
journal = {J. Autom. Reason.},
volume = {5},
number = {1},
pages = {1--23},
year = {1989},
url = {https://doi.org/10.1007/BF00245018},
doi = {10.1007/BF00245018},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lifschitz89,
author = {Vladimir Lifschitz},
editor = {Gerhard X. Ritter},
title = {Logical Foundations of Deductive Databases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {315--321},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LifschitzR89,
author = {Vladimir Lifschitz and
Arkady Rabinov},
editor = {N. S. Sridharan},
title = {Things That Change by Themselves},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {864--867},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/002.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LifschitzR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lifschitz89,
author = {Vladimir Lifschitz},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Between Circumscription and Autoepistemic Logic},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {235--244},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EtheringtonFGIL89,
author = {David W. Etherington and
Kenneth D. Forbus and
Matthew L. Ginsberg and
David J. Israel and
Vladimir Lifschitz},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Critical Issues in Nonmonotonic Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {500--504},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EtheringtonFGIL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Lifschitz89,
author = {Vladimir Lifschitz},
title = {The Mathematics of Nonmonotonic Reasoning (Abstract)},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {242},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39178},
doi = {10.1109/LICS.1989.39178},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GelfondL88,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {Compiling Circumscriptive Theories into Logic Programs},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {455--449},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-080.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GelfondL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondL88,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {The Stable Model Semantics for Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {1070--1080},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GelfondL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/GelfondL88,
author = {Michael Gelfond and
Vladimir Lifschitz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Compiling Circumscriptive Theories into Logic Programs},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {74--99},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_21},
doi = {10.1007/3-540-50701-9\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/nmr/GelfondL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz88,
author = {Vladimir Lifschitz},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {202--219},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_29},
doi = {10.1007/3-540-50701-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Lifschitz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/Lifschitz88,
author = {Vladimir Lifschitz},
editor = {Jack Minker},
title = {On the Declarative Semantics of Logic Programs with Negation},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {177--192},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50008-7},
doi = {10.1016/B978-0-934613-40-8.50008-7},
timestamp = {Thu, 27 Jun 2019 09:09:21 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/Lifschitz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz87,
author = {Vladimir Lifschitz},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Circumscriptive Theories: {A} Logic-based Framework for Knowledge
Representation (Preliminary Report)},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {364--368},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-065.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lifschitz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lifschitz87,
author = {Vladimir Lifschitz},
editor = {John P. McDermott},
title = {Formal Theories of Action (Preliminary Report)},
booktitle = {Proceedings of the 10th International Joint Conference on Artificial
Intelligence. Milan, Italy, August 23-28, 1987},
pages = {966--972},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://ijcai.org/Proceedings/87-2/Papers/081.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lifschitz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz86,
author = {Vladimir Lifschitz},
title = {On the Satisfiability of Circumscription},
journal = {Artif. Intell.},
volume = {28},
number = {1},
pages = {17--27},
year = {1986},
url = {https://doi.org/10.1016/0004-3702(86)90028-7},
doi = {10.1016/0004-3702(86)90028-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lifschitz86,
author = {Vladimir Lifschitz},
editor = {Tom Kehler},
title = {Pointwise Circumscription: Preliminary Report},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {406--410},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-068.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Lifschitz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lifschitz85,
author = {Vladimir Lifschitz},
title = {Closed-World Databases and Circumscription},
journal = {Artif. Intell.},
volume = {27},
number = {2},
pages = {229--235},
year = {1985},
url = {https://doi.org/10.1016/0004-3702(85)90055-4},
doi = {10.1016/0004-3702(85)90055-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Lifschitz85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lifschitz85,
author = {Vladimir Lifschitz},
editor = {Aravind K. Joshi},
title = {Computing Circumscription},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {121--127},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/022.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Lifschitz85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lifschitz84,
author = {Vladimir Lifschitz},
title = {On Verification of Programs With Goto Statements},
journal = {Inf. Process. Lett.},
volume = {18},
number = {4},
pages = {221--225},
year = {1984},
url = {https://doi.org/10.1016/0020-0190(84)90115-7},
doi = {10.1016/0020-0190(84)90115-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lifschitz84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Lifschitz84,
author = {Vladimir Lifschitz},
title = {Some Results on Circumscription},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {151--164},
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/Lifschitz84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LifschitzP83,
author = {Vladimir Lifschitz and
Leon Pesotchinsky},
title = {A Note on the Complexity of a Partition Algorithm},
journal = {Inf. Process. Lett.},
volume = {17},
number = {3},
pages = {117--120},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90049-2},
doi = {10.1016/0020-0190(83)90049-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LifschitzP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LifschitzP83,
author = {Vladimir Lifschitz and
Boris G. Pittel},
title = {The Worst and the Most Probable Performance of a Class of Set-Covering
Algorithms},
journal = {{SIAM} J. Comput.},
volume = {12},
number = {2},
pages = {329--346},
year = {1983},
url = {https://doi.org/10.1137/0212021},
doi = {10.1137/0212021},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/LifschitzP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lifschitz82,
author = {Vladimir Lifschitz},
title = {Constructive Assertions in an Extension of Classical Mathematics},
journal = {J. Symb. Log.},
volume = {47},
number = {2},
pages = {359--387},
year = {1982},
url = {https://doi.org/10.2307/2273147},
doi = {10.2307/2273147},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lifschitz82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/LifschitzP81,
author = {Vladimir Lifschitz and
Boris G. Pittel},
title = {The Number of Increasing Subsequences of the Random Permutation},
journal = {J. Comb. Theory, Ser. {A}},
volume = {31},
number = {1},
pages = {1--20},
year = {1981},
url = {https://doi.org/10.1016/0097-3165(81)90049-2},
doi = {10.1016/0097-3165(81)90049-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/LifschitzP81.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-05-02 23:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
