yap-users — General Information on Yap

[Yap-users] Logtalk 3.83.0 released [CORRECTED]

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.83.0 is now available for downloading at:

https://logtalk.org/

This release adds a new consistency_error/3 built-in method; makes the compiler consistency errors more informative; provides linter fixes and improvements; fixes some compiler bugs, notably using a uses/2 directive to change the order of predicate arguments to use it as a closure; improves the Handbook documentation of the info/2 and mode/2 directives; improves the Handbook documentation of the error handling built-in methods; improves the Handbook section on lambda expressions; updates the lgtunit, help, and tutor tools; adds additional tests for the Prolog standard logical update semantics and for several Prolog standard predicates; improves tests for Prolog standard control constructs and predicates; updates tests for linter flags; includes fixes for the SWI-Prolog based Docker image; and provides portability updates for XVM.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] Logtalk 3.83.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.82.0 is now available for downloading at:

https://logtalk.org/

This release adds support for runtime constructed messages for the built-in methods; fixes error handling for the include/1 directive when dynamically creating new entities; includes changes, improvements, fixes, and tests for the linter tool; improves Handbook documentation of the message printing mechanism predicates; improves the packs tool handling of alternative pack dependencies; improves support for pack virtual environments; improves support for Allure test reports; includes additional tests for standard directives and predicates; and provides improvements and fixes for the portable Docker image. Thanks to Alex Kouznetsov and Paul Brown for the bug reports.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by
giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] [LPNMR 2024] CALL FOR PARTICIPATION

[<giu...@un...>]

> 
> [Apologies in case of multiple posting]
> 
> 
>                                 CALL FOR PARTICIPATION 
> --------------------------------------------------------------------------------------------
> 
>                               17th International Conference on
>           Logic Programming and Non-monotonic Reasoning
>                                           LPNMR 2024
> 
>                             https://lpnmr2024.demacs.unical.it
>                                 lpn...@ea...
> 
>                                          Dallas, Texas, USA
>                                        October 11-14, 2024
> 
> -----------------------------------------------------------------------------------------------
> 
> 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. A Doctoral Consortium 
> will also be a part of the program.
> 
> 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.
> 
> LPNMR 2024 is co-located with ICLP 2024.
> 
> REGISTRATION
> Early registration deadline is September 12th, 2024. For more information, visit:
>              https://www.iclp24.utdallas.edu/registration/ 
> 
> We remind that at least one author of each accepted paper must early register 
> in order to have the paper included in the proceedings.
> 
> A discounted fee is available for participants attending both LPNMR and ICLP.
> 
> PROGRAM
> Accepted papers are available at: 
>     https://lpnmr2024.demacs.unical.it/programme/accepted-papers
> 
> A tentative schedule is available at:
>     https://lpnmr2024.demacs.unical.it/programme/schedule
> 
> INVITED SPEAKERS
> 
>    October 12, Veronica Dahl
>    October 13, Torsten Schaub
>    October 14, Moshe Vardi
> 
> ASSOCIATED EVENTS
> 
> - 5th International Workshop on the Resurgence of Datalog in Academia and Industry
> (DATALOG 2.0)
> - ICLP/LPNMR Doctoral Consortium 2024
> 
> 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.
> 
> The conference will be held as an in-person event.
> 
> 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 CHAIR
> 
>    Giuseppe Mazzotta, University of Calabria, Italy
> 
> 
> WORKSHOPS CHAIR
> 
>    Gerardo Simari, Universidad Nacional del Sur, Argentina 
> 
> 
> DOCTORAL CONSORTIUM CHAIR
> 
>     Francesco Fabiano, New Mexico State University
>     Martin Gebser, University of Klagenfurt, Austria    
> 
> PROGRAM COMMITTEE 
> 
> Mario Alviano, University of Calabria
> Marcello Balduccini, Saint Joseph's University
> Pedro Cabalar, University of Corunna
> Francesco Calimeri, University of Calabria
> Vicent Costa, IIIA-CSIC
> Stefania Costantini, Università dell'Aquila
> Marina De Vos, University of Bath
> Esra Erdem, Sabanci University
> Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
> Johannes K. Fichte, Linköping University
> Gerhard Friedrich, Alpen-Adria-Universität Klagenfurt
> Sarah Alice Gaggl, TU Dresden
> Martin Gebser, Alpen-Adria-Universität Klagenfurt
> Daniela Inclezan, Miami University
> Tomi Janhunen, Tampere University
> Matthias Knorr, Universidade NOVA de Lisboa
> Joao Leite, Universidade NOVA de Lisboa
> Vladimir Lifschitz, The University of Texas at Austin
> Marco Maratea, University of Genova
> Giuseppe Mazzotta, University of Calabria
> Enrico Pontelli, New Mexico State University
> Francesco Ricca, University of Calabria
> Orkunt Sabuncu, Potassco Solutions Turkey
> Chiaki Sakama, Wakayama University
> Torsten Schaub, University of Potsdam
> Guillermo R. Simari, Universidad del Sur in Bahia Blanca
> Theresa Swift, Universidade Nova de Lisboa
> Alice Tarzariol, Alpen-Adria-Universität Klagenfurt
> Daniele Theseider Dupre, Università del Piemonte Orientale
> Matthias Thimm, Fern Universität in Hagen
> Hans Tompits, TU Wien
> Mirek Truszczynski, University of Kentucky
> Johannes P. Wallner, TU Graz
> Kewen Wang, Griffith University
> Stefan Woltran, TU Wien
> Jia-Huai You, University of Alberta
> Jessica Zangari, University of Calabria
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] Logtalk 3.82.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.82.0 is now available for downloading at:

https://logtalk.org/

This release adds support for runtime constructed messages for the built-in methods; fixes error handling for the include/1 directive when dynamically creating new entities; includes changes, improvements, fixes, and tests for the linter tool; improves Handbook documentation of the message printing mechanism predicates; improves the packs tool handling of alternative pack dependencies; improves support for pack virtual environments; improves support for Allure test reports; includes additional tests for standard directives and predicates; and provides improvements and fixes for the portable Docker image. Thanks to Alex Kouznetsov and Paul Brown for the bug reports.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by
giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] [ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)

[<giu...@un...>]

> 
> (Apologies for cross-posting. Please distribute to interested parties.)
> 
> 
> ------------------------------------------------- IMPORTANT NEWS -------------------------------------------------
> 
> The due date for applications to the ICLP & LPNMR Doctoral Consortium 2024 is extended to: 2 August, 2024
> 
> Funding by NSF will be provided to cover (part of) the travel expenses and conference registration fees of US-based students. For students from outside the US, we hope to waive the conference registration fees, although this still needs confirmation.
> 
> -------------------------------------------------------------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------------------------------------------------------------
> ICLP & LPNMR DC 2024 - Call For Papers
> 
> Doctoral Consortium
> International Conference on Logic Programming (ICLP 2024)
> International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> 
> Dallas, Texas, US
> October 13, 2024
> 
> ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US
> 
> Website: https://sites.google.com/view/iclplpnmrdc2024
> -------------------------------------------------------------------------------------------------------------------------------
> 
> 
> The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.
> 
> Target Audience
> The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): 
> 
> LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications.
> 
> The full call for papers can be found on the official website:
> 
> https://sites.google.com/view/iclplpnmrdc2024
> 
> 
> Application Process
> Submissions must be written in English and consist of:
>      * a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant;
>      * a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
>           - Your complete name, address, and affiliation 
>           - Introduction and problem description
>           - Background and overview of the existing literature
>           - Goals of the research
>           - Current status of the research
>           - Preliminary results accomplished (if any)
>           - Open issues and expected achievements
>           - Bibliographical references 
> 
> The application is to be submitted electronically in PDF format on the Easychair system, selecting the “Doctoral Consortium” track: https://easychair.org/conferences/?conf=iclp2024
> 
> Important Dates
>      * Application submission: 2 August, 2024 (EXTENDED)
>      * Notification to authors: 26 August, 2024
>      * Camera-ready copy due: 15 September, 2024
>      * DC event: October 13, 2024
> 
> Contacts
> Francesco Fabiano: ffa...@nm...
> Martin Gebser: mar...@aa...
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE)

[<giu...@un...>]

> 
> (Apologies for cross-posting. Please distribute to interested parties.)
> 
> -------------------------------------------------------------------------------------------------------------------------------
> ICLP & LPNMR DC 2024 - Call For Papers
> 
> Doctoral Consortium
> International Conference on Logic Programming (ICLP 2024)
> International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> 
> Dallas, Texas, US
> October 13, 2024
> 
> ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US
> 
> Website: https://sites.google.com/view/iclplpnmrdc2024
> -------------------------------------------------------------------------------------------------------------------------------
> 
> 
> The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.
> 
> Target Audience
> The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): 
> 
> LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications.
> 
> The full call for papers can be found on the official website:
> 
> https://sites.google.com/view/iclplpnmrdc2024
> 
> 
> Application Process
> Submissions must be written in English and consist of:
>      * a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant;
>      * a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
>           - Your complete name, address, and affiliation 
>           - Introduction and problem description
>           - Background and overview of the existing literature
>           - Goals of the research
>           - Current status of the research
>           - Preliminary results accomplished (if any)
>           - Open issues and expected achievements
>           - Bibliographical references 
> 
> The application is to be submitted electronically in PDF format on the Easychair system, selecting the “Doctoral Consortium” track: https://easychair.org/conferences/?conf=iclp2024
> 
> Important Dates
>      * Application submission: 21 July, 2024
>      * Notification to authors: 26 August, 2024
>      * Camera-ready copy due: 15 September, 2024
>      * DC event: October 13, 2024
> 
> Contacts
> Francesco Fabiano: ffa...@nm...
> Martin Gebser: mar...@aa...
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] Logtalk 3.81.0, Logtalk for VSCode 0.23.0, and Docker image releases

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.81.0 is now available for downloading at:

https://logtalk.org/

This release updates the delegation control construct to also preserve the original meta-call context; adds support for runtime constructed "(^^)/2" goals; adds support for using the "(<<)/2" and "catch/3" control constructs in a grammar rule body; fixes meta-arguments handling issues (thanks to Alex Kouznetsov for the bug reports); accounts for the renaming of the LVM backend to XVM; improves documentation; improves the performance of the "json" library when parsing large files (thanks to Yurii Rashkovskii for the bug report); fixes the "meta_compiler" library expansion of meta-arguments that call Prolog module predicates; changes the "lgtunit" object "test/3" private predicate to no longer being declared as a meta-predicate, simplifying writing of meta-predicate tests; adds support for conditional and triggered breakpoints to the "debugger" tool; improves the "debugger" tool support for log points; improves the "debugger" tool performance when checking for leashed ports; fixes a bug in the "lgtdoc" tool when generating reStructuredText files; adds a new programming example illustrating the semantics of calling an inherited meta-predicate using a message to "self" versus using a "super" call; includes additional tests for the "(^^)/2" control construct; adds a Docker file for building an image with Logtalk, a subset of the supported Prolog backends, Jupyter, JupyterLab, and the Logtalk kernel; and includes new and improved VSCode/VSCodium support.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md


Logtalk for VSCode 0.23.0 is now available from both VSCode and VSCodium marketplaces:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

This is a major release, providing improved usability, improved debugging support, new commands, and bug fixes:

* Rename workspace commands to include instead the word "Project"
* Show only project (workspace) commands in the explorer context menu
* Change the "Logtalk: Make ..." commands to show a warning when no Logtalk process is running
* Add "Logtalk: Create Project" command
* Add "Logtalk: Load Project" command
* Add getting started walkthrough
* Add failed tests to the "Problems" pane (when using the "Logtalk: Run Tests" command)
* Add support for conditional and triggered breakpoints
* Escape log point messages to ensure they are valid quoted atoms
* More informative error message when a script is not found
* Fix workspace commands when run from the command palette by using the first workspace folder
* Fix the "Logtalk: Load Directory" command to show a warning if the loader file doesn't exist
* Fix the "Logtalk: Run Tests" command to show a warning if the tester file doesn't exist
* Fix the "Logtalk: Run Doclet" command to show a warning if the doclet file doesn't exist

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.23.0


Docker image with Logtalk, Prolog systems, and Jupyter available:

https://hub.docker.com/r/logtalk/logtalk3-portable/tags

Includes:

* Logtalk 3.81.0
* B-Prolog 8.1
* Ciao Prolog 1.23.0-m1
* CxProlog 0.98.3
* ECLiPSe 7.1#13
* GNU Prolog latest git master version
* SWI-Prolog latest git master version
* Trealla Prolog latest git main version
* XSB latest git git-origin version 
* YAP latest git master version
* Dependencies for the Logtalk developer tools
* Latest Jupyter version


You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] [LPNMR 2024] Deadline in Two Days (July, 4 AOE)

[<giu...@un...>]

> 
> *** Please accept our apologies if you receive multiple copies of this CFP ***
> 
> ====================================================
> LPNMR 2024 - Call for Papers
> 
> 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> Dallas, Texas, USA | October 11-14, 2024
> Website: https://lpnmr2024.demacs.unical.it/
> Contact us: lpn...@ea...
> Submission: https://easychair.org/conferences/?conf=lpnmr2024
> ====================================================
> 
> ====================================================
> IMPORTANT NEWS: ICLP 2024 RESUBMISSION
> ====================================================
> 
> If you choose to transfer the reviews to LPNMR during ICLP submission, you have the opportunity to submit a cover letter clarifying any changes to your paper.
> 
> ====================================================
> IMPORTANT DATES
> ====================================================
> 
>     Paper registration: Jul 4, 2024 (extended)
>     Submission deadline: Jul 7, 2024 (extended)
>     Final notification: Aug 7, 2024 (extended)
>     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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
>     
>     Paper submission is enabled via the LPNMR 2024 Easychair site:    
>         https://easychair.org/conferences/?conf=lpnmr2024
>     
> 
> ====================================================
> 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
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] [ICLP & LPNMR DC 2024] Call For Papers

[<giu...@un...>]

