Re: logic/dynamic programming communities?

[Adena Shao]

Hi everyone,

Does anyone know of any communities where folks adept at transforming
unstructured text  to p(a,b)?  Maybe via Prolog/flavor of?

Looking for a collaborator for an AI project.

Thanks for any leads.  Have a great day.


On 2/22/23, users-prolog-request@gnu.org <users-prolog-request@gnu.org> wrote:
> Send Users-prolog mailing list submissions to
>       users-prolog@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>       https://lists.gnu.org/mailman/listinfo/users-prolog
> or, via email, send a message with subject or body 'help' to
>       users-prolog-request@gnu.org
>
> You can reach the person managing the list at
>       users-prolog-owner@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Users-prolog digest..."
>
>
> Today's Topics:
>
>    1. CADE-29 second Call for Papers (geoff@cs.miami.edu)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Wed, 22 Feb 2023 11:22:05 -0500 (EST)
> From: geoff@cs.miami.edu
> To: <users-prolog@gnu.org>
> Subject: CADE-29 second Call for Papers
> Message-ID: <20230222162205.4D63FA049AE@armistead.ccs.miami.edu>
>
> ******************************************************************
>
>                       SECOND CALL FOR PAPERS
>
>     CADE-29: 29th international Conference on Automated Deduction
>
>                   Sapienza University of Rome
>                  Rome, Italy, 1-5 July 2023
>
>               https://easyconferences.eu/cade2023
>
> ******************************************************************
>
> -- Overview --
>
> CADE is the major international forum for presenting research on all aspects
> of
> automated deduction. High-quality submissions on the general topic of
> automated
> deduction, including logical foundations, theory and principles,
> applications in
> and beyond computer science and mathematics, and implementations of
> automated
> reasoning systems are solicited. CADE-29 aims to present research that
> reflects
> the broad range of interesting and relevant topics in automated deduction.
>
> CADE-29 is in cooperation with ACM SIGLOG.
>
> -- Venue --
>
> CADE-29 and affiliated satellite events will take place in Rome, Italy and
> will
> be co-located with FSCD 2023.
>
> -- Publication --
>
> CADE-29 proceedings will be published in Springer's Lecture Notes in
> Artificial
> Intelligence series in Gold Open Access mode at a CADE special rate of
> €200.00
> per paper. Funding will be available for authors of accepted papers who
> cannot
> cover the €200 fee.
>
> -- Special Issue --
>
> The authors of a selection of the best CADE-29 papers will be invited to
> submit
> an extended version of their paper after the conference, to be published in
> a
> special issue of the Journal of Automated Reasoning.
>
> -- Submission Guidelines --
>
> Submissions can be made in two categories:
>
> - **Regular papers**. Up to 15 pages in LNCS style, excluding references.
> Proofs
>     of theoretical results that do not fit in the page limit may be provided
> in
>     an appendix.
>
> - **Short papers**. This includes system descriptions, user experiences,
> case
>     studies and domain models. Up to 10 pages in LNCS style, excluding
>     references.
>
> Reviewers may consider material provided in appendices, but submissions must
> be
> self-contained within the page limit. Submissions must be unpublished and
> not
> submitted for publication elsewhere. They will be judged on relevance,
> originality, significance, correctness, and readability. If software or data
> is
> relevant to a paper, a link that provides access to the software/data must
> be
> provided to enable reproduction of results.
>
> The review process will include a feedback/rebuttal period where authors
> will
> have the option to respond to reviewer comments. The PC chairs may solicit
> further reviews after the rebuttal period. Selected accepted papers will be
> considered by Program Committee for the CADE Best Paper Award.
>
> Papers must be submitted to https://easychair.org/conferences/?conf=cade29
>
> All submission must be formatted in the LNCS style and must include the
> ORCID id
> of at least the corresponding author, and preferably of all authors.
>
> -- Important Dates --
>
> Abstract deadline:      February 27, 2023
> Submission deadline:    March 6, 2023
> Rebuttal phase:         April 18-20, 2023
> Notification:           May 3, 2023
> Final version:          May 24, 2023
> Main Conference:        July 1-4, 2023
> Satellite events:       July 4-5, 2023
>
> -- Program Committee Chairs --
> Brigitte Pientka, MacGill University
> Cesare Tinelli, The University of Iowa
>
> -- Policies--
> CADE implements the ACM policy against harassment.
>
> -- Contacts --
> All questions about CADE-29 paper submissions should be emailed to
> the PC Chairs (cade29 at easychair.org).
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Users-prolog mailing list
> Users-prolog@gnu.org
> https://lists.gnu.org/mailman/listinfo/users-prolog
>
>
> ------------------------------
>
> End of Users-prolog Digest, Vol 216, Issue 3
> ********************************************
>


-- 
Adéna