gmane.comp.gnu.prolog.general

2068 articles on record, showing the most recent 50.

Logtalk 3.101.0 released
Thu, 23 Jul 2026 22:46:10 +0100
Paulo Moura <[email protected]> • #2068
Logtalk 3.100.0 reelased
Thu, 14 May 2026 11:34:47 +0100
Paulo Moura <[email protected]> • #2067
KR 2026 Call for Videos Deadline Extension
Fri, 24 Apr 2026 16:05:58 +0000
Nico Potyka <[email protected]> • #2066
Deadline Extension XLoKR & ExCoS 2026 to May 7
Tue, 21 Apr 2026 07:55:00 +0000
Nico Potyka <[email protected]> • #2065
KR and FLoC Early Registration open until May 15
Thu, 16 Apr 2026 15:49:50 +0000
Nico Potyka <[email protected]> • #2064
Logtalk 3.99.0 released
Thu, 9 Apr 2026 21:55:24 +0100
Paulo Moura <[email protected]> • #2063
[CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026)
Wed, 25 Mar 2026 12:52:20 +0000
Nico Potyka <[email protected]> • #2062
Final Call for Hosting KR 2027 or KR 2028 (Deadline March 15)
Tue, 10 Mar 2026 09:38:48 +0000
Nico Potyka <[email protected]> • #2061
Logtalk 3.98.0 released
Fri, 27 Feb 2026 13:58:34 +0000
Paulo Moura <[email protected]> • #2060
CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)
Tue, 24 Feb 2026 09:34:57 +0000
Nico Potyka <[email protected]> • #2059
Second Call for Nominations for KR 2026 Awards (Deadline February 28 AoE)
Mon, 23 Feb 2026 09:54:57 +0000
Nico Potyka <[email protected]> • #2058
Second Call for Hosting KR 2027 or KR 2028
Mon, 23 Feb 2026 09:42:22 +0000
Nico Potyka <[email protected]> • #2057
Call for Hosting KR 2027 or KR 2028
Tue, 27 Jan 2026 09:12:45 +0000
Nico Potyka <[email protected]> • #2056
KR 2026: Call for Nominations
Tue, 13 Jan 2026 14:06:00 +0000
Nico Potyka <[email protected]> • #2055
[CfP] FLoC 2026
Mon, 5 Jan 2026 10:03:20 +0000
Nico Potyka <[email protected]> • #2054
Logtalk 3.97.0 and Logtalk for VSCode 0.80.0 released
Mon, 22 Dec 2025 14:25:06 +0000
Paulo Moura <[email protected]> • #2053
[CfP] KR 2026 Doctoral Consortium
Fri, 19 Dec 2025 08:05:08 +0000
Nico Potyka <[email protected]> • #2052
[CfP] KR 2026 Recently Published Research Track
Fri, 19 Dec 2025 08:07:18 +0000
Nico Potyka <[email protected]> • #2051
[CfP] KR 2026 Video Track
Fri, 19 Dec 2025 08:06:16 +0000
Nico Potyka <[email protected]> • #2050
[CfP] KR 2026 Special track: KR in the wild
Wed, 17 Dec 2025 11:23:55 +0000
Nico Potyka <[email protected]> • #2049
[CfP] KR 2026 Special track: KR meets Machine Learning and Explanation
Tue, 16 Dec 2025 10:03:29 +0000
Nico Potyka <[email protected]> • #2048
Logtalk 3.96.0 and Logtalk for VSCode 0.75.0 released
Tue, 18 Nov 2025 22:30:39 +0000
Paulo Moura <[email protected]> • #2047
Logtalk 3.95.0 and Logtalk for VSCode 0.64.0 released
Thu, 30 Oct 2025 14:26:27 +0000
Paulo Moura <[email protected]> • #2046
PRIMA 2025 – PhD Day: Call for Submissions – Extended Abstracts
Tue, 21 Oct 2025 09:38:36 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #2045
[CfP]: KR 2026 Second Call for Papers
Mon, 20 Oct 2025 06:32:46 +0000
Nico Potyka <[email protected]> • #2044
Logtalk 3.94.0 and Logtalk for VSCode 0.53.0 released
Tue, 30 Sep 2025 15:30:29 +0100
Paulo Moura <[email protected]> • #2043
Logtalk 3.93.0, Logtalk for VSCode 0.52.0, Jupyter Kernel for Logtalk 0.46.0, JupyterLab extension 1.3.0, and portable Docker image releases
Thu, 28 Aug 2025 21:13:11 +0100
Paulo Moura <[email protected]> • #2042
CfP: REACTS'25 - Deadline extension
Thu, 21 Aug 2025 07:14:34 +0000
José Proença via hol-info <[email protected]> • #2041
how to create a new directive
Thu, 7 Aug 2025 15:56:57 +0000
Adam Russell <[email protected]> • #2040
Re: attributed variables in GNU Prolog
Thu, 7 Aug 2025 15:31:59 +0000
Adam Russell <[email protected]> • #2039
DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
Wed, 16 Jul 2025 09:57:23 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #2038
Logtalk 3.92.0 released
Thu, 29 May 2025 11:55:19 +0100
Paulo Moura <[email protected]> • #2037
Counting backtracks with several calls to fd_labeling
Tue, 27 May 2025 16:54:51 +0200
Nicolas Barnier <[email protected]> • #2036
Re: attributed variables in GNU Prolog
Thu, 15 May 2025 08:48:20 +0200
François Fages <[email protected]> • #2035
attributed variables in GNU Prolog
Wed, 14 May 2025 17:21:52 +0000
Adam Russell <[email protected]> • #2034
2nd call for papers DaLí 2025
Sun, 6 Apr 2025 10:05:02 +0000
Alexandre Madeira <[email protected]> • #2033
Logtalk 3.90.0, Logtalk for VSCode 0.39.0, Jupyter Kernel for Logtalk 0.29.0, and portable Docker image releases
Fri, 28 Mar 2025 11:26:11 +0000
Paulo Moura <[email protected]> • #2032
Re: 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
Wed, 19 Mar 2025 19:49:04 +0900
Saburou Saitoh <[email protected]> • #2031
DaLí 2025, 1st call for papers
Thu, 20 Feb 2025 08:14:53 +0000
Alexandre Madeira <[email protected]> • #2030
Logtalk 3.89.0, Logtalk for VSCode 0.33.0, Jupyter Kernel for Logtalk 0.16.0, and portable Docker image releases
Fri, 14 Feb 2025 15:21:45 +0000
Paulo Moura <[email protected]> • #2029
Logtalk 3.87.0 and Logtalk for VSCode 0.32.0 released
Wed, 8 Jan 2025 14:44:53 +0000
Paulo Moura <[email protected]> • #2028
[Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25
Tue, 7 Jan 2025 14:43:10 -0600 (CST)
Moshe Vardi <[email protected]> • #2027
Logtalk 3.86.0 and Logtalk for VSCode 0.29.0 releases
Wed, 18 Dec 2024 18:45:09 +0000
Paulo Moura <[email protected]> • #2026
[Vardi-list] Appeal to support SIGLOG, the LICS sponsor
Sun, 17 Nov 2024 13:58:38 -0600 (CST)
Moshe Vardi <[email protected]> • #2025
Logtalk 3.85.0 released
Tue, 12 Nov 2024 19:37:44 +0000
Paulo Moura <[email protected]> • #2024
Logtalk 3.84.0 released
Tue, 22 Oct 2024 15:06:01 +0100
Paulo Moura <[email protected]> • #2023
Logtalk 3.83.0 released [CORRECTED]
Tue, 24 Sep 2024 12:47:04 +0100
Paulo Moura <[email protected]> • #2022
Logtalk 3.83.0 released
Tue, 24 Sep 2024 12:08:11 +0100
Paulo Moura <[email protected]> • #2021
[Vardi-list] ICLA 2025
Fri, 23 Aug 2024 12:13:41 -0500 (CDT)
Moshe Vardi <[email protected]> • #2020
Logtalk 3.82.0 released
Tue, 20 Aug 2024 15:29:32 +0100
Paulo Moura <[email protected]> • #2019