BibTeX records: Michael Gelfond

download as .bib file

@article{DBLP:journals/tplp/GelfondFB23,
  author       = {Michael Gelfond and
                  Jorge Fandinno and
                  Evgenii Balai},
  title        = {Embracing Background Knowledge in the Analysis of Actual Causality:
                  An Answer Set Programming Approach},
  journal      = {Theory Pract. Log. Program.},
  volume       = {23},
  number       = {4},
  pages        = {715--729},
  year         = {2023},
  url          = {https://doi.org/10.1017/s1471068423000248},
  doi          = {10.1017/S1471068423000248},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GelfondFB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03874,
  author       = {Michael Gelfond and
                  Jorge Fandinno and
                  Evgenii Balai},
  title        = {Embracing Background Knowledge in the Analysis of Actual Causality:
                  An Answer Set Programming Approach},
  journal      = {CoRR},
  volume       = {abs/2306.03874},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.03874},
  doi          = {10.48550/ARXIV.2306.03874},
  eprinttype    = {arXiv},
  eprint       = {2306.03874},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-03874.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoFG22,
  author       = {Jorge Fandinno and
                  Wolfgang Faber and
                  Michael Gelfond},
  title        = {Thirty years of Epistemic Specifications},
  journal      = {Theory Pract. Log. Program.},
  volume       = {22},
  number       = {6},
  pages        = {1043--1083},
  year         = {2022},
  url          = {https://doi.org/10.1017/S147106842100048X},
  doi          = {10.1017/S147106842100048X},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/FandinnoFG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07669,
  author       = {Jorge Fandinno and
                  Wolfgang Faber and
                  Michael Gelfond},
  title        = {Thirty years of Epistemic Specifications},
  journal      = {CoRR},
  volume       = {abs/2108.07669},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.07669},
  eprinttype    = {arXiv},
  eprint       = {2108.07669},
  timestamp    = {Fri, 20 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-07669.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KahlWBG020,
  author       = {Patrick Kahl and
                  Richard Watson and
                  Evgenii Balai and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {The language of epistemic specifications (refined) including a prototype
                  solver},
  journal      = {J. Log. Comput.},
  volume       = {30},
  number       = {4},
  pages        = {953--989},
  year         = {2020},
  url          = {https://doi.org/10.1093/logcom/exv065},
  doi          = {10.1093/LOGCOM/EXV065},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/KahlWBG020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondB20,
  author       = {Michael Gelfond and
                  Evgenii Balai},
  editor       = {Carmine Dodaro and
                  George Aristidis Elder and
                  Wolfgang Faber and
                  Jorge Fandinno and
                  Martin Gebser and
                  Markus Hecher and
                  Emily LeBlanc and
                  Michael Morak and
                  Jessica Zangari},
  title        = {Causal Analysis of Events Occurring in Trajectories of Dynamic Domains},
  booktitle    = {International Conference on Logic Programming 2020 Workshop Proceedings
                  co-located with 36th International Conference on Logic Programming
                  {(ICLP} 2020), Rende, Italy, September 18-19, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2678},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2678/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/GelfondB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BalducciniGPS20,
  author       = {Marcello Balduccini and
                  Michael Gelfond and
                  Enrico Pontelli and
                  Tran Cao Son},
  editor       = {Diego Calvanese and
                  Esra Erdem and
                  Michael Thielscher},
  title        = {An Answer Set Programming Framework for Reasoning about Agents' Beliefs
                  and Truthfulness of Statements},
  booktitle    = {Proceedings of the 17th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
                  September 12-18, 2020},
  pages        = {69--78},
  year         = {2020},
  url          = {https://doi.org/10.24963/kr.2020/8},
  doi          = {10.24963/KR.2020/8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BalducciniGPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GelfondZ19,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Vicious circle principle, aggregates, and formation of sets in {ASP}
                  based languages},
  journal      = {Artif. Intell.},
  volume       = {275},
  pages        = {28--77},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.artint.2019.04.004},
  doi          = {10.1016/J.ARTINT.2019.04.004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GelfondZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BalaiGZ19,
  author       = {Evgenii Balai and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {P-log: refinement and a new coherency condition},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {86},
  number       = {1-3},
  pages        = {149--192},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10472-019-09620-2},
  doi          = {10.1007/S10472-019-09620-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BalaiGZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SridharanGZW19,
  author       = {Mohan Sridharan and
                  Michael Gelfond and
                  Shiqi Zhang and
                  Jeremy L. Wyatt},
  title        = {{REBA:} {A} Refinement-Based Architecture for Knowledge Representation
                  and Reasoning in Robotics},
  journal      = {J. Artif. Intell. Res.},
  volume       = {65},
  pages        = {87--180},
  year         = {2019},
  url          = {https://doi.org/10.1613/jair.1.11524},
  doi          = {10.1613/JAIR.1.11524},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/SridharanGZW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Gelfond19,
  author       = {Michael Gelfond},
  editor       = {Mario Alviano and
                  Andreas Pieris},
  title        = {Logic Programming and Non-monotonic Reasoning from 1991 to 2019: a
                  Personal Perspective},
  booktitle    = {Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of
                  Datalog in Academia and Industry co-located with the 15th International
                  Conference on Logic Programming and Nonmonotonic Reasoning {(LPNMR}
                  2019) at the Philadelphia Logic Week 2019, Philadelphia, {PA} (USA),
                  June 4-5, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2368},
  pages        = {2},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2368/invited2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/datalog/Gelfond19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07050,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Vicious Circle Principle and Logic Programs with Aggregates},
  journal      = {CoRR},
  volume       = {abs/1808.07050},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.07050},
  eprinttype    = {arXiv},
  eprint       = {1808.07050},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-07050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/LierlerIG17,
  author       = {Yuliya Lierler and
                  Daniela Inclezan and
                  Michael Gelfond},
  editor       = {Claire Gardent and
                  Christian Retor{\'{e}}},
  title        = {Action Languages and Question Answering},
  booktitle    = {{IWCS} 2017 - 12th International Conference on Computational Semantics
                  - Short papers, Montpellier, France, September 19 - 22, 2017},
  publisher    = {The Association for Computer Linguistics},
  year         = {2017},
  url          = {https://aclanthology.org/W17-6925/},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwcs/LierlerIG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BalaiG17,
  author       = {Evgenii Balai and
                  Michael Gelfond},
  editor       = {Bart Bogaerts and
                  Amelia Harrison},
  title        = {Refining and Generalizing P-log - Preliminary Report},
  booktitle    = {Proceedings of the 10th Workshop on Answer Set Programming and Other
                  Computing Paradigms co-located with the 14th International Conference
                  on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
                  Espoo, Finland, July 3, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1868},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1868/p6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:44 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BalaiG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GelfondZ17,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {Vicious Circle Principle and Formation of Sets in {ASP} Based Languages},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {146--159},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_14},
  doi          = {10.1007/978-3-319-61660-5\_14},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/ErdemGL16,
  author       = {Esra Erdem and
                  Michael Gelfond and
                  Nicola Leone},
  title        = {Applications of Answer Set Programming},
  journal      = {{AI} Mag.},
  volume       = {37},
  number       = {3},
  pages        = {53--68},
  year         = {2016},
  url          = {https://doi.org/10.1609/aimag.v37i3.2678},
  doi          = {10.1609/AIMAG.V37I3.2678},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/ErdemGL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/InclezanG16,
  author       = {Daniela Inclezan and
                  Michael Gelfond},
  title        = {Modular action language},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {2},
  pages        = {189--235},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068415000095},
  doi          = {10.1017/S1471068415000095},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/InclezanG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SonPGB16,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Michael Gelfond and
                  Marcello Balduccini},
  editor       = {Manuel Carro and
                  Andy King and
                  Neda Saeedloei and
                  Marina De Vos},
  title        = {An Answer Set Programming Framework for Reasoning About Truthfulness
                  of Statements by Agents},
  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        = {8:1--8:4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2016.8},
  doi          = {10.4230/OASICS.ICLP.2016.8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/SonPGB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BalaiG16,
  author       = {Evgenii Balai and
                  Michael Gelfond},
  editor       = {Subbarao Kambhampati},
  title        = {On the Relationship between P-log and LP\({}^{\mbox{MLN}}\)},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {915--921},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/134},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BalaiG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SridharanG16,
  author       = {Mohan Sridharan and
                  Michael Gelfond},
  editor       = {Roman Bart{\'{a}}k and
                  Thomas Leo McCluskey and
                  Enrico Pontelli},
  title        = {Using Knowledge Representation and Reasoning Tools in the Design of
                  Robots},
  booktitle    = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
                  Solving and Reasoning co-located with 25th International Joint Conference
                  on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
                  10, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1648},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1648/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:32 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/SridharanG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SonPGB16,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Michael Gelfond and
                  Marcello Balduccini},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Reasoning about Truthfulness of Agents Using Answer Set Programming},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {605--608},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12896},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/SonPGB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BaralSGM16,
  author       = {Chitta Baral and
                  Tran Cao Son and
                  Michael Gelfond and
                  Arindam Mitra},
  editor       = {Matteo Baldoni and
                  Amit K. Chopra and
                  Tran Cao Son and
                  Katsutoshi Hirayama and
                  Paolo Torroni},
  title        = {Plan Failure Analysis: Formalization and Application in Interactive
                  Planning Through Natural Language Communication},
  booktitle    = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
                  International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9862},
  pages        = {376--386},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44832-9\_25},
  doi          = {10.1007/978-3-319-44832-9\_25},
  timestamp    = {Fri, 27 Mar 2020 08:49:36 +0100},
  biburl       = {https://dblp.org/rec/conf/prima/BaralSGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GelfondZ16,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Vicious Circle Principle and Formation of Sets in {ASP} Based Languages},
  journal      = {CoRR},
  volume       = {abs/1608.08262},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.08262},
  eprinttype    = {arXiv},
  eprint       = {1608.08262},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GelfondZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BlountGB15,
  author       = {Justin Blount and
                  Michael Gelfond and
                  Marcello Balduccini},
  editor       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Miroslaw Truszczynski},
  title        = {A Theory of Intentions for Intelligent Agents - (Extended Abstract)},
  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        = {134--142},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23264-5\_12},
  doi          = {10.1007/978-3-319-23264-5\_12},
  timestamp    = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BlountGB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/InclezanG15,
  author       = {Daniela Inclezan and
                  Michael Gelfond},
  title        = {Modular Action Language {ALM}},
  journal      = {CoRR},
  volume       = {abs/1505.05022},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.05022},
  eprinttype    = {arXiv},
  eprint       = {1505.05022},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/InclezanG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SridharanGZW15,
  author       = {Mohan Sridharan and
                  Michael Gelfond and
                  Shiqi Zhang and
                  Jeremy L. Wyatt},
  title        = {A Refinement-Based Architecture for Knowledge Representation and Reasoning
                  in Robotics},
  journal      = {CoRR},
  volume       = {abs/1508.03891},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.03891},
  eprinttype    = {arXiv},
  eprint       = {1508.03891},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SridharanGZW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GelfondZ14,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Vicious Circle Principle and Logic Programs with Aggregates},
  journal      = {Theory Pract. Log. Program.},
  volume       = {14},
  number       = {4-5},
  pages        = {587--601},
  year         = {2014},
  url          = {https://doi.org/10.1017/S1471068414000222},
  doi          = {10.1017/S1471068414000222},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/GelfondZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BlountGB14,
  author       = {Justin Lane Blount and
                  Michael Gelfond and
                  Marcello Balduccini},
  title        = {Towards a Theory of Intentional Agents},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7681},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BlountGB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socrob/ZhangSGW14,
  author       = {Shiqi Zhang and
                  Mohan Sridharan and
                  Michael Gelfond and
                  Jeremy L. Wyatt},
  editor       = {Michael Beetz and
                  Benjamin Johnston and
                  Mary{-}Anne Williams},
  title        = {Towards an Architecture for Knowledge Representation and Reasoning
                  in Robotics},
  booktitle    = {Social Robotics - 6th International Conference, {ICSR} 2014, Sydney,
                  NSW, Australia, October 27-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8755},
  pages        = {400--410},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11973-1\_41},
  doi          = {10.1007/978-3-319-11973-1\_41},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/socrob/ZhangSGW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangSGW14,
  author       = {Shiqi Zhang and
                  Mohan Sridharan and
                  Michael Gelfond and
                  Jeremy L. Wyatt},
  title        = {KR{\textdollar}{\^{}}3{\textdollar}: An Architecture for Knowledge
                  Representation and Reasoning in Robotics},
  journal      = {CoRR},
  volume       = {abs/1405.0999},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.0999},
  eprinttype    = {arXiv},
  eprint       = {1405.0999},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZhangSGW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GelfondZ14,
  author       = {Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Vicious Circle Principle and Logic Programs with Aggregates},
  journal      = {CoRR},
  volume       = {abs/1405.3637},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.3637},
  eprinttype    = {arXiv},
  eprint       = {1405.3637},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GelfondZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GelfondI13,
  author       = {Michael Gelfond and
                  Daniela Inclezan},
  title        = {Some properties of system descriptions of AL\({}_{\mbox{d}}\)},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {23},
  number       = {1-2},
  pages        = {105--120},
  year         = {2013},
  url          = {https://doi.org/10.1080/11663081.2013.798954},
  doi          = {10.1080/11663081.2013.798954},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/GelfondI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BalaiGZ13,
  author       = {Evgenii Balai and
                  Michael Gelfond and
                  Yuanlin Zhang},
  editor       = {Pedro Cabalar and
                  Tran Cao Son},
  title        = {Towards Answer Set Programming with Sorts},
  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        = {135--147},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40564-8\_14},
  doi          = {10.1007/978-3-642-40564-8\_14},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BalaiGZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1386,
  author       = {Evgenii Balai and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {{SPARC} - Sorted {ASP} with Consistency Restoring Rules},
  journal      = {CoRR},
  volume       = {abs/1301.1386},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.1386},
  eprinttype    = {arXiv},
  eprint       = {1301.1386},
  timestamp    = {Mon, 25 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-1386.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1387,
  author       = {Marcello Balduccini and
                  Michael Gelfond},
  title        = {Language ASP\{f\} with Arithmetic Expressions and Consistency-Restoring
                  Rules},
  journal      = {CoRR},
  volume       = {abs/1301.1387},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.1387},
  eprinttype    = {arXiv},
  eprint       = {1301.1387},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-1387.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BlountG12,
  author       = {Justin Blount and
                  Michael Gelfond},
  editor       = {Alexander Artikis and
                  Robert Craven and
                  Nihan Kesim Cicekli and
                  Babak Sadighi and
                  Kostas Stathis},
  title        = {Reasoning about the Intentions of Agents},
  booktitle    = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7360},
  pages        = {147--171},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29414-3\_9},
  doi          = {10.1007/978-3-642-29414-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BlountG12.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    = {Fri, 15 Jan 2021 08:33:38 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/TodorovaG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TuSGM11,
  author       = {Phan Huy Tu and
                  Tran Cao Son and
                  Michael Gelfond and
                  A. Ricardo Morales},
  title        = {Approximation of action theories and its application to conformant
                  planning},
  journal      = {Artif. Intell.},
  volume       = {175},
  number       = {1},
  pages        = {79--119},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.artint.2010.04.007},
  doi          = {10.1016/J.ARTINT.2010.04.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/TuSGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GallagherG11,
  author       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Introduction to the 27th International Conference on Logic Programming
                  Special Issue},
  journal      = {Theory Pract. Log. Program.},
  volume       = {11},
  number       = {4-5},
  pages        = {429--432},
  year         = {2011},
  url          = {https://doi.org/10.1017/S1471068411000342},
  doi          = {10.1017/S1471068411000342},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/GallagherG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/InclezanG11,
  author       = {Daniela Inclezan and
                  Michael Gelfond},
  title        = {Representing Biological Processes in Modular Action Language {ALM}},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2407},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/InclezanG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherG11,
  author       = {John P. Gallagher and
                  Michael Gelfond},
  editor       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Frontmatter, Table of Contents, Preface, Conference Organization},
  booktitle    = {Technical Communications of the 27th International Conference on Logic
                  Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
  series       = {LIPIcs},
  volume       = {11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2011.i},
  doi          = {10.4230/LIPICS.ICLP.2011.I},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Gelfond11,
  author       = {Michael Gelfond},
  editor       = {James P. Delgrande and
                  Wolfgang Faber},
  title        = {New Semantics for Epistemic Specifications},
  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        = {260--265},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20895-9\_29},
  doi          = {10.1007/978-3-642-20895-9\_29},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Gelfond11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2011,
  editor       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Technical Communications of the 27th International Conference on Logic
                  Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
  series       = {LIPIcs},
  volume       = {11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006},
  isbn         = {978-3-939897-31-6},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Gelfond10,
  author       = {Michael Gelfond},
  editor       = {Oege de Moor and
                  Georg Gottlob and
                  Tim Furche and
                  Andrew Jon Sellers},
  title        = {Knowledge Representation Language P-Log - {A} Short Introduction},
  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        = {369--383},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-24206-9\_21},
  doi          = {10.1007/978-3-642-24206-9\_21},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/datalog/Gelfond10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/ScherlIG10,
  author       = {Richard B. Scherl and
                  Daniela Inclezan and
                  Michael Gelfond},
  editor       = {Ahmed K. Elmagarmid and
                  Divyakant Agrawal},
  title        = {Automated Inference of Socio-Cultural Information from Natural Language
                  Conversations},
  booktitle    = {Proceedings of the 2010 {IEEE} Second International Conference on
                  Social Computing, SocialCom / {IEEE} International Conference on Privacy,
                  Security, Risk and Trust, {PASSAT} 2010, Minneapolis, Minnesota, USA,
                  August 20-22, 2010},
  pages        = {480--487},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SocialCom.2010.76},
  doi          = {10.1109/SOCIALCOM.2010.76},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socialcom/ScherlIG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaralGR09,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  J. Nelson Rushton},
  title        = {Probabilistic reasoning with answer sets},
  journal      = {Theory Pract. Log. Program.},
  volume       = {9},
  number       = {1},
  pages        = {57--144},
  year         = {2009},
  url          = {https://doi.org/10.1017/S1471068408003645},
  doi          = {10.1017/S1471068408003645},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BaralGR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MellarkodGZ08,
  author       = {Veena S. Mellarkod and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Integrating answer set programming and constraint logic programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {53},
  number       = {1-4},
  pages        = {251--287},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10472-009-9116-y},
  doi          = {10.1007/S10472-009-9116-Y},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MellarkodGZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BalducciniG08,
  author       = {Marcello Balduccini and
                  Michael Gelfond},
  title        = {The {AAA} Architecture: An Overview},
  booktitle    = {Architectures for Intelligent Theory-Based Agents, Papers from the
                  2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
                  California, USA, March 26-28, 2008},
  pages        = {1--6},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-001.php},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BalducciniG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MellarkodG08,
  author       = {Veena S. Mellarkod and
                  Michael Gelfond},
  editor       = {Jacques Garrigue and
                  Manuel V. Hermenegildo},
  title        = {Integrating Answer Set Reasoning with Constraint Solving Techniques},
  booktitle    = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
                  2008, Ise, Japan, April 14-16, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4989},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78969-7\_4},
  doi          = {10.1007/978-3-540-78969-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/MellarkodG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GelfondL08,
  author       = {Michael Gelfond and
                  Jorge Lobo},
  editor       = {Maria Garcia de la Banda and
                  Enrico Pontelli},
  title        = {Authorization and Obligation Policies in Dynamic Systems},
  booktitle    = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
                  Italy, December 9-13 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5366},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89982-2\_7},
  doi          = {10.1007/978-3-540-89982-2\_7},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/GelfondL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/MellarkodGZ08,
  author       = {Veena S. Mellarkod and
                  Michael Gelfond and
                  Yuanlin Zhang},
  title        = {Integrating Answer Programming and Constraint Logic Programming},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year         = {2008},
  url          = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/MGelfond-ss1.pdf},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaim/MellarkodGZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Gelfond08,
  author       = {Michael Gelfond},
  editor       = {Frank van Harmelen and
                  Vladimir Lifschitz and
                  Bruce W. Porter},
  title        = {Answer Sets},
  booktitle    = {Handbook of Knowledge Representation},
  series       = {Foundations of Artificial Intelligence},
  volume       = {3},
  pages        = {285--316},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/S1574-6526(07)03007-6},
  doi          = {10.1016/S1574-6526(07)03007-6},
  timestamp    = {Mon, 06 Nov 2023 17:08:49 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/Gelfond08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-0659,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  J. Nelson Rushton},
  title        = {Probabilistic reasoning with answer sets},
  journal      = {CoRR},
  volume       = {abs/0812.0659},
  year         = {2008},
  url          = {http://arxiv.org/abs/0812.0659},
  eprinttype    = {arXiv},
  eprint       = {0812.0659},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0812-0659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/ChintabathinaGW07,
  author       = {Sandeep Chintabathina and
                  Michael Gelfond and
                  Richard Watson},
  title        = {Defeasible Laws, Parallel Actions, and Reasoning about Resources},
  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        = {35--40},
  publisher    = {{AAAI}},
  year         = {2007},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-007.php},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/ChintabathinaGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BalducciniGN06,
  author       = {Marcello Balduccini and
                  Michael Gelfond and
                  Monica L. Nogueira},
  title        = {Answer set based design of knowledge systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {47},
  number       = {1-2},
  pages        = {183--219},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10472-006-9026-1},
  doi          = {10.1007/S10472-006-9026-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BalducciniGN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GelfondRZ06,
  author       = {Michael Gelfond and
                  J. Nelson Rushton and
                  Weijun Zhu},
  title        = {Combining Logical and Probabilistic Reasoning},
  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        = {50--55},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-008.php},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/GelfondRZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Gelfond06,
  author       = {Michael Gelfond},
  title        = {Going Places: Notes on a Modular Development of Knowledge about Travel},
  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        = {56--66},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-009.php},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Gelfond06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GonzalezBG05,
  author       = {Graciela Gonzalez and
                  Chitta Baral and
                  Michael Gelfond},
  title        = {Alan: An Action Language For Modelling Non-Markovian Domains},
  journal      = {Stud Logica},
  volume       = {79},
  number       = {1},
  pages        = {115--134},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-0498-5},
  doi          = {10.1007/S11225-005-0498-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GonzalezBG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaralG05,
  author       = {Chitta Baral and
                  Michael Gelfond},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Reasoning about Intended Actions},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {689--694},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-108.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BaralG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonTGM05,
  author       = {Tran Cao Son and
                  Phan Huy Tu and
                  Michael Gelfond and
                  A. Ricardo Morales},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Conformant Planning for Domains with Constraints-A New Approach},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {1211--1216},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-192.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SonTGM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BaralGS05,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Richard B. Scherl},
  title        = {Answer Set Programming as the Basis for a Homeland Security {QAS}},
  booktitle    = {{AI} Technologies for Homeland Security, Papers from the 2005 {AAAI}
                  Spring Symposium, Technical Report SS-05-01, Stanford, California,
                  USA, March 21-23, 2005},
  pages        = {149--150},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-01-029.php},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BaralGS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/BaseliceBG05,
  author       = {Sabrina Baselice and
                  Piero A. Bonatti and
                  Michael Gelfond},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {A Preliminary Report on Integrating of Answer Set and Constraint Solving},
  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/page13-p.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/BaseliceBG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/ChintabathinaGW05,
  author       = {Sandeep Chintabathina and
                  Michael Gelfond and
                  Richard Watson},
  editor       = {Marina De Vos and
                  Alessandro Provetti},
  title        = {Modeling Hybrid Domains Using Process Description Language},
  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/page303.pdf},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asp/ChintabathinaGW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaseliceBG05,
  author       = {Sabrina Baselice and
                  Piero A. Bonatti and
                  Michael Gelfond},
  editor       = {Maurizio Gabbrielli and
                  Gopal Gupta},
  title        = {Towards an Integration of Answer Set and Constraint Solving},
  booktitle    = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
                  Spain, October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3668},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562931\_7},
  doi          = {10.1007/11562931\_7},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BaseliceBG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonTGM05,
  author       = {Tran Cao Son and
                  Phan Huy Tu and
                  Michael Gelfond and
                  A. Ricardo Morales},
  editor       = {Chitta Baral and
                  Gianluigi Greco and
                  Nicola Leone and
                  Giorgio Terracina},
  title        = {An Approximation of Action Theories of and Its Application to Conformant
                  Planning},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
                  {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3662},
  pages        = {172--184},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11546207\_14},
  doi          = {10.1007/11546207\_14},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/SonTGM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/BaralG05,
  author       = {Chitta Baral and
                  Michael Gelfond},
  editor       = {Michael Fisher and
                  Dov M. Gabbay and
                  Llu{\'{\i}}s Vila},
  title        = {Logic Programming and Reasoning about Actions},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {389--426},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/S1574-6526(05)80015-X},
  doi          = {10.1016/S1574-6526(05)80015-X},
  timestamp    = {Mon, 06 Nov 2023 17:08:49 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/BaralG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gelfond04,
  author       = {Michael Gelfond},
  editor       = {Bart Demoen and
                  Vladimir Lifschitz},
  title        = {Answer Set Programming and the Design of Deliberative Agents},
  booktitle    = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
                  France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3132},
  pages        = {19--26},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27775-0\_2},
  doi          = {10.1007/978-3-540-27775-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Gelfond04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaralGR04,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  J. Nelson Rushton},
  editor       = {Vladimir Lifschitz and
                  Ilkka Niemel{\"{a}}},
  title        = {Probabilistic Reasoning With Answer Sets},
  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        = {21--33},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24609-1\_5},
  doi          = {10.1007/978-3-540-24609-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BaralGR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BalducciniG03,
  author       = {Marcello Balduccini and
                  Michael Gelfond},
  title        = {Diagnostic reasoning with A-Prolog},
  journal      = {Theory Pract. Log. Program.},
  volume       = {3},
  number       = {4-5},
  pages        = {425--461},
  year         = {2003},
  url          = {https://doi.org/10.1017/S1471068403001807},
  doi          = {10.1017/S1471068403001807},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BalducciniG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312040,
  author       = {Marcello Balduccini and
                  Michael Gelfond},
  title        = {Diagnostic reasoning with A-Prolog},
  journal      = {CoRR},
  volume       = {cs.AI/0312040},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312040},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GelfondL02,
  author       = {Michael Gelfond and
                  Nicola Leone},
  title        = {Knowledge Representation and Logic Programming},
  journal      = {Artif. Intell.},
  volume       = {138},
  number       = {1-2},
  pages        = {1},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0004-3702(02)00206-0},
  doi          = {10.1016/S0004-3702(02)00206-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GelfondL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GelfondL02a,
  author       = {Michael Gelfond and
                  Nicola Leone},
  title        = {Logic programming and knowledge representation - The A-Prolog perspective},
  journal      = {Artif. Intell.},
  volume       = {138},
  number       = {1-2},
  pages        = {3--38},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0004-3702(02)00207-2},
  doi          = {10.1016/S0004-3702(02)00207-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GelfondL02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GelfondW02,
  author       = {Michael Gelfond and
                  Richard Watson},
  title        = {On methodology of representing knowledge in dynamic domains},
  journal      = {Sci. Comput. Program.},
  volume       = {42},
  number       = {1},
  pages        = {87--99},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0167-6423(01)00030-2},
  doi          = {10.1016/S0167-6423(01)00030-2},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GelfondW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gelfond02,
  author       = {Michael Gelfond},
  editor       = {Antonis C. Kakas and
                  Fariba Sadri},
  title        = {Representing Knowledge in A-Prolog},
  booktitle    = {Computational Logic: Logic Programming and Beyond, Essays in Honour
                  of Robert A. Kowalski, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2408},
  pages        = {413--451},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45632-5\_16},
  doi          = {10.1007/3-540-45632-5\_16},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Gelfond02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Gelfond02,
  author       = {Michael Gelfond},
  editor       = {Sergio Flesca and
                  Sergio Greco and
                  Nicola Leone and
                  Giovambattista Ianni},
  title        = {The USA-Advisor: {A} Case Study in Answer Set Programming},
  booktitle    = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
                  Cosenza, Italy, September, 23-26, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2424},
  pages        = {566--568},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45757-7\_55},
  doi          = {10.1007/3-540-45757-7\_55},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Gelfond02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/GelfondG01,
  author       = {Michael Gelfond and
                  Joel Galloway},
  editor       = {Alessandro Provetti and
                  Tran Cao Son},
  title        = {Diagnosing Dynamic Systems in {A} Prolog},
  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/9.ps},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asp/GelfondG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/NogueiraBGWB01,
  author       = {Monica L. Nogueira and
                  Marcello Balduccini and
                  Michael Gelfond and
                  Richard Watson and
                  Matthew Barry},
  editor       = {Alessandro Provetti and
                  Tran Cao Son},
  title        = {An {A} Prolog decision support system for the Space Shuttle},
  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/10.ps},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asp/NogueiraBGWB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GelfondBG01,
  author       = {Michael Gelfond and
                  Marcello Balduccini and
                  Joel Galloway},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {Diagnosing Physical Systems in A-Prolog},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {213--225},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_16},
  doi          = {10.1007/3-540-45402-0\_16},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondBG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BalducciniGWN01,
  author       = {Marcello Balduccini and
                  Michael Gelfond and
                  Richard Watson and
                  Monica L. Nogueira},
  editor       = {Thomas Eiter and
                  Wolfgang Faber and
                  Miroslaw Truszczynski},
  title        = {The USA-Advisor: {A} Case Study in Answer Set Planning},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
                  {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2173},
  pages        = {439--442},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45402-0\_39},
  doi          = {10.1007/3-540-45402-0\_39},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BalducciniGWN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NogueiraBGWB01,
  author       = {Monica L. Nogueira and
                  Marcello Balduccini and
                  Michael Gelfond and
                  Richard Watson and
                  Matthew Barry},
  editor       = {I. V. Ramakrishnan},
  title        = {An A-Prolog Decision Support System for the Space Shuttle},
  booktitle    = {Practical Aspects of Declarative Languages, Third International Symposium,
                  {PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1990},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45241-9\_12},
  doi          = {10.1007/3-540-45241-9\_12},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/NogueiraBGWB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GelfondG99,
  author       = {Michael Gelfond and
                  Alfredo Gabaldon},
  title        = {Building a Knowledge Base: An Example},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {25},
  number       = {3-4},
  pages        = {165--199},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1018938324292},
  doi          = {10.1023/A:1018938324292},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GelfondG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
  editor       = {Michael Gelfond and
                  Nicola Leone and
                  Gerald Pfeifer},
  title        = {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},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46767-X},
  doi          = {10.1007/3-540-46767-X},
  isbn         = {3-540-66749-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/1999.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}
}
@article{DBLP:journals/jlp/BaralGK98,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Olga Kosheleva},
  title        = {Expanding Queries to Incomplete Databases by Interpolating General
                  Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {195--230},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0743-1066(97)10011-5},
  doi          = {10.1016/S0743-1066(97)10011-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralGK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GelfondW99,
  author       = {Michael Gelfond and
                  Richard Watson},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {On Methodology of Representing Knowledge in Dynamic Domains},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {121--132},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00137-9},
  doi          = {10.1016/S1571-0661(04)00137-9},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GelfondW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaralG97,
  author       = {Chitta Baral and
                  Michael Gelfond},
  title        = {Reasoning About Effects of Concurrent Actions},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {85--117},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00140-9},
  doi          = {10.1016/S0743-1066(96)00140-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaralGP97,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Alessandro Provetti},
  title        = {Representing Actions: Laws, Observations and Hypotheses},
  journal      = {J. Log. Program.},
  volume       = {31},
  number       = {1-3},
  pages        = {201--243},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0743-1066(96)00141-0},
  doi          = {10.1016/S0743-1066(96)00141-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralGP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpkr/GelfondS97,
  author       = {Michael Gelfond and
                  Tran Cao Son},
  editor       = {J{\"{u}}rgen Dix and
                  Lu{\'{\i}}s Moniz Pereira and
                  Teodor C. Przymusinski},
  title        = {Reasoning with Prioritized Defaults},
  booktitle    = {Logic Programming and Knowledge Representation, Third International
                  Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997,
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1471},
  pages        = {164--223},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0054795},
  doi          = {10.1007/BFB0054795},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpkr/GelfondS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Gelfond97,
  author       = {Michael Gelfond},
  editor       = {J{\"{u}}rgen Dix and
                  Ulrich Furbach and
                  Anil Nerode},
  title        = {Towards a Systematic Approach to Representing Knowledge in Declarative
                  Logic Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
                  LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1265},
  pages        = {222--223},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63255-7\_17},
  doi          = {10.1007/3-540-63255-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/Gelfond97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GelfondG97,
  author       = {Michael Gelfond and
                  Alfredo Gabaldon},
  editor       = {Jan Maluszynski},
  title        = {From Functional Specifications to Logic Programms},
  booktitle    = {Logic Programming, Proceedings of the 1997 International Symposium,
                  Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
  pages        = {355--369},
  publisher    = {{MIT} Press},
  year         = {1997},
  timestamp    = {Fri, 10 Jul 2015 12:20:33 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/GelfondG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GelfondP96,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  title        = {Towards a Theory of Elaboration Tolerance: Logic Programming Approach},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {6},
  number       = {1},
  pages        = {89--112},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218194096000053},
  doi          = {10.1142/S0218194096000053},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/GelfondP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Gelfond94,
  author       = {Michael Gelfond},
  title        = {Logic Programming and Reasoning with Incomplete Information},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {12},
  number       = {1-2},
  pages        = {89--116},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01530762},
  doi          = {10.1007/BF01530762},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Gelfond94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BaralG94,
  author       = {Chitta Baral and
                  Michael Gelfond},
  title        = {Logic Programming and Knowledge Representation},
  journal      = {J. Log. Program.},
  volume       = {19/20},
  pages        = {73--148},
  year         = {1994},
  url          = {https://doi.org/10.1016/0743-1066(94)90025-6},
  doi          = {10.1016/0743-1066(94)90025-6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BaralG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/TraylorG94,
  author       = {Bonnie Traylor and
                  Michael Gelfond},
  editor       = {Anil Nerode and
                  Yuri V. Matiyasevich},
  title        = {Representing Null Values in Logic Programming},
  booktitle    = {Logical Foundations of Computer Science, Third International Symposium,
                  LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {813},
  pages        = {341--352},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58140-5\_32},
  doi          = {10.1007/3-540-58140-5\_32},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/TraylorG94.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/ijcai/BaralG93,
  author       = {Chitta Baral and
                  Michael Gelfond},
  editor       = {Ruzena Bajcsy},
  title        = {Representing Concurrent Actions in Extended Logic Programming},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {866--873},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-2/Papers/005.pdf},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BaralG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GelfondP93,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Anil Nerode},
  title        = {Reasoning on Open Domains},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  Second International Workshop, Lisbon, Portugal, June 1993},
  pages        = {397--413},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BaralGK93,
  author       = {Chitta Baral and
                  Michael Gelfond and
                  Olga Kosheleva},
  editor       = {Dale Miller},
  title        = {Approximating General Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1993 International Symposium,
                  Vancouver, British Columbia, Canada, October 26-29, 1993},
  pages        = {181--198},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/BaralGK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GelfondP92,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  title        = {On consistency and completeness of autoepistemic theories},
  journal      = {Fundam. Informaticae},
  volume       = {16},
  number       = {1},
  pages        = {59--92},
  year         = {1992},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GelfondP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gelfond92,
  author       = {Michael Gelfond},
  title        = {Editorial},
  journal      = {J. Log. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {1--4},
  year         = {1992},
  url          = {https://doi.org/10.1093/logcom/2.1.1},
  doi          = {10.1093/LOGCOM/2.1.1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Gelfond92.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}
}
@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/aaai/Gelfond91,
  author       = {Michael Gelfond},
  editor       = {Thomas L. Dean and
                  Kathleen R. McKeown},
  title        = {Strong Introspection},
  booktitle    = {Proceedings of the 9th National Conference on Artificial Intelligence,
                  Anaheim, CA, USA, July 14-19, 1991, Volume 1},
  pages        = {386--391},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1991},
  url          = {http://www.aaai.org/Library/AAAI/1991/aaai91-060.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Gelfond91.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/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/lpnmr/GelfondP91,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  editor       = {Anil Nerode and
                  V. Wiktor Marek and
                  V. S. Subrahmanian},
  title        = {Definitions in Epistemic Specifications},
  booktitle    = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
                  First International Workshop, Washington, D.C., USA, July 1991},
  pages        = {245--259},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Mon, 20 Mar 2017 14:37:29 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/GelfondP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/GelfondPP90,
  author       = {Michael Gelfond and
                  Halina Przymusinska and
                  Teodor C. Przymusinski},
  title        = {On the relationship between CWA, minimal model, and minimal herbrand
                  model semantics},
  journal      = {Int. J. Intell. Syst.},
  volume       = {5},
  number       = {5},
  pages        = {549--564},
  year         = {1990},
  url          = {https://doi.org/10.1002/int.4550050507},
  doi          = {10.1002/INT.4550050507},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/GelfondPP90.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/GelfondPP89,
  author       = {Michael Gelfond and
                  Halina Przymusinska and
                  Teodor C. Przymusinski},
  title        = {On the Relationship Between Circumscription and Negation as Failure},
  journal      = {Artif. Intell.},
  volume       = {38},
  number       = {1},
  pages        = {75--94},
  year         = {1989},
  url          = {https://doi.org/10.1016/0004-3702(89)90068-4},
  doi          = {10.1016/0004-3702(89)90068-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GelfondPP89.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/ismis/GelfondPP88,
  author       = {Michael Gelfond and
                  Halina Przymusinska and
                  Teodor C. Przymusinski},
  editor       = {Zbigniew W. Ras and
                  Lorenza Saitta},
  title        = {Minimal Model Semantics vs. Negation as Failure: {A} Comparison of
                  Semantics},
  booktitle    = {Methodologies for Intelligent Systems, 3, Proceedings of the Third
                  International Symposium on Methodologies for Intelligent Systems,
                  Turin, Italy, October 12-15, 1988},
  pages        = {435--443},
  publisher    = {North-Holland/Elsevier},
  year         = {1988},
  timestamp    = {Mon, 22 May 2017 09:56:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/GelfondPP88.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/Gelfond88,
  author       = {Michael Gelfond},
  editor       = {Michael Reinfrank and
                  Johan de Kleer and
                  Matthew L. Ginsberg and
                  Erik Sandewall},
  title        = {Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary
                  Report},
  booktitle    = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
                  June 13-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {346},
  pages        = {176--186},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50701-9\_27},
  doi          = {10.1007/3-540-50701-9\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/Gelfond88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gelfond87,
  author       = {Michael Gelfond},
  editor       = {Kenneth D. Forbus and
                  Howard E. Shrobe},
  title        = {On Stratified Autoepistemic Theories},
  booktitle    = {Proceedings of the 6th National Conference on Artificial Intelligence.
                  Seattle, WA, USA, July 1987},
  pages        = {207--211},
  publisher    = {Morgan Kaufmann},
  year         = {1987},
  url          = {http://www.aaai.org/Library/AAAI/1987/aaai87-037.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Gelfond87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GelfondP86,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  title        = {Negation as Failure: Careful Closure Procedure},
  journal      = {Artif. Intell.},
  volume       = {30},
  number       = {3},
  pages        = {273--287},
  year         = {1986},
  url          = {https://doi.org/10.1016/0004-3702(86)90001-9},
  doi          = {10.1016/0004-3702(86)90001-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GelfondP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/GelfondP86,
  author       = {Michael Gelfond and
                  Halina Przymusinska},
  editor       = {Zbigniew W. Ras and
                  Maria Zemankova},
  title        = {On the relationship between autoepistemic logic and parallel circumscription},
  booktitle    = {Proceedings of the {ACM} {SIGART} International Symposium on Methodologies
                  for Intelligent Systems, {ISMIS} 1986, Knoxville, Tennessee, USA,
                  October 22-24, 1986},
  pages        = {256--261},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/12808.12836},
  doi          = {10.1145/12808.12836},
  timestamp    = {Fri, 25 Mar 2022 14:23:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ismis/GelfondP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/GelfondPP86,
  author       = {Michael Gelfond and
                  Halina Przymusinska and
                  Teodor C. Przymusinski},
  editor       = {Avi Silberschatz},
  title        = {The Extended Closed World Assumpution and its Relationship to Parallel
                  Circumscription},
  booktitle    = {Proceedings of the Fifth {ACM} {SIGACT-SIGMOD} Symposium on Principles
                  of Database Systems, March 24-26, 1986, Cambridge, Massachusetts,
                  {USA}},
  pages        = {133--139},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/6012.15410},
  doi          = {10.1145/6012.15410},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pods/GelfondPP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics