@inproceedings{DBLP:journals/corr/abs-2601-04272,
  author       = {Sanderson Molick and
                  Vaishak Belle},
  editor       = {Martin Gebser and
                  Daniela Inclezan and
                  Francesco Ricca and
                  Manuel Carro and
                  Miroslaw Truszczynski},
  title        = {Propositional Abduction via Only-Knowing: {A} Non-Monotonic Approach},
  booktitle    = {Proceedings 41st International Conference on Logic Programming, {ICLP}
                  2025, Rende, Italy, 12-19th September 2025},
  series       = {{EPTCS}},
  pages        = {5--17},
  year         = {2025},
  month        = jan,
  url          = {https://doi.org/10.4204/EPTCS.439.2},
  doi          = {10.4204/EPTCS.439.2},
  timestamp    = {Fri, 27 Feb 2026 14:42:08 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2601-04272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LwRr3MNacB4zaReRF","bibbaseid":"molick-belle-propositionalabductionviaonlyknowinganonmonotonicapproach-2025","author_short":["Molick, S.","Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sanderson"],"propositions":[],"lastnames":["Molick"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Gebser"],"suffixes":[]},{"firstnames":["Daniela"],"propositions":[],"lastnames":["Inclezan"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Ricca"],"suffixes":[]},{"firstnames":["Manuel"],"propositions":[],"lastnames":["Carro"],"suffixes":[]},{"firstnames":["Miroslaw"],"propositions":[],"lastnames":["Truszczynski"],"suffixes":[]}],"title":"Propositional Abduction via Only-Knowing: A Non-Monotonic Approach","booktitle":"Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025","series":"EPTCS","pages":"5–17","year":"2025","month":"January","url":"https://doi.org/10.4204/EPTCS.439.2","doi":"10.4204/EPTCS.439.2","timestamp":"Fri, 27 Feb 2026 14:42:08 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2601-04272.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2601-04272,\n author = {Sanderson Molick and\n Vaishak Belle},\n editor = {Martin Gebser and\n Daniela Inclezan and\n Francesco Ricca and\n Manuel Carro and\n Miroslaw Truszczynski},\n title = {Propositional Abduction via Only-Knowing: {A} Non-Monotonic Approach},\n booktitle = {Proceedings 41st International Conference on Logic Programming, {ICLP}\n 2025, Rende, Italy, 12-19th September 2025},\n series = {{EPTCS}},\n pages = {5--17},\n year = {2025},\n month = jan,\n url = {https://doi.org/10.4204/EPTCS.439.2},\n doi = {10.4204/EPTCS.439.2},\n timestamp = {Fri, 27 Feb 2026 14:42:08 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2601-04272.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Molick, S.","Belle, V."],"editor_short":["Gebser, M.","Inclezan, D.","Ricca, F.","Carro, M.","Truszczynski, M."],"key":"DBLP:journals/corr/abs-2601-04272","id":"DBLP:journals/corr/abs-2601-04272","bibbaseid":"molick-belle-propositionalabductionviaonlyknowinganonmonotonicapproach-2025","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.439.2"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["propositional","abduction","via","knowing","non","monotonic","approach","molick","belle"],"title":"Propositional Abduction via Only-Knowing: A Non-Monotonic Approach","year":2025}