> 
> (Apologies for cross-posting. Please distribute to interested parties.)
> 
> -------------------------------------------------------------------------------------------------------------------------------
> ICLP & LPNMR DC 2024 - Call For Papers
> 
> Doctoral Consortium
> International Conference on Logic Programming (ICLP 2024)
> International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> 
> Dallas, Texas, US
> October 13, 2024
> 
> ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US
> 
> Website: https://sites.google.com/view/iclplpnmrdc2024
> -------------------------------------------------------------------------------------------------------------------------------
> 
> 
> The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.
> 
> Target Audience
> The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): 
> 
> LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications.
> 
> The full call for papers can be found on the official website:
> 
> https://sites.google.com/view/iclplpnmrdc2024
> 
> 
> Application Process
> Submissions must be written in English and consist of:
>      * a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant;
>      * a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
>           - Your complete name, address, and affiliation 
>           - Introduction and problem description
>           - Background and overview of the existing literature
>           - Goals of the research
>           - Current status of the research
>           - Preliminary results accomplished (if any)
>           - Open issues and expected achievements
>           - Bibliographical references 
> 
> The application is to be submitted electronically in PDF format on the Easychair system, selecting the “Doctoral Consortium” track: https://easychair.org/conferences/?conf=iclp2024
> 
> Important Dates
>      * Application submission: 21 July, 2024
>      * Notification to authors: 26 August, 2024
>      * Camera-ready copy due: 15 September, 2024
>      * DC event: October 13, 2024
> 
> Contacts
> Francesco Fabiano: ffa...@nm...
> Martin Gebser: mar...@aa...	
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] [Deadline Extension - LPNMR 2024] Call For Papers

[<giu...@un...>]

> 
> *** Please accept our apologies if you receive multiple copies of this CFP ***
> 
> ====================================================
> LPNMR 2024 - Call for Papers
> 
> 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> Dallas, Texas, USA | October 11-14, 2024
> Website: https://lpnmr2024.demacs.unical.it/
> Contact us: lpn...@ea...
> Submission: https://easychair.org/conferences/?conf=lpnmr2024
> ====================================================
> 
> ====================================================
> IMPORTANT DATES
> ====================================================
> 
>     Paper registration: Jul 4, 2024 (extended)
>     Submission deadline: Jul 7, 2024 (extended)
>     Final notification: Aug 7, 2024 (extended)
>     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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
>     
>     Paper submission is enabled via the LPNMR 2024 Easychair site:    
>         https://easychair.org/conferences/?conf=lpnmr2024
>     
> 
> ====================================================
> 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
> 		

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] [Approaching Deadline - LPNMR 2024] Call For Papers

[<giu...@un...>]

> 
> *** Please accept our apologies if you receive multiple copies of this CFP ***
> 
> ====================================================
> LPNMR 2024 - Call for Papers
> 
> 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
> Dallas, Texas, USA | October 11-14, 2024
> Website: https://lpnmr2024.demacs.unical.it/
> Contact us: lpn...@ea...
> Submission: https://easychair.org/conferences/?conf=lpnmr2024
> ====================================================
> 
> ====================================================
> 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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
>     
>     Paper submission is enabled via the LPNMR 2024 Easychair site:    
>         https://easychair.org/conferences/?conf=lpnmr2024
>     
> 
> ====================================================
> 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
> 
> 		


Saluti,
Giuseppe Mazzotta


-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] Logtalk 3.80.0 and Logtalk for VSCode 0.22.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.80.0 is now available for downloading at:

https://logtalk.org/

This release changes the debugging API to allow multiple debug handlers to be loaded simultaneously; updates the compiler to support for using backend proprietary directives when dynamically creating objects and categories; updates the reflection API to better support developer tools; fixes a regression preventing linter warnings for duplicated clauses and grammar rules; fixes reporting of the number of compilation warnings that failed to count some of the warnings; fixes the `phrase/2-3` built-in methods to properly handle a runtime bound first argument when called from a meta-predicate (thanks to Alex Kouznetsov for the bug report); updates the documentation of the embedding scripts; adds ew `sequential_occurrences/2-3` list predicates to the `types` library; updates the he `debugger` and `ports_profiler` tools for the new debug API; adds support for log points to the `debugger` tool; improves the `debugger` tool integration with other developer tools; improves the `packs` tool reporting when a pack is available from multiple registries; includes fixes for the `missing_data` example; includes new and improved VSCode/VSCodium support predicates; and provides portability updates for LVM and SWI-Prolog.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md


Logtalk for VSCode 0.22.0 is now available from both VSCode and VSCodium marketplaces:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

This is a major release, providing improved usability, initial debugging support, new commands, and bug fixes:

* Change linters to no longer create and write to an "OUTPUT" pane channel
* Show current clause in the active text editor when debugging
* Add support for adding and removing spy points and log points
* Add Logtalk source file icons
* Add "Logtalk: Make - Circular" command
* Add "Logtalk: Make - Optimal" command
* Add "Logtalk: Make - Normal" command
* Add "Logtalk: Make - Debug" command
* Add "Logtalk: Make - Clean" command
* Add "Logtalk: Make - Caches" command
* Improve usability by only showing the terminal if hidden when advisable by the command
* Update minimum VSCode version required to 1.64.0
* Update the "Go to Implementations" command to also find protocol implementations
* Fix file recompilation to clear previous diagnostics for the file
* Fix possible JavaScript error in the "Go to Symbol in Editor..." implementation
* Fix occasional glitch where code navigation would return a previous result
* Fix and simplify auto-indentation patterns
* Fix parsing of predicate calls with double-quoted arguments

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.22.0

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

[Yap-users] [LPNMR 2024] Call For Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

