yap-users — General Information on Yap

[Yap-users] Logtalk 3.92.0 released

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

Hi,

Logtalk 3.92.0 is now available for downloading at:

https://logtalk.org/

This release fixes bugs in the implementation of the "asserta/1-2" and "clause/2" built-in methods; consolidates Handbook, APIs documentation, and man pages in a "docs" directory; adds new glossary entries to the Handbook; improves Handbook documentation on performance and on writing multi-threading applications; improves the "lgtunit" tool documentation on timing tests; adds a new "json_lines" library implementing the JSON Lines standard proposal; provides improved "packs" tool support for experimental and deprecated packs; updates the "packs" tool "update/2-3" predicates to allow restricting the required status for pack updates; improves several examples, notably the multi-threading examples; updates the release build script to include the APIs documentation in the manuals archive; updates the portable Docker image to include the JAR files required by the Java examples; and includes examples portability updates for SWI-Prolog, Trealla Prolog, and 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.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases

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

Hi,

Logtalk 3.90.0 is now available for downloading at:

https://logtalk.org/

This release provides fixes and improvements to the Bash and PowerShell scripts used for backend integration, embedding, tools, Docker images, releases, and installation; adds support for generating single file versions of the Handbook and APIs documentation in LLM friendly Markdown format; adds new predicates to the "random" and "types" libraries; adds new "apache_poi" and "lips" programming examples; and fixes a VSCode code navigation issue with single references to local predicates.

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.39.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

Requires Logtalk 3.87.0 or a later version (3.90.0 recommended).

Recent changes (since 0.33.0):

* Added source information to diagnostics
* Provided a menu with the valid choices for the backend setting instead of requiring typing it
* Improved readme section on settings
* Updated author information in the license file
* Updated the documentation on the code navigation features
* Updated readme section on "Go To References" support
* Fixed most spurious find definition queries when pressing the Command (macOS) or Control (Windows, Linux) keys with the cursor over some random (but not selected) text


Jupyter Kernel for Logtalk 0.29.0 published, available from both PyPI and Conda registries:

https://pypi.org/project/logtalk-jupyter-kernel/
https://anaconda.org/conda-forge/logtalk-jupyter-kernel

Recent changes (since 0.16.0): 

* Added "%%csv file.csv" and "%%tsv file.tsv" cell magics to print a table but also save it to CSV/TSV files
* Added "%%data" cell magic for data visualization using the Python `matplotlib` package
* Updated the the kernel overview notebook with a section on data visualization
* Fixed saving queries
* Fixed the print table predicates when query variables unify but not become bound to a non-variable term
* Fixed kernel crash when using an invalid variable reference


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

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


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


Enjoy,
Paulo


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

[Yap-users] Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases

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

Hi,

Logtalk 3.89.0 is now available for downloading at:

https://logtalk.org/

This release adds new glossary entires; update the developer tools documentation on requirements; improves the "packs" tool handling of failed pack archive downloads; update the "diagrams" tool for the new d2 0.6.9 release; adds a new example, "jupyter", illustrating how to write source files that can be interpreted as scripts and open as Jupyter notebooks; improves the instructions on how to run the examples documentation as Jupyter notebooks; includes multiple improvements and fixes to examples documentation for a better experience when open as notebooks; includes fixes and improvements for the portable Docker image; improves portability of the embedding and release scripts; and includes examples portability updates for Trealla Prolog and 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


Logtalk for VSCode 0.33.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

Requires Logtalk 3.87.0 or later and a supported Prolog backend.

Changes:

* Adds "Logtalk: Jupyter" commands (requires Juyptext 1.16.7 or later version)
* Provides a menu with the valid choices for the backend setting instead of requiring typing it

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


Jupyter Kernel for Logtalk 0.16.0 published with documentation updates.


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

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

Includes:

* Logtalk 3.89.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] Logtalk 3.87.0 and Logtalk for VSCode 0.32.0 released

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

Hi,

Logtalk 3.87.0 is now available for downloading at:

https://logtalk.org/

This release adds new loaded file properties to the reflection API; updates the documentation on integration scripts and developer tool requirements; removes deprecated tool JScript scripts; fixes a bug in the `lgtenv.ps1` PowerShell script; adds additional tests for the Prolog standard all-solution meta-predicates; and improves the support for VSCode and VSCodium.

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.32.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

Requires Logtalk 3.87.0 or a later version.

Recent changes (since 0.29.0):

