<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Joseph Zalewski</style></author><author><style face="normal" font="default" size="100%">Pascal Hitzler</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Case for Extensional Non-Wellfounded Metamodeling</style></title><secondary-title><style face="normal" font="default" size="100%">LPAR 25</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2024</style></year><pub-dates><date><style  face="normal" font="default" size="100%">05/2024</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://easychair.org/publications/paper/K8rh</style></url></web-urls></urls><edition><style face="normal" font="default" size="100%">Kalpa Publications in Computing, LPAR 25 Complementary Volume</style></edition><publisher><style face="normal" font="default" size="100%">EasyChair</style></publisher><pub-location><style face="normal" font="default" size="100%">Balaclava, Mauritius</style></pub-location><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">163--178</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We introduce a notion of extensional metamodeling that can be used to extend knowl- edge representation languages, and show that this feature does not increase computational complexity of reasoning in many cases. We sketch the relation of our notion to various existing logics with metamodeling and to non-wellfounded sets, and discuss applications. We also comment on the usability of black-box reductions to develop reasoning algorithms for metamodeling.&lt;/p&gt;
</style></abstract></record></records></xml>