*** Please accept our apologies if you receive multiple copies of this CFP ***
==================================================== LPNMR 2024 - Preliminary Call for Papers 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Dallas, Texas, USA | October 11-14, 2024 Website: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flpnmr2024.demacs.unical.it%2F&data=05%7C02%7C%7Cd0de666c07344776693a08dc44d54d7a%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638460931921825579%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=EZDO9MD2Opm8N378cdjob03dPbBQ%2B%2Fg76oU9TVcH3pk%3D&reserved=0 Contact us: lpnmr2...@easychair.org Submission: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlpnmr2024&data=05%7C02%7C%7Cd0de666c07344776693a08dc44d54d7a%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638460931921825579%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=VPvnZGT47KplKFexFXePS4Zqc8LAoGWsMrQV4L90%2BPU%3D&reserved=0 ==================================================== ==================================================== IMPORTANT DATES ==================================================== Paper registration: June 21, 2024 Submission deadline: June 28, 2024 Final notification: July 28, 2024 Final versions due: August 15, 2024 Conference: October 11-14, 2024 ==================================================== FAST JOURNAL TRACK FOR BEST PAPERS ==================================================== The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors. Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming. ==================================================== AIMS AND SCOPE ==================================================== LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. ==================================================== TOPICS ==================================================== Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to: Foundations of LPNMR Systems: Semantics of new and existing languages Action languages, causality Formalization of Commonsense Reasoning and understanding its laws and nature Relationships among formalisms Complexity and expressive power Inference algorithms and heuristics for LPNMR systems Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities Updates, revision, and other operations on LPNMR systems Uncertainty in LPNMR systems Implementation of LPNMR systems: System descriptions, comparisons, evaluations Algorithms and novel techniques for efficient evaluation LPNMR benchmarks Applications of LPNMR: Use of LPNMR in Commonsense Reasoning and other areas of KR LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences Integration of LPNMR systems with other computational paradigms Embedded LPNMR: Systems using LPNMR subsystems ==================================================== SUBMISSION AND PUBLICATION ==================================================== LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: Technical papers System descriptions Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7C%7Cd0de666c07344776693a08dc44d54d7a%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638460931921981792%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=froiw7%2Ben9S3XERvGTgYWxSTJs%2FnAdO45JUopwh4HCY%3D&reserved=0 Paper submission is enabled via the LPNMR 2024 Easychair site: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlpnmr2024&data=05%7C02%7C%7Cd0de666c07344776693a08dc44d54d7a%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638460931921981792%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C40000%7C%7C%7C&sdata=8B3jQ36bh2%2FxGiShzHveK%2FTvZD0ctKTimoYbW8rpFZA%3D&reserved=0 ==================================================== MULTIPLE SUBMISSION POLICY ==================================================== LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ==================================================== VENUE ==================================================== LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience. ==================================================== ORGANISING COMMITTEE ==================================================== General Chair: Gopal Gupta, The University of Texas at Dallas Program Chairs: Carmine Dodaro, University of Calabria, Italy M. Vanina Martinez, IIIA-CSIC, Spain Publicity and Web Chair: Giuseppe Mazzotta, University of Calabria, Italy Workshop Chair: Gerardo Simari, Universidad Nacional del Sur, Argentina _______________________________________________ Om-announce mailing list Om-announce@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
