Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/lifschitz2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/Balduccini12,
author = {Marcello Balduccini},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {A "Conservative" Approach to Extending Answer Set Programming with
Non-Herbrand Functions},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {24--39},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_3},
doi = {10.1007/978-3-642-30743-0\_3},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Balduccini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaralGG12,
author = {Chitta Baral and
Marcos Alvarez Gonzalez and
Aaron Gottesman},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Inverse Lambda Calculus Algorithm for Typed First Order Logic
Lambda Calculus and Its Application to Translating English to {FOL}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {40--56},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_4},
doi = {10.1007/978-3-642-30743-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaralGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaumannBDW12,
author = {Ringo Baumann and
Gerhard Brewka and
Wolfgang Dvor{\'{a}}k and
Stefan Woltran},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Parameterized Splitting: {A} Simple Modification-Based Approach},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {57--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_5},
doi = {10.1007/978-3-642-30743-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaumannBDW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BjornerCG12,
author = {Nikolaj S. Bj{\o}rner and
Guido de Caso and
Yuri Gurevich},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {From Primal Infon Logic with Individual Variables to Datalog},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {72--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_6},
doi = {10.1007/978-3-642-30743-0\_6},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BjornerCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bochman12,
author = {Alexander Bochman},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Here and There among Logics for Logic Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {87--101},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_7},
doi = {10.1007/978-3-642-30743-0\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bochman12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Cabalar12,
author = {Pedro Cabalar},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Causal Logic Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {102--116},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_8},
doi = {10.1007/978-3-642-30743-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Cabalar12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CaliGOP12,
author = {Andrea Cal{\`{\i}} and
Georg Gottlob and
Giorgio Orsi and
Andreas Pieris},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {On the Interaction of Existential Rules and Equality Constraints in
Ontology Querying},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {117--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_9},
doi = {10.1007/978-3-642-30743-0\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CaliGOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CerroPV12,
author = {Luis Fari{\~{n}}as del Cerro and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Bi-state Logic},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {265--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_18},
doi = {10.1007/978-3-642-30743-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CerroPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChenJY12,
author = {Xiaoping Chen and
Guoqiang Jin and
Fangkai Yang},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Extending Action Language {\textdollar}{\textbackslash}mathcal\{C\}+{\textdollar}
by Formalizing Composite Actions},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {134--148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_10},
doi = {10.1007/978-3-642-30743-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChenJY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChintabathinaW12,
author = {Sandeep Chintabathina and
Richard Watson},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {A New Incarnation of Action Language {H}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {560--575},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_38},
doi = {10.1007/978-3-642-30743-0\_38},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChintabathinaW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CostantiniFP12,
author = {Stefania Costantini and
Andrea Formisano and
David Pearce},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Strong Equivalence of {RASP} Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {149--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_11},
doi = {10.1007/978-3-642-30743-0\_11},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CostantiniFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Delgrande12,
author = {James P. Delgrande},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Considerations on Belief Revision in an Action Theory},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {164--177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_12},
doi = {10.1007/978-3-642-30743-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Delgrande12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DeneckerBV12,
author = {Marc Denecker and
Maurice Bruynooghe and
Joost Vennekens},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Approximation Fixpoint Theory and the Semantics of Logic and Answers
Set Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {178--194},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_13},
doi = {10.1007/978-3-642-30743-0\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DeneckerBV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DixFS12,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Privacy Preservation Using Multi-context Systems and Default Logic},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {195--210},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_14},
doi = {10.1007/978-3-642-30743-0\_14},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DixFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EiterFF12,
author = {Thomas Eiter and
Cristina Feier and
Michael Fink},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Simulating Production Rules Using {ACTHEX}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {211--228},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_15},
doi = {10.1007/978-3-642-30743-0\_15},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/EiterFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ErdemP12,
author = {Esra Erdem and
Volkan Patoglu},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Applications of Action Languages in Cognitive Robotics},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {229--246},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_16},
doi = {10.1007/978-3-642-30743-0\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ErdemP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberLP12,
author = {Wolfgang Faber and
Nicola Leone and
Simona Perri},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {247--264},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_17},
doi = {10.1007/978-3-642-30743-0\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gabbay12a,
author = {Dov M. Gabbay},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {An Equational Approach to Logic Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {279--295},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_19},
doi = {10.1007/978-3-642-30743-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gabbay12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GebserKS12,
author = {Martin Gebser and
Roland Kaufmann and
Torsten Schaub},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Gearing Up for Effective {ASP} Planning},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {296--310},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_20},
doi = {10.1007/978-3-642-30743-0\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GebserKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GiunchigliaM12,
author = {Enrico Giunchiglia and
Marco Maratea},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Algorithms for Solving Satisfiability Problems with Qualitative Preferences},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {327--344},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_22},
doi = {10.1007/978-3-642-30743-0\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GiunchigliaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/InoueS12,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Oscillating Behavior of Logic Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {345--362},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_23},
doi = {10.1007/978-3-642-30743-0\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/InoueS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JanhunenN12,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Applying Visible Strong Equivalence in Answer-Set Program Transformations},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {363--379},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_24},
doi = {10.1007/978-3-642-30743-0\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JanhunenN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JiL12,
author = {Jianmin Ji and
Fangzhen Lin},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {From Turner's Logic of Universal Causation to the Logic of {GK}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {380--385},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_25},
doi = {10.1007/978-3-642-30743-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kartha12,
author = {Neelakantan Kartha},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Lifschitz and Circumscription},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {386--389},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_26},
doi = {10.1007/978-3-642-30743-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kartha12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarthaELFRLYR12,
author = {Neelakantan Kartha and
Esra Erdem and
Joohyung Lee and
Paolo Ferraris and
Wanwan Ren and
Yuliya Lierler and
Fangkai Yang and
Albert Rondan},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Vladimir Lifschitz - {A} Youth at 65},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {14--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_2},
doi = {10.1007/978-3-642-30743-0\_2},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KarthaELFRLYR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kreinovich12,
author = {Vladik Kreinovich},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach
Based on Physical Induction and Its Relation to Kolmogorov Complexity},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {390--404},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_27},
doi = {10.1007/978-3-642-30743-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kreinovich12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lee12,
author = {Joohyung Lee},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Reformulating Action Language {C+} in Answer Set Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {405--421},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_28},
doi = {10.1007/978-3-642-30743-0\_28},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Lee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LevesqueL12,
author = {Hector J. Levesque and
Gerhard Lakemeyer},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The Truth about Defaults},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {422--435},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_29},
doi = {10.1007/978-3-642-30743-0\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LevesqueL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LierlerS12,
author = {Yuliya Lierler and
Peter Sch{\"{u}}ller},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Parsing Combinatory Categorial Grammar via Planning in Answer Set
Programming},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {436--453},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_30},
doi = {10.1007/978-3-642-30743-0\_30},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LierlerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LoboMRL12,
author = {Jorge Lobo and
Jiefei Ma and
Alessandra Russo and
Franck Le},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Declarative Distributed Computing},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {454--470},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_31},
doi = {10.1007/978-3-642-30743-0\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LoboMRL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarekR12,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Disjunctive Programs with Set Constraints},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {471--486},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_32},
doi = {10.1007/978-3-642-30743-0\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MarekR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Minker12,
author = {Jack Minker},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {To Vladimir Lifschitz on His 65th Birthday},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {1--13},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_1},
doi = {10.1007/978-3-642-30743-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Minker12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Mints12,
author = {Grigori Mints},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {The G{\"{o}}del-Tarski Translations of Intuitionistic Propositional
Formulas},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {487--491},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_33},
doi = {10.1007/978-3-642-30743-0\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Mints12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OetschPT12,
author = {Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Stepwise Debugging of Description-Logic Programs},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {492--508},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_34},
doi = {10.1007/978-3-642-30743-0\_34},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OetschPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PontelliSBG12,
author = {Enrico Pontelli and
Tran Cao Son and
Chitta Baral and
Gregory Gelfond},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Answer Set Programming and Planning with Knowledge and World-Altering
Actions in Multiple Agent Domains},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {509--526},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_35},
doi = {10.1007/978-3-642-30743-0\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PontelliSBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StrassT12,
author = {Hannes Strass and
Michael Thielscher},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {A Language for Default Reasoning about Actions},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {527--542},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_36},
doi = {10.1007/978-3-642-30743-0\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StrassT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TodorovaG12,
author = {Yana Todorova and
Michael Gelfond},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Toward Question Answering in Travel Domains},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {311--326},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_21},
doi = {10.1007/978-3-642-30743-0\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TodorovaG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Truszczynski12,
author = {Miroslaw Truszczynski},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Connecting First-Order {ASP} and the Logic {FO(ID)} through Reducts},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {543--559},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_37},
doi = {10.1007/978-3-642-30743-0\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Truszczynski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/YouSW12,
author = {Jia{-}Huai You and
Yi{-}Dong Shen and
Kewen Wang},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Well-Supported Semantics for Logic Programs with Generalized Rules},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {576--591},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_39},
doi = {10.1007/978-3-642-30743-0\_39},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/YouSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012lifschitz,
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0},
doi = {10.1007/978-3-642-30743-0},
isbn = {978-3-642-30742-3},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2012lifschitz.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.
retrieved on 2024-06-06 15:06 CEST from data curated 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:
