July 2024 - Kdml - lists.cs.uni-kassel.de

ASPOCP 2024@ICLP- EXTENDED DEADLINE

by cfp

Please note the extended deadline for ASPOCP 2024 [Apologies for cross-posting] ======================================================================= *EXTENDED SUBMISSION DEADLINE* *IMPORTANT DATES* ** Abstract submission deadline:*08 August 2024* ** ** Paper submission deadline:*15 August 2024* ** ** Notification:*10 September 2024* ** ====================================================================== ==================================================================================== CALL FOR PAPERS ASPOCP2024 17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/ <https://sites.google.com/unical.it/aspocp2024/> October 12 or October 13 Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/ <https://www.iclp24.utdallas.edu/> October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL). -ASPand constraint programming. -ASPand other logic programming paradigms, e.g., FO(ID). -ASPand other nonmonotonic languages, e.g., action languages. -ASPand external means of computation. -ASPand probabilistic reasoning. -ASPand knowledge compilation. -ASPand machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions toASP. -ASPand multi-agent systems. -ASPand multi-context systems. - Modularity andASP. -ASPand argumentation. - Multi-paradigm problem solving involvingASP. - Evaluation and comparison ofASPto other paradigms. -ASPand related paradigms in applications. - HybridizingASPwith procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere <https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=…>. A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 <https://easychair.org/my/conference?conf=aspocp2024>. IMPORTANT DATES Abstract submission deadline: 08 August 2024 Paper submission deadline: 15 August 2024 Notification: 10 September 2024 PROCEEDINGS Authors of all accepted original contributions can opt to publish their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE Mario Alviano, University of Calabria Marcello Balduccini, Saint Joseph's University Pedro Cabalar, University of Corunna Francesco Cauteruccio, University of Salerno Stefania Costantini, University of L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus Hecher, Massachusetts Institute of Technology Giovambattista Ianni, University of Calabria Daniela Inclezan, Miami University Tomi Janhunen, Tampere University Vladimir Lifschitz, The University of Texas at Austin Marco Maratea, University of Calabria Tran Cao Son, New Mexico State University Alice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria

1 month, 1 week

1
0
0 0

ASPOCP 2024 @ ICLP- Second Call for Paper

by cfp

[Apologies for cross-posting] ==================================================================================== SECOND CALL FOR PAPERS ASPOCP2024 17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/ <https://sites.google.com/unical.it/aspocp2024/> October 12 or October 13 Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/ <https://www.iclp24.utdallas.edu/> October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL). -ASPand constraint programming. -ASPand other logic programming paradigms, e.g., FO(ID). -ASPand other nonmonotonic languages, e.g., action languages. -ASPand external means of computation. -ASPand probabilistic reasoning. -ASPand knowledge compilation. -ASPand machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions toASP. -ASPand multi-agent systems. -ASPand multi-context systems. - Modularity andASP. -ASPand argumentation. - Multi-paradigm problem solving involvingASP. - Evaluation and comparison ofASPto other paradigms. -ASPand related paradigms in applications. - HybridizingASPwith procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere <https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=…>. A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 <https://easychair.org/my/conference?conf=aspocp2024>. IMPORTANT DATES Abstract submission deadline: 01 August 2024 Paper submission deadline: 08 August 2024 Notification: 05 September 2024 PROCEEDINGS Authors of all accepted original contributions can opt to publish their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE Mario Alviano, University of Calabria Marcello Balduccini, Saint Joseph's University Pedro Cabalar, University of Corunna Francesco Cauteruccio, University of Salerno Stefania Costantini, University of L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus Hecher, Massachusetts Institute of Technology Giovambattista Ianni, University of Calabria Daniela Inclezan, Miami University Tomi Janhunen, Tampere University Vladimir Lifschitz, The University of Texas at Austin Marco Maratea, University of Calabria Tran Cao Son, New Mexico State University Alice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria

1 month, 2 weeks

1
0
0 0

ICITS'25 - 8th Int. Conference on Information Technology & Systems, Mexico

by ICITS-2025

* SCIMago H-Index = 36 ** Google Scholar H5-Index = 19 *** Indexed in Scopus, WoS, EI-Compendex, DBLP, Google Scholar, etc. ------------------------------ ------------------------------ ------------------------------ -------------- ICITS'25 - 8th Int. Conference on Information Technology & Systems Mexico City, Mexico, 22-24 January 2025 https://icits.me/ <https://icits.me/> ------------------------------ ------------------------------ ------------------------------ -------------- ICITS'25 - 8th International Conference on Information Technology & Systems, to be held at Politécnico Nacional, Mexico City, Mexico, between the 22th and the 24th of January 2025, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your original papers to ICITS'25. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. TOPICS Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). SUBMISSION & DECISION Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish or Portuguese), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. PUBLICATION & INDEXING Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 28th of October 2024, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI and will be submitted for indexation by Scopus, among others. IMPORTANT DATES Paper Submission: September 10, 2024 Notification of Acceptance: October 17, 2024 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: October 28, 2024. Camera-ready Submission: October 28, 2024 Website of ICITS'25: https://icits.me/ <https://icits.me/> See you in Mexico City. ICITS'25 Team https://icits.me/ <https://icits.me/> Alvaro Rocha World's Top 0.05% Scientist, according to ScholarGPS World's Top 1% Scientist, according to Stanford University and Elsevier World's Top 1% Scientist, according to ResearchGate ISEM's Book Series Scientific Manager at Springer Nature: https://www.springer.com/serie s/17396 Chair of ITMA - Information and Technology Management Association: http://itmas.org <http://itmas.org/> Founder and Vice-Chair of IEEE SMC Portugal Chapter Professor of Information Systems, ISEG, University of Lisbon, Portugal Invited Professor at University of Calabria, Italy Honorary Professor at Amity University, India E-mail: amrrocha(a)gmail.com

1 month, 2 weeks

1
0
0 0

[AutoML 2024] Conference (9th-12th Sep) and Summer School (2nd-6th Sep)

by katharina.eggensperger＠uni-tuebingen.de

Hi everyone, I would like to draw your attention to two AutoML events that will be happening later this year. — 📢 3rd AutoML Conference 📅 9th-12th September in Paris (Jussieu, Sorbonne University), France 🔗 https://2024.automl.cc/ *Key topics* Any topic related to automating any aspect of machine learning, including work on automating the application, development, and efficient usage of generative AI. This also subsumes Bayesian Optimization, NAS, LLMs, RL, applications, AutoML systems and many more. *Keynote and invited speakers* Andreas Krause, Stephen Roberts, Leman Akoglu, Irina Rish, Rich Caruana, Mitra Baratchi & Aaron Klein (main conference) and Chris Van Pelt, Shubham Agarwal, Hideaki Imamura, Johannes Hoffart, Rahma Chaabouni, Martin Rapp, Nilesh Jain, Victor Picheny & Hrvoje Stojic (industry day). *Tutorials* AutoRL, meta-features, zero-cost proxies for NAS, AutoGluon and FLAML. — 📢 4th AutoML School 📅 2nd-6th September in Hannover (Leibniz University), Germany 🔗 https://www.automlschool.org/ This school includes basic lectures, keynote lectures, hands-on sessions, and networking with AutoML experts to bridge the gap between research and practical applications. *Topics* AutoML Systems, Green AutoML, Hyperparameter Tuning, AutoML and Foundation models, Neural Architecture Search, AutoRL and Energy-efficient ML. *Speakers* Kristian Kersting, Josif Grabocka, Oliver Bringmann, Oleksandr Shchur, Setareh Ariafar, Markus Wagner, Jan van Rijn, Bernd Bischl, Frank Hutter, Katharina Strecker, Theresa Eimer and many more. — Best regards, Katharina Eggensperger

1 month, 3 weeks

1
0
0 0

ICITS'25 - 8th Int. Conference on Information Technology & Systems, Mexico

by ICITS-2025

* SCIMago H-Index = 36 ** Google Scholar H5-Index = 19 *** Indexed in Scopus, WoS, EI-Compendex, DBLP, Google Scholar, etc. ------------------------------ ------------------------------ ------------------------------ -------------- ICITS'25 - 8th Int. Conference on Information Technology & Systems Mexico City, Mexico, 22-24 January 2025 https://icits.me/ <https://icits.me/> ------------------------------ ------------------------------ ------------------------------ -------------- ICITS'25 - 8th International Conference on Information Technology & Systems, to be held at Politécnico Nacional, Mexico City, Mexico, between the 22th and the 24th of January 2025, is an international forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Technology & Systems. We are pleased to invite you to submit your original papers to ICITS'25. They can be written in English, Spanish or Portuguese. All submissions will be reviewed on the basis of relevance, originality, importance and clarity. TOPICS Submitted papers should be related with one or more of the main themes proposed for the Conference: A) Information and Knowledge Management (IKM); B) Organizational Models and Information Systems (OMIS); C) Software and Systems Modeling (SSM); D) Software Systems, Architectures, Applications and Tools (SSAAT); E) Multimedia Systems and Applications (MSA); F) Computer Networks, Mobility and Pervasive Systems (CNMPS); G) Intelligent and Decision Support Systems (IDSS); H) Big Data Analytics and Applications (BDAA); I) Human-Computer Interaction (HCI); J) Ethics, Computers and Security (ECS) K) Health Informatics (HIS); L) Information Technologies in Education (ITE); M) Media, Applied Technology and Communication (MATC). SUBMISSION & DECISION Submitted papers written in English (until 10-page limit) must comply with the format of the Lecture Notes in Networks and Systems series (see Instructions for Authors at Springer Website), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word or Latex format and also in PDF format. These files must be accompanied by the Consent to Publish form filled out, in a ZIP file, and uploaded at the conference management system. Submitted papers written in Spanish or Portuguese (until 15-page limit) must comply with the format of RISTI - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish or Portuguese), must not have been published before, not be under review for any other conference or publication and not include any information leading to the authors’ identification. Therefore, the authors’ names and affiliations should not be included in the version for evaluation by the Scientific Committee. This information should only be included in the camera-ready version, saved in Word. These files must be uploaded at the conference management system in a ZIP file. All papers will be subjected to a “double-blind review” by at least two members of the Scientific Committee. Based on Scientific Committee evaluation, a paper can be rejected or accepted by the Conference Chairs. In the later case, it can be accepted as paper or poster. The authors of papers accepted as posters must build and print a poster to be exhibited during the Conference. This poster must follow an A1 or A2 vertical format. The Conference can include Work Sessions where these posters are presented and orally discussed, with a 7 minute limit per poster. The authors of accepted papers will have 15 minutes to present their work in a Conference Work Session; approximately 5 minutes of discussion will follow each presentation. PUBLICATION & INDEXING Papers accepted as posters are not published; they are only exhibited, presented and discussed during the conference. To ensure that a paper accepted as paper is published, at least one of the authors must be fully registered by the 28th of October 2024, and the paper must comply with the suggested layout and page-limit. Additionally, all recommended changes must be addressed by the authors before they submit the camera-ready version. No more than one paper per registration will be published. An extra fee must be paid for publication of additional papers, with a maximum of one additional paper per registration. One registration permits only the participation of one author in the conference. Papers written in English and accepted and registered will be published in Proceedings by Springer, in a book of the Lecture Notes in Networks and Systems series, will be submitted for indexation by Scopus, WoS, DBLP, Google Scholar, among others, and will be available in the SpringerLink Digital Library. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI and will be submitted for indexation by Scopus, among others. IMPORTANT DATES Paper Submission: September 10, 2024 Notification of Acceptance: October 17, 2024 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: October 28, 2024. Camera-ready Submission: October 28, 2024 Website of ICITS'25: https://icits.me/ <https://icits.me/> See you in Mexico City. ICITS'25 Team https://icits.me/ <https://icits.me/> Alvaro Rocha World's Top 0.05% Scientist, according to ScholarGPS World's Top 1% Scientist, according to Stanford University and Elsevier World's Top 1% Scientist, according to ResearchGate ISEM's Book Series Scientific Manager at Springer Nature: https://www.springer.com/serie s/17396 Chair of ITMA - Information and Technology Management Association: http://itmas.org <http://itmas.org/> Founder and Vice-Chair of IEEE SMC Portugal Chapter Professor of Information Systems, ISEG, University of Lisbon, Portugal Invited Professor at University of Calabria, Italy Honorary Professor at Amity University, India E-mail: amrrocha(a)gmail.com

2 months

1
0
0 0

[CfP] [CoKA] : --- Final Call --- "Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases" workshop at CONCEPTS 2024

by Tom Hanika