====================================================
LPNMR 2024 - Call for Papers

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: lpn...@ea...
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
    
    Paper submission is enabled via the LPNMR 2024 Easychair site:    
        https://easychair.org/conferences/?conf=lpnmr2024
    

====================================================
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

		
-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] Logtalk 3.79.0 and Logtalk for VSCode 0.21.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.79.0 is now available for downloading at:

https://logtalk.org/

This release fixes a regression in the "make" tool for the "check" target; fixes the term-expansion mechanism to allow generating multiple entity definitions; fixes left-recursion linter warnings for coinductive predicates; fixes the "code_metrics" tool implementation of the cyclomatic complexity and unique predicate nodes metrics to take into account multifile predicate definitions; fixes the "wrapper" tool reporting of missing meta_predicate/1 directives; changes the "dead_code_scanner" and "lgtdoc" tools to print warnings using the same format used by the compiler; provides Handbook improvements; and includes new and improved VSCode/VSCodium support predicates. Thanks to Alex Kouznetsov for his bug reports and documentation feedback.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md


Logtalk for VSCode 0.21.0 is also now available from both VSCode and VSCodium marketplaces:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

This is a major release, providing better integration with developer tools, new commands, improved usability, and bug fixes:

- Changed commands that run the developer tools to require the code to be loaded first
- The user is now warned when no code is loaded for a command that requires it
- The user is now informed when commands that spawn processes complete
- Added experimental code lens support for test results
- Added experimental code lens support for entity cyclomatic complexity
- Added "Logtalk: Compute Metrics" command
- Added "Logtalk: Toggle Code Lens" command
- Added "Logtalk: Generate Documentation (workspace)" command
- Added "Logtalk: Generate Diagrams (workspace)" command
- Added "Logtalk: Scan Dead Code (workspace)" command
- Added "dead_code_scanner" tool warnings to the "Problems" pane
- Added "lgtdoc" tool warnings to the "Problems" pane
- Added "make" tool warnings to the "Problems" pane
- Added tests compilation warnings and errors to the "Problems" pane
- Added doclet compilation warnings and errors to the "Problems" pane
- Updated the "Known Issues" section in the readme file
- Fixed taking into account environment settings when spawning auxiliary Logtalk processes
- Fixed off-by-one error when parsing linter warnings lines
- Fixed deleting an atom or variable when typing an underscore before the first character

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.21.0

The previous release implemented code navigation features:

- Go to Declaration
- Go to Definition
- Go to Type Definition
- Go to References
- Go to Implementations
- Go to Symbol in Editor...
- Go to Symbol in Workspace...
- Show Call Hierarchy
- Show Type Hierarchy

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic
sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo



-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] [Deadline Extension] EKAPI 2024 - Call For Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

The paper submission deadline for the 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) has been extended to May 17th. Below is the final Call For Papers.

======================================================
Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) 
Roccella Jonica (RC), Italy 
June 20-22
https://sites.google.com/unical.it/ekapi-2024/home
======================================================

======================================================
Important Dates
======================================================

Paper Submission Deadline: May 17, 2024 (Extended)
Notification of Acceptance: June 2, 2024
Workshop Date: June 20-22, 2024

======================================================
Scope
======================================================

The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Target Audience
======================================================

Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management.

======================================================
Overview
======================================================

The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape.  
Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. 
The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Topics of Interests
======================================================

Potential submission topics encompass a range of areas, including but not limited to:
Multi-perspective process models incorporating data, time, and resources.
Declarative processes.
Explainable and trustworthy AI for both process management and process mining.
Conversational systems, natural language processing, and human-machine interaction in the context of process management.
Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis.
Answer Set Programming for Process mining.
AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring.
AI techniques for clustering and classification of process execution traces.
Generative AI applied to Process Mining.
Machine learning for event recognition in semi-structured and unstructured data.
Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces.
Declarative-based multi-perspective representation of process traces.
Introduction of novel metrics for measuring process conformance.
Addressing uncertainty in AI for process management.
Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes.
Consideration of multi-objective optimization, decision-making processes, and continuous improvement.
Examining the concept of value alignment in the context of process management.
Knowledge Aware Conceptual Blending Generative Knowledge Combination

======================================================
Publication
======================================================

Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop.

======================================================
Submission Guidelines
======================================================

Papers submitted must be in English and adhere to the CEURART one-column style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip)
Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references.
Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only.
Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024


======================================================
Venue
======================================================

EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean  Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast.


======================================================
Organization
======================================================

General Chairs:
Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy
Francesco Ricca, University of Calabria, Rende, Italy

Program Chairs
Ignacio Huitzil, University of Zaragoza, Spain
Giuseppe Mazzotta, University of Calabria, Rende, Italy


======================================================
Program Committee
======================================================

Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy
Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy
Francesco Ricca, Full Professor at University of Calabria, Rende, Italy
Marco Mochi, PhD Student at Università degli Studi di Genova
Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy
Carl Corea, University of Koblenz, Germany
Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt
Rik Eshuis, Eindhoven University of Technology, Netherlands
Antonio Ielo, PhD student at University of Calabria, Rende, Italy
Alice Tarzariol, Post-Doc Researcher at Alpen-Adria University of Klagefurt
Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy
Giancarlo Milanese, Post-Doc Researcher at University of Milano-Bicocca, Italy
Chiara Di Francescomarino, Assistant Professor at University of Trento, Italy

