Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Michael Gelfond
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.