***CoKA: --- Final Call for Contributions*** DEADLINE EXTENDED TO: *August 7th, 2024* (23:59 AoE) ================================================================ Conceptual Knowledge Acquisition: Challenges, Opportunities, and Use Cases Workshop at the 1st International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2024) September 9–13 2024, Cádiz, Spain Workshop Website: https://www.kde.cs.uni-kassel.de/coka/ Conference website: https://concepts2024.uca.es ================================================================ Formal concept analysis (FCA) can help make sense of data and the underlying domain --- provided the data is not too big, not too noisy, representative of the domain, and if there is data in the first place. What if you don’t have such data readily available but are prepared to invest in collecting it and have access to domain experts or other reliable queryable sources of information? Conceptual exploration comes to the rescue! Conceptual exploration is a family of knowledge-acquisition techniques within FCA. The goal is to build a complete implicational theory of a domain (with respect to a fixed language) by posing queries to a domain expert. When properly implemented, it is a great tool that can help organize the process of scientific discovery. Unfortunately, proper implementations are scarce and success stories of using conceptual exploration are somewhat rare and limited in scope. With this workshop, we intend to analyze the situation and, maybe, find a solution. If - you succeeded in acquiring new knowledge about or building a satisfying conceptual representation of some domain with conceptual exploration before; - you attempted conceptual exploration in application to your problem but failed miserably; - you want to use conceptual exploration to analyze some domain, but you don’t know where and how to start; - you are aware of alternatives to conceptual exploration; then come to the workshop to share your experiences, insights, ideas, and concerns with us! ================== Keywords and Topics ================== Knowledge Acquisition and Capture Conceptual Exploration Design Patterns and Paradigmatic Examples successful use cases and real-world applications challenges and lessons learned application principles missing theoretical foundations missing technical infrastructure integration with other theories and technologies ========================= Duration, Format, and Dates ========================= We invite contributions in the form of an extended abstract of up to two pages. In addition, supplementary material, such as data sets, detailed descriptions, or visualizations, may be submitted. The workshop is planned for half a day within the conference dates and at the same venue. It will consist of several short presentations each followed by a plenary discussion. Please send your contributions until *August 7th, 2024* (23:59 AoE) to tom.hanika(a)uni-hildesheim.de. If you are not sure whether your contribution matches the topics or the format of the workshop, you are welcome to contact the organizers prior to submitting the abstract. An acceptance notification will be sent within two weeks upon receiving the submission. =================== Workshop Organizers =================== - Tom Hanika, University of Hildesheim - Sergei Obiedkov, TU Dresden - Bernhard Ganter, Ernst-Schröder-Zentrum, Darmstadt -- Dr. Tom Hanika Universität Kassel Tel.: +49 (0) 561 804 6252 https://www.kde.cs.uni-kassel.de/hanika ---------------------------------------------------------------------

2 months

1
0
0 0

Call for Abstracts: August 7, 2024 ("30th birthday of estimation-of-distribution algorithms" Workshop within PPSN-2024)

by Concha Bielza

Dear colleagues, As part of the 18th International Conference on Parallel Problem Solving From Nature (PPSN 2024), a prime international conference on evolutionary and other randomized search heuristics, we are organizing an informal workshop to celebrate the 30th birthday of estimation-of-distribution algorithms (EDAs), defined here as the 30th anniversary of the definition of the population-based incremental learning (PBIL) algorithm in 1994. We invite researchers and practitioners in the area of estimation-of-distribution algorithms to contribute a short talk to this workshop, covering current or recent own research, discussing important classic results and their impact on the field today, or proposing novel research directions. If you would like to give such a talk, please send us a short abstract by August 7, 2024. For details on the submission process and more information on the workshop, please consult the workshop page at https://30yearsofedas.github.io/index.html All the best, Concha Bielza, Universidad Politécnica de Madrid Benjamin Doerr, LIX, École Polytechnique John McCall, Robert Gordon University Weijie Zheng, Harbin Institute of Technology, Shenzhen

2 months, 1 week

1
0
0 0

ASPOCP 2024 @ ICLP- First Call for Paper

by cfp

[Apologies for cross-posting] ==================================================================================== CALL FOR PAPERS ASPOCP2024 17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/ <https://sites.google.com/unical.it/aspocp2024/> October 12 or October 13 Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/ <https://www.iclp24.utdallas.edu/> October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL). -ASPand constraint programming. -ASPand other logic programming paradigms, e.g., FO(ID). -ASPand other nonmonotonic languages, e.g., action languages. -ASPand external means of computation. -ASPand probabilistic reasoning. -ASPand knowledge compilation. -ASPand machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions toASP. -ASPand multi-agent systems. -ASPand multi-context systems. - Modularity andASP. -ASPand argumentation. - Multi-paradigm problem solving involvingASP. - Evaluation and comparison ofASPto other paradigms. -ASPand related paradigms in applications. - HybridizingASPwith procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere <https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=…>. A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 <https://easychair.org/my/conference?conf=aspocp2024>. IMPORTANT DATES Abstract submission deadline: 01 August 2024 Paper submission deadline: 08 August 2024 Notification: 05 September 2024 PROCEEDINGS Authors of all accepted original contributions can opt to publish their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE TBA

2 months, 1 week

1
0
0 0

2024

2023

2022

2021

Kdml July 2024