======================================================
Sponsors
======================================================

Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy
PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] Logtalk 3.78.0 and Logtalk for VScode 0.20.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.78.0 is now available for downloading at:

https://logtalk.org/

This release improves the reflection API for better support code navigation features in IDEs and text editors; adds a new linter warning for left-recursion on clauses and grammar rules; includes documentation updates; fixes a portability issue in the `dead_code_scanner` tool; includes additional tests for Prolog standard predicates; adds support for VSCode and VSCodium code navigation features; and provides portability updates for SICStus Prolog and SWI-Prolog.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md


Logtalk for VSCode 0.20.0 is also now available from both VSCode and VSCodium marketplaces:

https://marketplace.visualstudio.com/items?itemName=LogtalkDotOrg.logtalk-for-vscode

https://open-vsx.org/extension/LogtalkDotOrg/logtalk-for-vscode

This is a major release, implementing code navigation features (requires Logtalk 3.78.0 or later version):

- Go to Declaration
- Go to Definition
- Go to Type Definition
- Go to References
- Go to Implementations
- Go to Symbol in Editor...
- Go to Symbol in Workspace...

There's also a new "Open Parent File" command. For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk-for-vscode/releases/tag/v0.20.0


You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic
sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo


-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] [Approaching Deadline] EKAPI 2024 - Call for Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

======================================================
Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) 
Roccella Jonica (RC), Italy 
June 20-22
https://sites.google.com/unical.it/ekapi-2024/home
======================================================

======================================================
Important Dates
======================================================

Paper Submission Deadline: May 11, 2024
Notification of Acceptance: May 30, 2024
Workshop Date: June 20-22, 2024

======================================================
Scope
======================================================

The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Target Audience
======================================================

Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management.

======================================================
Overview
======================================================

The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape.  
Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. 
The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Topics of Interests
======================================================

Potential submission topics encompass a range of areas, including but not limited to:
Multi-perspective process models incorporating data, time, and resources.
Declarative processes.
Explainable and trustworthy AI for both process management and process mining.
Conversational systems, natural language processing, and human-machine interaction in the context of process management.
Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis.
Answer Set Programming for Process mining.
AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring.
AI techniques for clustering and classification of process execution traces.
Generative AI applied to Process Mining.
Machine learning for event recognition in semi-structured and unstructured data.
Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces.
Declarative-based multi-perspective representation of process traces.
Introduction of novel metrics for measuring process conformance.
Addressing uncertainty in AI for process management.
Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes.
Consideration of multi-objective optimization, decision-making processes, and continuous improvement.
Examining the concept of value alignment in the context of process management.
Knowledge Aware Conceptual Blending Generative Knowledge Combination

======================================================
Publication
======================================================

Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop.

======================================================
Submission Guidelines
======================================================

Papers submitted must be in English and adhere to the CEURART one-column style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip)
Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references.
Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only.
Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024


======================================================
Venue
======================================================

EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean  Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast.


======================================================
Organization
======================================================

General Chairs:
Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy
Francesco Ricca, University of Calabria, Rende, Italy

Program Chairs
Ignacio Huitzil, University of Zaragoza, Spain
Giuseppe Mazzotta, University of Calabria, Rende, Italy


======================================================
Program Committee
======================================================

Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy
Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy
Francesco Ricca, Full Professor at University of Calabria, Rende, Italy
Marco Mochi, PhD Student at Università degli Studi di Genova
Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy
Carl Corea, University of Koblenz, Germany
Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt
Rik Eshuis, Eindhoven University of Technology, Netherlands
Antonio Ielo, PhD student at University of Calabria, Rende, Italy
Alice Tarzariol, Post-Doc Researcher at Alpen-Adria University of Klagefurt
Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy
Giancarlo Milanese, Post-Doc Researcher at University of Milano-Bicocca, Italy
Chiara	Di Francescomarino, Assistant Professor at University of Trento, Italy

======================================================
Sponsors
======================================================

Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy
PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006

-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] [Approaching Deadline] LPNMR 2024 - Call for Workshops

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFW ***

====================================================
LPNMR 2024 - Call for Workshops
17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024
====================================================


====================================================
AIMS AND SCOPE
====================================================

The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA.

The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs.

====================================================
IMPORTANT DATES
====================================================

Workshop proposals submissions: April 19th, 2024
Workshop proposals notifications: April 29th, 2024
Workshop program: October 11th, 2024 (tentative date)

====================================================
SUBMISSION
====================================================

Proposal must be submitted via EasyChair:          https://easychair.org/my/conference?conf=lpnmrws2024

Proposals should clearly specify the following:
Workshop title and acronym
A brief description, emphasizing why this workshop would appeal to audiences from LPNMR
A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events
A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.)
The proposed duration (half day, one day, etc.)
A description of the history of the workshop (if any)
Expected number of participants


