{"id":530,"date":"2023-06-28T15:57:11","date_gmt":"2023-06-28T12:57:11","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=530"},"modified":"2023-06-28T16:09:16","modified_gmt":"2023-06-28T13:09:16","slug":"recently-published-research","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/recently-published-research\/","title":{"rendered":"Recently Published Research"},"content":{"rendered":"\n<ul>\n<li>Francesco Kriegel. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Kriegel.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Kriegel.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Optimal Fixed-Premise Repairs of EL TBoxes<\/a><\/li>\n\n\n\n<li>Beishui Liao, Pere Pardo, Marija Slavkovik and Leon van der Torre. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Liao.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Liao.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">The Jiminy Advisor: an extended abstract<\/a><\/li>\n\n\n\n<li>Augusto B. Corr\u00eaa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening and Stefan Woltran. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Correa.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Correa.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Grounding Planning Tasks Using Tree Decompositions and Iterated Solving<\/a><\/li>\n\n\n\n<li>Nico Potyka, Xiang Yin and Francesca Toni. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Potyka.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Potyka.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Explaining Random Forests Using Bipolar Argumentation and Markov Networks<\/a><\/li>\n\n\n\n<li>Mariela Morveli Espinoza, Juan Carlos Nieves, Cesar A. Tacla and Henrique M. R. Jasinski. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Morveli1.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Morveli1.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Goal Reasoning and Explanations Generation in BDI-extended Agents<\/a><\/li>\n\n\n\n<li>Ricardo Guimar\u00e3es, Ana Ozaki and Jandson S. Ribeiro. <a rel=\"noreferrer noopener\" href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Guimaraes.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Guimaraes.pdf\" target=\"_blank\">Finite Based Contraction and Expansion via Models<\/a><\/li>\n\n\n\n<li>Ian Pratt-Hartmann and Lidia Tendera. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Pratt-Hartmann.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Pratt-Hartmann.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Extending the Fluted Fragment with Transitivity and Counting<\/a><\/li>\n\n\n\n<li>Laura Giordano and Daniele Theseider Dupre. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Giordano.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Giordano.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases<\/a><\/li>\n\n\n\n<li>David Toman and Grant Weddell. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/TomanWeddell.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/TomanWeddell.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics<\/a><\/li>\n\n\n\n<li>J\u00fcrgen Landes and Jon Williamson. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Landes.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Landes.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Objective Bayesian nets for integrating consistent datasets<\/a><\/li>\n\n\n\n<li>Gr\u00e9goire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Menguy.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Menguy.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition<\/a><\/li>\n\n\n\n<li>Hiba Arnaout, Simon Razniewski, Gerhard Weikum and Jeff Z. Pan. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Arnaout.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Arnaout.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Negative Statements Considered Useful<\/a><\/li>\n\n\n\n<li>Viktor Besin, Markus Hecher and Stefan Woltran. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Besin.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Besin.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck<\/a><\/li>\n\n\n\n<li>Mariela Morveli Espinoza, Juan Carlos Nieves and Cesar A. Tacla. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Morveli2.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Morveli2.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Using Formal Argumentation for Handling Temporality in Human Activity Reasoning<\/a><\/li>\n\n\n\n<li>Andreas Xydis, Christopher Hampson, Sanjay Modgil and Elizabeth Black. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Xydis.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Xydis.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Towards a sound and complete dialogue system for handling enthymemes<\/a><\/li>\n\n\n\n<li>Federica Di Stefano, Magdalena Ortiz and Mantas Simkus. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Di Stefano.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Di Stefano.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Description Logics with Pointwise Circumscription<\/a><\/li>\n\n\n\n<li>Mohamed-Bachir Belaid, Nassim Belmecheri, Nadjib Lazaar, Arnaud. Gotlieb and Helge Spieker. <a href=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Belaid.pdf\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/RPR-papers\/Belaid.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">GEQCA: Generic Qualitative Constraint Acquisition<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/530"}],"collection":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/comments?post=530"}],"version-history":[{"count":3,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/530\/revisions"}],"predecessor-version":[{"id":534,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/530\/revisions\/534"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=530"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}