- Add support for re-running a single test using CodeLens
- Fix case where duplicated items could be created in the "PROBLEMS" pane
- Fix "Logtalk: Toggle Code Lens" command to preserve code lens outdated status
- Fix code navigation issues on Windows
- Fix code navigation false warnings of code not loaded on Windows


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


Enjoy,
Paulo

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

[Yap-users] Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases

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

Hi,

Logtalk 3.86.0 is now available for downloading at:

https://logtalk.org/

This release adds an experimental "logtalk::message_prefix_file/6" hook predicate to the message printing mechanism; fixes case where a false positive left-recursion linter warning would be printed; fixes several grammar and spelling typos in the documentation; changes the The "lgtunit" tool test compilation warning and error messages for better integration with other developer tools; adds experimental "diagrams" tool support for the d2 graph language; updates the "diagrams" tool to support additional text editors when generating diagrams with links to local files; updates the "diagrams" tool to use a Unicode glyph for the zoom icon instead of an image file; fixs a bug in the "lgtdoc" tool when printing a warning on missing entity directive "info/1" keys; updates the "tutor" tool to explain additional linter warnings; updates the "tutor" tool to support displaying warnings and errors augmented with explanations in VSCode; adds a new benchmarks example contributed by Paul Tarau; adds additional Prolog standards compliance tests; improves installation instructions; updates the VSCode support to also list the "lgtunit" tool warning and error messages in the "PROBLEMS" pane; and provides portability updates for Ciao Prolog and XSB.

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.29.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

Recent changes (sing 0.26.0):

- Label file tests and metrics data displayed using CodeLens as possibly outdated when editing the file
- Display tutor tool explanations in the "PROBLEMS" pane
- Fix reporting of failed tests when re-running tests
- Improve description of project (workspace) commands
- Fix code navigation issues when defining only the required settings


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


Enjoy,
Paulo

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

[Yap-users] Logtalk 3.85.0 released

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

Hi,

Logtalk 3.85.0 is now available for downloading at:

https://logtalk.org/

This release adds a "linter" meta-flag to allow turning on/off all linter warnings; adds new "encodings" and "general" linter flags; converts some linter warnings into compilation errors; adds a new linter check for redundant entity qualification in predicate directives; changes the "logtalk_load_context/2" built-in predicate to type-check the key argument; improves error-checking for the "use_module/1-2", "export/1", and "reexport/2" directives; fixes a regression in the previous release that prevented reloading code after fixing compilation errors without restarting the current session; improves the documentation of the "issue_creator" tool; improves the Handbook sections on performance and meta-predicates; improves the Handbook documentation on the "logtalk_make/0-1" built-in predicates; updates the "meta_compiler" library to support optimization of meta-calls with closure meta-arguments that are messages to parametric objects; adds "diagrams" tool support for generating diagrams with local links to source file and directories that open in selected text editors; updates the "tutor" tool to explain additional compiler and developer tools warnings and errors; fixes harmless repeated warning in the "packs" tool when pack dependencies are not available; includes improvements and portability fixes to some examples; adds new tests and improves existing tests for Logtalk and standard Prolog features; and updates embedding scripts to accept an optional startup application goal argument.

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.84.0 released

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

Hi,

Logtalk 3.84.0 is now available for downloading at:

https://logtalk.org/

This release improves the compiler to detect and report recursive references to files and entities; fixes the compiler to prevent using grammar rules to try to redefine disjunction and conditional control constructs; improves the Handbook glossary; improves the documentation of the "logtalk_tester" script; improves the documentation of the "help", "lgtdoc", "packs" tools; adds new directory deletion predicates to the "os" library; improves the "hook_flows" library; includes improved documentation and additional tests for the "dictionaries" library; fixes "meta_compiler" library issues; adds "lgtunit" tool support for running just a selection of tests; adds "packs" tool support for installing and updating packs from local archives, for "gpg" encrypted pack and registry archives, for using "wget" in alternative to "curl", and for for using ".sig" signature files in alternative to ".asc" signature files; adds "tutor" tool support for explaining selected "lgtunit", "make", and "packs" tool error messages; fixes the "dead_code_scanner" tool to avoid some false positives; fixes the "logtalk_tester" script to follow symbolic links when looking for test driver files; adds an example of defining a DSL for tests; adds additional tests for Prolog standard and de facto standard predicates; improves tests coverage for the "dead_code_scanner" and "packs" tools; and provides portability updates for SWI-Prolog and YAP. Thanks to Alex Kouznetsov, Michael McNally, and Lindsey Spratt 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.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>