====================================================
CONTACT
====================================================

For any details on workshops, please contact the Workshop Chair:  
Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina)
gi...@cs...


-- 
------------------------------------------------------------------------------------------------------------------
Il banner è generato automaticamente dal servizio di posta elettronica 
dell'Università della Calabria
 <https://www.unical.it/5x1000>

[Yap-users] LPNMR 2024 - Call for Workshops

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFW ***

====================================================
LPNMR 2024 - Call for Workshops
17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024
====================================================


====================================================
AIMS AND SCOPE
====================================================

The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA.

The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs.

====================================================
IMPORTANT DATES
====================================================

Workshop proposals submissions: April 19th, 2024
Workshop proposals notifications: April 29th, 2024
Workshop program: October 11th, 2024 (tentative date)

====================================================
SUBMISSION
====================================================

Proposal must be submitted via EasyChair:          https://easychair.org/my/conference?conf=lpnmrws2024

Proposals should clearly specify the following:
Workshop title and acronym
A brief description, emphasizing why this workshop would appeal to audiences from LPNMR
A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events
A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.)
The proposed duration (half day, one day, etc.)
A description of the history of the workshop (if any)
Expected number of participants


====================================================
CONTACT
====================================================

For any details on workshops, please contact the Workshop Chair:  
Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina)
gi...@cs...

[Yap-users] LPNMR 2024 - Preliminary Call for Papers

[<giu...@un...>]

*** 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://lpnmr2024.demacs.unical.it/
Contact us: lpn...@ea...
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
    
    Paper submission is enabled via the LPNMR 2024 Easychair site:    
        https://easychair.org/conferences/?conf=lpnmr2024
    

====================================================
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

[Yap-users] EKAPI 2024 - Call for Papers

[<giu...@un...>]

*** Please accept our apologies if you receive multiple copies of this CFP ***

======================================================
Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) 
Roccella Jonica (RC), Italy 
June 20-23
https://sites.google.com/unical.it/ekapi-2024/home
======================================================

======================================================
Important Dates
======================================================

Paper Submission Deadline: May 5, 2024
Notification of Acceptance: May 30, 2024
Workshop Date: June 20-23, 2024

======================================================
Scope
======================================================

The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Target Audience
======================================================

Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management.

======================================================
Overview
======================================================

The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape.  
Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. 
The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence.

======================================================
Topics of Interests
======================================================

Potential submission topics encompass a range of areas, including but not limited to:
Multi-perspective process models incorporating data, time, and resources.
Declarative processes.
Explainable and trustworthy AI for both process management and process mining.
Conversational systems, natural language processing, and human-machine interaction in the context of process management.
Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis.
Answer Set Programming for Process mining.
AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring.
AI techniques for clustering and classification of process execution traces.
Generative AI applied to Process Mining.
Machine learning for event recognition in semi-structured and unstructured data.
Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces.
Declarative-based multi-perspective representation of process traces.
Introduction of novel metrics for measuring process conformance.
Addressing uncertainty in AI for process management.
Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes.
Consideration of multi-objective optimization, decision-making processes, and continuous improvement.
Examining the concept of value alignment in the context of process management.

======================================================
Publication
======================================================

Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop.

======================================================
Submission Guidelines
======================================================

Papers submitted must be in English and adhere to the CEURART style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip)
Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references.
Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only.
Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024

======================================================
Venue
======================================================

EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean  Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast.


======================================================
Organization
======================================================

General Chairs:
Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy
Francesco Ricca, University of Calabria, Rende, Italy

Program Chairs
Ignacio Huitzil, University of Zaragoza, Spain
Giuseppe Mazzotta, University of Calabria, Rende, Italy


======================================================
Program Committee
======================================================

Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy
Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy
Francesco Ricca, Full Professor at University of Calabria, Rende, Italy
Antonio Ielo, PhD student at University of Calabria, Rende, Italy
Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy
Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy
Alice Tarzariol, Post-Doc at Alpen-Adria University of Klagefurt
Marco Mochi, PhD Student at Università degli Studi di Genova
Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt
Carl Corea, University of Koblenz, Germany
Rik Eshuis, Eindhoven University of Technology, Netherlands


======================================================
Sponsors
======================================================

Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy
PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006

[Yap-users] Logtalk 3.74.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.74.0 is now available for downloading at:

https://logtalk.org/

