From 90d20bd0d19f2ae6ab3db30cb6dfd16453ccd5a4 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 13 Jun 2024 12:43:14 +0200 Subject: [PATCH 01/12] fafage22a --- krr.bib | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/krr.bib b/krr.bib index 6ed86a8..e1f1bb8 100644 --- a/krr.bib +++ b/krr.bib @@ -9434,6 +9434,16 @@ @inproceedings{fabwol09a pages = {115-128} } +@article{fafage22a, + title = {Thirty years of Epistemic Specifications}, + author = {J. Fandinno and W. Faber and M. Gelfond}, + journal = tplp, + number = {6}, + pages = {1043-1083}, + volume = {22}, + year = {2022} +} + @article{fafrhascsc16a, title = {Twenty-Five Years of Successful Application of Constraint Technologies at Siemens}, author = {A. Falkner and G. Friedrich and A. Haselb{\"{o}}ck and G. Schenner and H. Schreiner}, From c0e585d69c48246553fd1fea3b2675cd03406d6c Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 13 Jun 2024 15:35:18 +0200 Subject: [PATCH 02/12] update --- krr.bib | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/krr.bib b/krr.bib index e1f1bb8..aa82b60 100644 --- a/krr.bib +++ b/krr.bib @@ -11327,6 +11327,25 @@ @inproceedings{gelfond87a pages = {207-211} } +@inproceedings{gelfond91a, + title = {Strong Introspection}, + author = {M. Gelfond}, + booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence}, + crossref = {aaai91}, + pages = {386-391}, + year = {1991} +} + +@article{gelfond94a, + title = {Logic Programming and Reasoning with Incomplete Information}, + author = {M. Gelfond}, + journal = amai, + number = {1-2}, + pages = {89-116}, + volume = {12}, + year = {1994} +} + @inproceedings{gelgab97a, title = {From Functional Specifications to Logic Programms}, author = {M. Gelfond and A. Gabaldon}, @@ -11448,6 +11467,16 @@ @article{gelope05a year = {2005} } +@inproceedings{gelpri93a, + title = {Reasoning on Open Domains}, + author = {M. Gelfond and +H. Przymusinska}, + booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the +Second International Workshop, Lisbon, Portugal, June 1993}, + crossref = {lpnmr93}, + pages = {397-413} +} + @article{gelprz86, title = {Negation as Failure: Careful Closure Procedure}, author = {M. Gelfond and H. Przymusinska}, From fc5b11f19248e961c46c4108f57e082043327f3d Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 13 Jun 2024 15:57:47 +0200 Subject: [PATCH 03/12] update --- krr.bib | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/krr.bib b/krr.bib index aa82b60..377aeb4 100644 --- a/krr.bib +++ b/krr.bib @@ -23013,6 +23013,13 @@ @article{sointabana10a year = {2010} } +@inproceedings{solekale17a, + title = {On Computing World Views of Epistemic Logic Programs}, + author = {T. Son and T. Le and P. Kahl and A. Leclerc}, + crosref = {ijcai17}, + pages = {1269-1275} +} + @article{sonbar01a, title = {Formalizing sensing actions - A transition function based approach}, author = {T. Son and C. Baral}, From d63b9d148a4f81985e459a2a673ec83c92893ca2 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 13 Jun 2024 16:00:46 +0200 Subject: [PATCH 04/12] update --- krr.bib | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/krr.bib b/krr.bib index 377aeb4..7754f6b 100644 --- a/krr.bib +++ b/krr.bib @@ -23017,7 +23017,8 @@ @inproceedings{solekale17a title = {On Computing World Views of Epistemic Logic Programs}, author = {T. Son and T. Le and P. Kahl and A. Leclerc}, crosref = {ijcai17}, - pages = {1269-1275} + pages = {1269-1275}, + year = {2017} } @article{sonbar01a, From b69215ba3302a80027db492bad961a31877cbc1e Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Thu, 13 Jun 2024 18:15:43 +0200 Subject: [PATCH 05/12] update --- krr.bib | 31 ++++++++++++++++++++++++++++++- procs.bib | 25 +++++++++++++++++++++++++ 2 files changed, 55 insertions(+), 1 deletion(-) diff --git a/krr.bib b/krr.bib index 7754f6b..46deac5 100644 --- a/krr.bib +++ b/krr.bib @@ -11474,7 +11474,8 @@ @inproceedings{gelpri93a booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993}, crossref = {lpnmr93}, - pages = {397-413} + pages = {397-413}, + year = {1993} } @article{gelprz86, @@ -25749,3 +25750,31 @@ @inproceedings{zlapop90 pages = {259-271}, year = {1990} } + +@inproceedings{fabmor23a, + title = {Evaluating Epistemic Logic Programs via Answer Set Programming with +Quantifiers}, + author = {W. Faber and M. Morak}, + crossref = {aaai23}, + pages = {6322-6329}, + year = {2023} +} + +@misc{leckah18a, + title = {A survey of advances in epistemic logic program solvers}, + author = {A. Leclerc and P. Kahl}, + archiveprefix = {arXiv}, + eprint = {1809.07141}, + primaryclass = {cs.AI}, + year = {2018} +} + +@article{bimowo20a, + title = {selp: {A} Single-Shot Epistemic Logic Program Solver}, + author = {M. Bichler and M. Morak and S. Woltran}, + journal = tplp, + number = {4}, + pages = {435-455}, + volume = {20}, + year = {2020} +} diff --git a/procs.bib b/procs.bib index bd60d30..cd67845 100644 --- a/procs.bib +++ b/procs.bib @@ -145,6 +145,13 @@ @proceedings{aaai22 year = {2022} } +@proceedings{aaai23, + title = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)}, + booktitle = {Proceedings of the Thirty-seventh National Conference on Artificial Intelligence (AAAI'23)}, + publisher = {{AAAI} Press}, + year = {2023} +} + @proceedings{aaai87, title = {Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)}, editor = {K. Forbus and H. Shrobe}, @@ -169,6 +176,14 @@ @proceedings{aaai90 year = {1990} } +@proceedings{aaai91, + title = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)}, + editor = {T. Dean and K. McKeown:}, + booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)}, + publisher = {{AAAI} Press}, + year = {1991} +} + @proceedings{aaai94, title = {Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI'94)}, editor = {B. Hayes-Roth and R. Korf}, @@ -3116,6 +3131,16 @@ @proceedings{lpnmr22 year = {2022} } +@proceedings{lpnmr93, + title = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)}, + editor = {L. Pereira and A. Nerode}, + booktitle = {Proceedings of the Second International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'93)}, + publisher = springer, + series = lnai, + volume = {928}, + year = {1993} +} + @proceedings{lpnmr95, title = {Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'95)}, editor = {V. Marek and A. Nerode}, From 0ab8f2b16cfa17013224baacc1b68288f30c8d2b Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:32:04 +0200 Subject: [PATCH 06/12] update --- krr.bib | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/krr.bib b/krr.bib index 46deac5..b539dc9 100644 --- a/krr.bib +++ b/krr.bib @@ -25778,3 +25778,44 @@ @article{bimowo20a volume = {20}, year = {2020} } + +@article{kawabagezh15a, + author = "Kahl, P. and Watson, R. and Balai, E. and Gelfond, M. and Zhang, Y.", + title = "The language of epistemic specifications (refined) including a prototype solver", + journal = "Journal of Logic and Computation", + year = 2015, + month = 09, + issn = "0955-792X", +} + +@inproceedings{gelfond11a, + author = "M. Gelfond", + title = "New Semantics for Epistemic Specifications", + pages = "260-265", + year = {2011}, + crossref = "lpnmr11" +} + +@article{sheeit16a, + author = "Y. Shen and T. Eiter", + title = "Evaluating Epistemic Negation in Answer Set Programming", + journal = {Artificial Intelligence}, + volume = 237, + pages = "115-135", + year = 2016 +} + +@inproceedings{sheeit17a, + author = "Y. Shen and T. Eiter", + title = "Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)", + pages = "5060-5064", + year = {2017}, + crossref = "ijcai17" +} + +@inproceedings{kaleso16a, + author = "P. Kahl and A. Leclerc and T. Son", + title = "A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, + Better, Faster", + crossref = {aspocp16}, +} \ No newline at end of file From 917f8d5ca25b860d4b741a93d900a7e9f40fe47e Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:34:23 +0200 Subject: [PATCH 07/12] update --- krr.bib | 57 ++++++++++++++++++++++++++++----------------------------- 1 file changed, 28 insertions(+), 29 deletions(-) diff --git a/krr.bib b/krr.bib index b539dc9..d4edb74 100644 --- a/krr.bib +++ b/krr.bib @@ -11469,8 +11469,7 @@ @article{gelope05a @inproceedings{gelpri93a, title = {Reasoning on Open Domains}, - author = {M. Gelfond and -H. Przymusinska}, + author = {M. Gelfond and H. Przymusinska}, booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993}, crossref = {lpnmr93}, @@ -25780,42 +25779,42 @@ @article{bimowo20a } @article{kawabagezh15a, - author = "Kahl, P. and Watson, R. and Balai, E. and Gelfond, M. and Zhang, Y.", - title = "The language of epistemic specifications (refined) including a prototype solver", - journal = "Journal of Logic and Computation", - year = 2015, - month = 09, - issn = "0955-792X", + title = {The language of epistemic specifications (refined) including a prototype solver}, + author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, + issn = {0955-792X}, + journal = {Journal of Logic and Computation}, + month = {09}, + year = {2015} } @inproceedings{gelfond11a, - author = "M. Gelfond", - title = "New Semantics for Epistemic Specifications", - pages = "260-265", - year = {2011}, - crossref = "lpnmr11" + title = {New Semantics for Epistemic Specifications}, + author = {M. Gelfond}, + crossref = {lpnmr11}, + pages = {260-265}, + year = {2011} } @article{sheeit16a, - author = "Y. Shen and T. Eiter", - title = "Evaluating Epistemic Negation in Answer Set Programming", - journal = {Artificial Intelligence}, - volume = 237, - pages = "115-135", - year = 2016 + title = {Evaluating Epistemic Negation in Answer Set Programming}, + author = {Y. Shen and T. Eiter}, + journal = {Artificial Intelligence}, + pages = {115-135}, + volume = {237}, + year = {2016} } @inproceedings{sheeit17a, - author = "Y. Shen and T. Eiter", - title = "Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)", - pages = "5060-5064", - year = {2017}, - crossref = "ijcai17" + title = {Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)}, + author = {Y. Shen and T. Eiter}, + crossref = {ijcai17}, + pages = {5060-5064}, + year = {2017} } @inproceedings{kaleso16a, - author = "P. Kahl and A. Leclerc and T. Son", - title = "A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, - Better, Faster", - crossref = {aspocp16}, -} \ No newline at end of file + title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, +Better, Faster}, + author = {P. Kahl and A. Leclerc and T. Son}, + crossref = {aspocp16} +} From ceab2987bdee95adff4f394983875e8c96788304 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:40:05 +0200 Subject: [PATCH 08/12] update --- krr.bib | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/krr.bib b/krr.bib index d4edb74..9f93b35 100644 --- a/krr.bib +++ b/krr.bib @@ -11330,7 +11330,6 @@ @inproceedings{gelfond87a @inproceedings{gelfond91a, title = {Strong Introspection}, author = {M. Gelfond}, - booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence}, crossref = {aaai91}, pages = {386-391}, year = {1991} @@ -11470,8 +11469,6 @@ @article{gelope05a @inproceedings{gelpri93a, title = {Reasoning on Open Domains}, author = {M. Gelfond and H. Przymusinska}, - booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the -Second International Workshop, Lisbon, Portugal, June 1993}, crossref = {lpnmr93}, pages = {397-413}, year = {1993} @@ -25751,8 +25748,7 @@ @inproceedings{zlapop90 } @inproceedings{fabmor23a, - title = {Evaluating Epistemic Logic Programs via Answer Set Programming with -Quantifiers}, + title = {Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers}, author = {W. Faber and M. Morak}, crossref = {aaai23}, pages = {6322-6329}, @@ -25782,7 +25778,7 @@ @article{kawabagezh15a title = {The language of epistemic specifications (refined) including a prototype solver}, author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, issn = {0955-792X}, - journal = {Journal of Logic and Computation}, + journal = jlc, month = {09}, year = {2015} } @@ -25798,7 +25794,7 @@ @inproceedings{gelfond11a @article{sheeit16a, title = {Evaluating Epistemic Negation in Answer Set Programming}, author = {Y. Shen and T. Eiter}, - journal = {Artificial Intelligence}, + journal = aij, pages = {115-135}, volume = {237}, year = {2016} @@ -25813,8 +25809,7 @@ @inproceedings{sheeit17a } @inproceedings{kaleso16a, - title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, -Better, Faster}, + title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster}, author = {P. Kahl and A. Leclerc and T. Son}, crossref = {aspocp16} } From 1510e877641be6b981036b1f50c5167540278b7c Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:41:06 +0200 Subject: [PATCH 09/12] update --- krr.bib | 2 -- 1 file changed, 2 deletions(-) diff --git a/krr.bib b/krr.bib index 9f93b35..67368cb 100644 --- a/krr.bib +++ b/krr.bib @@ -25777,9 +25777,7 @@ @article{bimowo20a @article{kawabagezh15a, title = {The language of epistemic specifications (refined) including a prototype solver}, author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, - issn = {0955-792X}, journal = jlc, - month = {09}, year = {2015} } From 619e3557c7542c5f247eaff7bf2dd18829d3b4a6 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:41:29 +0200 Subject: [PATCH 10/12] update --- krr.bib | 130 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 65 insertions(+), 65 deletions(-) diff --git a/krr.bib b/krr.bib index 67368cb..88f6423 100644 --- a/krr.bib +++ b/krr.bib @@ -3615,6 +3615,16 @@ @inproceedings{bilose11a pages = {101-115} } +@article{bimowo20a, + title = {selp: {A} Single-Shot Epistemic Logic Program Solver}, + author = {M. Bichler and M. Morak and S. Woltran}, + journal = tplp, + number = {4}, + pages = {435-455}, + volume = {20}, + year = {2020} +} + @article{bipibe19a, title = {Planning with preferences using Multi-Attribute Utility Theory along with a Choquet Integral}, author = {L. Bidoux and J. Pignon and F. B{\'{e}}naben}, @@ -9420,6 +9430,14 @@ @inproceedings{fableo07a pages = {97-109} } +@inproceedings{fabmor23a, + title = {Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers}, + author = {W. Faber and M. Morak}, + crossref = {aaai23}, + pages = {6322-6329}, + year = {2023} +} + @inproceedings{fabudopo20a, title = {{EFP} 2.0: {A} Multi-Agent Epistemic Solver with Multiple E-State Representations}, author = {F. Fabiano and A. Burigana and A. Dovier and E. Pontelli}, @@ -11320,6 +11338,14 @@ @incollection{gelfond08a pages = {285-316} } +@inproceedings{gelfond11a, + title = {New Semantics for Epistemic Specifications}, + author = {M. Gelfond}, + crossref = {lpnmr11}, + pages = {260-265}, + year = {2011} +} + @inproceedings{gelfond87a, title = {On Stratified Autoepistemic Theories}, author = {M. Gelfond}, @@ -14810,6 +14836,12 @@ @article{kalepesc16a year = {2016} } +@inproceedings{kaleso16a, + title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster}, + author = {P. Kahl and A. Leclerc and T. Son}, + crossref = {aspocp16} +} + @article{kalica98a, title = {Planning and Acting in Partially Observable Stochastic Domains}, author = {L. Kaelbling and M. Littman and A. Cassandra}, @@ -15046,6 +15078,13 @@ @inproceedings{kauwal99a pages = {526-533} } +@article{kawabagezh15a, + title = {The language of epistemic specifications (refined) including a prototype solver}, + author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, + journal = jlc, + year = {2015} +} + @article{kawabagezh20a, title = {The language of epistemic specifications (refined) including a prototype solver}, author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, @@ -15892,6 +15931,15 @@ @article{lebestga17a year = {2017} } +@misc{leckah18a, + title = {A survey of advances in epistemic logic program solvers}, + author = {A. Leclerc and P. Kahl}, + archiveprefix = {arXiv}, + eprint = {1809.07141}, + primaryclass = {cs.AI}, + year = {2018} +} + @inproceedings{lee05a, title = {A Model-Theoretic Counterpart of Loop Formulas}, author = {J. Lee}, @@ -22499,6 +22547,23 @@ @article{shawit04a year = {2004} } +@article{sheeit16a, + title = {Evaluating Epistemic Negation in Answer Set Programming}, + author = {Y. Shen and T. Eiter}, + journal = aij, + pages = {115-135}, + volume = {237}, + year = {2016} +} + +@inproceedings{sheeit17a, + title = {Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)}, + author = {Y. Shen and T. Eiter}, + crossref = {ijcai17}, + pages = {5060-5064}, + year = {2017} +} + @incollection{shepherson87a, title = {Negation in Logic Programming}, author = {J. Shepherson}, @@ -25746,68 +25811,3 @@ @inproceedings{zlapop90 pages = {259-271}, year = {1990} } - -@inproceedings{fabmor23a, - title = {Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers}, - author = {W. Faber and M. Morak}, - crossref = {aaai23}, - pages = {6322-6329}, - year = {2023} -} - -@misc{leckah18a, - title = {A survey of advances in epistemic logic program solvers}, - author = {A. Leclerc and P. Kahl}, - archiveprefix = {arXiv}, - eprint = {1809.07141}, - primaryclass = {cs.AI}, - year = {2018} -} - -@article{bimowo20a, - title = {selp: {A} Single-Shot Epistemic Logic Program Solver}, - author = {M. Bichler and M. Morak and S. Woltran}, - journal = tplp, - number = {4}, - pages = {435-455}, - volume = {20}, - year = {2020} -} - -@article{kawabagezh15a, - title = {The language of epistemic specifications (refined) including a prototype solver}, - author = {P. Kahl and R. Watson and E. Balai and M. Gelfond and Y. Zhang}, - journal = jlc, - year = {2015} -} - -@inproceedings{gelfond11a, - title = {New Semantics for Epistemic Specifications}, - author = {M. Gelfond}, - crossref = {lpnmr11}, - pages = {260-265}, - year = {2011} -} - -@article{sheeit16a, - title = {Evaluating Epistemic Negation in Answer Set Programming}, - author = {Y. Shen and T. Eiter}, - journal = aij, - pages = {115-135}, - volume = {237}, - year = {2016} -} - -@inproceedings{sheeit17a, - title = {Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)}, - author = {Y. Shen and T. Eiter}, - crossref = {ijcai17}, - pages = {5060-5064}, - year = {2017} -} - -@inproceedings{kaleso16a, - title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster}, - author = {P. Kahl and A. Leclerc and T. Son}, - crossref = {aspocp16} -} From a31436e7bad7adbdc62454a42b4799c149bf5f18 Mon Sep 17 00:00:00 2001 From: Jorge Fandinno Date: Sun, 16 Jun 2024 11:43:01 +0200 Subject: [PATCH 11/12] update --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 1a6dfc2..319bd7f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ *~ auto/ legacy/ +__pycache__/ \ No newline at end of file From 05f37d3e15f10bebc3f35f4400365c956bbbbc9e Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Tue, 18 Jun 2024 07:46:10 +0200 Subject: [PATCH 12/12] Update procs.bib --- procs.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/procs.bib b/procs.bib index cd67845..5d6ed6c 100644 --- a/procs.bib +++ b/procs.bib @@ -177,8 +177,8 @@ @proceedings{aaai90 } @proceedings{aaai91, - title = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)}, - editor = {T. Dean and K. McKeown:}, + title = {Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI'91)}, + editor = {T. Dean and K. McKeown}, booktitle = {Proceedings of the Nineth National Conference on Artificial Intelligence (AAAI'91)}, publisher = {{AAAI} Press}, year = {1991}