This release improves the linter warnings for unsound constructs in grammar rules and for if-then-else and soft-cut control constructs; improves the semantics and implementation of several multi-threading features; fixes compilation of "phrase/2-3" goals where the first argument is a "(::)/1-2" or "(^^)/2" control construct with a variable grammar rule body argument; fixes a regression where a compiler error when a source file term is not callable would be delegated to the backend; improves the Handbook documentation of several directives and built-in predicates; improves the Handbook documentation on dynamic predicates and grammar rules; adds a "listing" library (replacing the old undocumented one); adds a "recorded_database" library to help porting legacy Prolog code; fixes "json" library bugs; updates the "help" tool support to browse the Handbook and APIs documentation from the top-level; changes the default output directory for the "diagrams" tool to "./dot_dias"; updates the "tutor" tool for all recent linter updates; fixes a syntax error in the "logtalk_tester.ps1" script; improves the portability of the "fcube" port; updates the Advent of Code 2023 examples and several of the multi-threading examples; adds additional tests for the de facto standard "format/2-3" predicates and for the multi-threading built-in predicates; updates support for several text editors and syntax highlighters; updates the manual installation script to inform the user about the "INFOPATH" environment variable; fixes the Bash shell embedding scripts to actually use the default settings file when no "-s" option is passed; and includes portability updates for CxProlog, LVM, SICStus Prolog, SWI-Prolog, XSB, and YAP. Thanks to Yurii Rashkovskii for his bug reports and suggestions.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] Logtalk 3.73.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.73.0 is now available for downloading at:

https://logtalk.org/

This release adds linter warnings for deprecated arithmetic predicates and functions; adds warnings for comparing numbers using unification; adds support for using backend-declared deprecated built-in predicates in linter warnings; improves checking the availability of predicates in "user" for "uses/2" and "use_module/2" directives; avoids false positive linter warnings about non-terminals called as predicates when the caller is a phrase-like predicate declared in the backend adapter file; improves compiler reporting of term-expansion errors; fixes unknown and undefined predicate call warnings when the calls occur in an included file to report the actual location instead of the main file; fixes printing of grammar rules linter warnings to respect the "grammar_rules" flag; adds adapter files support for deprecated built-in predicates and for declaring phrase-like predicates that call non-terminals; improves the Handbook grammar section now uses W3C-style EBNF syntax compatible with the [Railroad Diagram Generator](https://www.bottlecaps.de/rr/ui), also fixing typos and omissions; improves the Handbook section on parametric objects; improves the documentation of the "wrapper" tool; adds an experimental "mutations" library for generating random mutations of terms of selected types (intended for eventual fuzz testing support); adds a "tsv" library for reading and writing TSV files; adds new predicates and non-terminals to the "types", "grammars", and "random" libraries; improves the performance of the "term_io" library predicates; includes updates and fixes to the "lgtunit", "tutor", and "wrapper" tools; fixes the PowerShell documentation scripts to avoid an error when converting XML files; improves the "logtalk_tester" scripts detection and reporting of broken test sets due to backend bugs; adds new "haunted_wasteland", "scratchcards", and "trebuchet" examples (solving Advent of Code 2023 problems); adds new tests, updates, and fixes issues with the "poem", "profiling", "self_vs_this", "errors", "bench", and "benchmarks" examples; adds additional tests for the "phrase/2-3" built-in methods and fixes an issue with a "setof/3" built-in method test; improves the macOS installer; fixes the "logtalk_user_setup.ps1" PowerShell script to use a valid path for the backup directory; and includes portability updates for B-Prolog, CxProlog, ECLiPSe, LVM, and SWI-Prolog. Thanks to Domingo Alvarez Duarte and Yurii Rashkovskii for their contributions to this release.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] Logtalk 3.66.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.66.0 is now available for downloading at:

https://logtalk.org/

This release adds new keys to the "logtalk_load_context/2" built-in predicate for use with the term-expansion mechanism; adds two new meta-messages to the message printing mechanism to support user-defined printing goals; adds new linter warnings for DCGs, lambda expressions, predicate directives and backends without a module system; improves reporting of warnings when compiling auxiliary predicates; improves the Handbook and the documentation of several libraries and tools; adds a new "ulid" library for generating Universally Unique Lexicographically Sortable Identifiers; provides improvements and fixes to several tools, libraries examples, and contributions; adds additional compliance tests for Prolog standard predicates; fixes a registry issue when running the Windows installer; and provides portability updates for LVM, Quintus Prolog, Scryer Prolog, and, Trealla Prolog.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship: 

https://github.com/LogtalkDotOrg/logtalk3 

Happy logtalking! 
Paulo 

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

[Yap-users] Logtalk 3.65.0 released

[Paulo M. <pm...@lo...>]

Hi,

Logtalk 3.65.0 is now available for downloading at:

https://logtalk.org/

This release documents the no longer experimental "(@)/1" control construct; adds a new "since" key to the "info/2" directive; adds two new values for the number of proofs to the "mode/2" directive; improves the Handbook sections on debugging and documenting predicates; reduces the number of atoms created by some tools and libraries; fixes the "git" library when working with paths containing spaces; includes significant fixes and improvements to the "debugger" and "lgtunit" tools; improves tests reporting; includes fixes for the Java examples and testing automation on Windows; adds notes for most of the skipped tests; includes new and revised tests; and provides portability updates for LVM, Scryer Prolog, and, Trealla Prolog.

For details and a complete list of changes, please consult the release notes at:

https://github.com/LogtalkDotOrg/logtalk3/blob/master/RELEASE_NOTES.md

You can show your support for Logtalk continued development and success at GitHub by giving us a star and a symbolic sponsorship:

https://github.com/LogtalkDotOrg/logtalk3

Happy logtalking!
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer