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

LPNMR 2022: First call for Doctoral Consortium

by cfp

Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference 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, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser(a)aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA Call for Contributions LPNMR Doctoral Consortium 2022 Genova, Italy September 5-8, 2022 https://sites.google.com/view/lpnmr2022/doctoral-consortium Topic and Objective ******************* The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment. The 16th International Conference 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, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning. During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. Target Audience *************** The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): - Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity - Implementation of LPNMR systems, including new systems and algorithms - Applications of LPNMR The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher. Application Process ******************* Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies. Applications to the LPNMR DC should consist of: 1. Cover Sheet: This is a one-page information sheet which should include: - Your full name, gender, contact details, official affiliation, and home page (if any); - Your expected graduation date and the number of years in your current program; - Your thesis advisor's full name and contact details; - A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to; - A list of up to 5 keywords that you would use to describe your research. 2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate. 3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals. 4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event. Please submit all application materials as one PDF per e-mail to DC organization chair: Martin Gebser University of Klagenfurt martin.gebser(a)aau.at Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date. Important Dates *************** Application Submission: Jul 6, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium: Sep 5, 2022 (tentative) Committee ********* Organization Chair: Martin Gebser, University of Klagenfurt Program Committee: TBA

1 year, 10 months

1
0
0 0

ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

* Google Scholar H5-Index = 13 * Indexed in SCOPUS, WOS, DBLP, etc. -------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, 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 papers to ICITS'23. 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 and 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 <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), 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 <http://www.icits.me/copyright.docx> 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 <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), 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 and 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 4th of November 2022, 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 <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

1 year, 11 months

1
0
0 0

ICITS'2023 | Cusco, Peru | Deadline: September 4

by ICITS-2023

-------------------------------------------------------------------------------------------------------------------- ICITS'23 - The 6th International Conference on Information Technology & Systems Cusco, Peru, 8 - 10 February 2023 http://icits.me <http://icits.me/> -------------------------------------------------------------------------------------------------------------------- Scope ICITS'23 - The 6th International Conference on Information Technology & Systems, to be held at Universidad Nacional de San Antonio Abad del Cusco, in Cusco, Peru, between the 8th and the 10th of February 2023, 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 papers to ICITS'23. 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 and 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 <https://www.springer.com/us/authors-editors/conference-proceedings/conferen…>), 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 <http://www.icits.me/copyright.docx> 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 <http://www.risti.xyz/> - Revista Ibérica de Sistemas e Tecnologias de Informação (download instructions/template for authors in Spanish <http://www.risti.xyz/formato-es.doc> or Portuguese <http://www.risti.xyz/formato-pt.doc>), 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 and 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 4th of November 2022, 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 <http://link.springer.com/>. Papers written in Spanish or Portuguese and accepted and registered will be published in a Special Issue of RISTI <http://www.risti.xyz/> and will be submitted for indexation by Scopus, among others. Important Dates Paper Submission: September 4 13, 2022 Notification of Acceptance: October 16, 2022 Payment of Registration, to ensure the inclusion of an accepted paper in the conference proceedings: November 4, 2022. Camera-ready Submission: November 4, 2022 Website of ICITS'23: http://icits.me <http://icits.me/> ICITS'23 Team http://icits.me <http://icits.me/> -- This email has been checked for viruses by AVG. https://www.avg.com

1 year, 11 months

1
0
0 0

CFP:11th International Workshop on Approaches and Applications of Inductive Programming

by Ute Schmid

1 year, 11 months

1
0
0 0

RuleML+RR -- deadline extension!

by Anni-Yasmin Turhan

Call for Papers for RuleML+RR conference — deadline extension RuleML+RR 2022 26th-28th September in Berlin & on-line, Germany (part of DeclarativeAI and co-located with DecisionCAMP and the 18th Reasoning Web Summer School) The RuleML+RR 2022 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events. The 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning. See https://2022.declarativeai.net/ . We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning. Due to numerous requests, the deadline for RuleML+RR has been extended substantially. The important *new* dates for the RuleML+RR conference are: * June 19th: abstract submission deadline * June 23rd: paper submission deadline – strict! * August 1st: Notification of acceptance * September 26th-28th: Conference The confirmed keynote speakers for RuleML+RR are: Ian Horrocks (University of Oxford) Torsten Schaub (University of Potsdam) Christian de Saint Marie (IBM France) Paul Vincent (Industry Analyst) RuleML+RR 2022 Programm Chairs * Guido Governatori, Brisbane, Australia (gvdgdo(a)gmail.com) * Anni-Yasmin Turhan, Dresden University of Technology, Germany (anni-yasmin.turhan(a)tu-dresden.de) Topics RuleML+RR welcomes research from all areas of Rules and Reasoning. The topics of the conference include, but are not limited to: ### Ontology/Semantic Web * Vocabularies, ontologies, and business rules * Ontology-based mediated query answering * Rules for knowledge graphs and ontology learning * Rule-based data integration * Data management and data interoperability for web data * Distributed agent-based systems for the web ### Rules for AI and AI for Rules * Rule-based approaches to natural language processing * Applications of rule technologies with explainable AI (xAI) elements * Machine learning approaches involving rules * Explainable AI approaches based on rules, * Rule-based approaches for intelligent systems and intelligent information access ### Rules and Reasoning / Logics * Non-classical logics and the web * Description Logics, existential rules * Higher-order and modal rules * Constraint programming * Logic programming, ASP and datalog * Rule based argumentation * Rule-based approaches to agents and multi-agent systems * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning * Inconsistency-tolerant rule reasoning ### Technical Aspects of Rule Systems / Rule Technology * Streaming data and complex event processing * Web reasoning and distributed rule inference and execution * Scalability and expressive power of logics for the Semantic Web * Scalability and expressive power of logics for rules ### Rules and Interoperability * Rule markup languages, rule interchange formats, and rule standards * Rule-based policies, reputation, and trust * Rules and human language technology ### System descriptions, applications and experiences of ontologies and rules in: * climate change monitoring, mitigation & adaptation * environmental protection * healthcare and life sciences * equity and social welfare * law, regulation, and finance * Digital Twins * Industrial contexts * Production & business rule systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Main conference track High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. We accept the following submission formats for papers: * Long papers (up to 15 pages in LNCS style including references) * Short papers (up to 8 pages in LNCS style including references) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style (http://www.springer.com/comp/lncs/authors.html). Submissions to the RuleML+RR conference Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Please see https://2022.declarativeai.net/events/ruleml-rr/ruleml-rr-cfp for further details on preparing the submission. Papers can be submitted using EasyChair https://easychair.org/conferences/?conf=declarativeai22 . Publication The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS) after the conference. A selection of the accepted papers of RuleML+RR 2021 will be invited for submission to the Journal of Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16th International Rule Challenge Track The Rule Challenge solicits high quality papers focussing on practical problems - or challenges - related to rule-based approaches. We welcome two different kinds of submissions: (1) Challenge descriptions: papers describing open challenges, interesting problems from academia or industry, and benchmarks which are of interest for the community and can be solved by rule-based approaches, including task description, datasets, and the evaluation criteria; (2) Challenge solutions: Papers supplying benchmarking or comparison results for rule engines, rule-based machine learning techniques, illustrating rule- and model-driven engineering, reporting on case studies and industrial experiences, and realizing mobile deployment of rule-based reasoning. All submissions must be formatted in the LNCS style and should be between 8-15 pages. The paper submission deadline is July 7th, 2022. The submission page is https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The Doctoral Consortium Track hosted at RuleML+RR 2022 aims at promoting student research in Artificial Intelligence, especially research on rule-based formalisms and reasoning. It offers PhD students close contact with leading experts in the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master’s students who are interested in pursuing a PhD to submit papers describing their research on any of the topics of interest to RuleML+RR 2022. RuleML+RR DC papers are limited to 8 pages written in English following the LNCS format and submitted electronically in PDF format jointly with a maximum 2 pages CV. Details can be found in the RuleML+RR 2022 DC CfP (https://2022.declarativeai.net/events/ruleml-rr/ruleml-rr-dc). The paper submission deadline is July 7th, 2022 (titles/abstracts are due on June 30, 2022). Papers can be submitted via https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Important *new* dates for the RuleML+RR conference * June 19th: abstract submission deadline * June 23rd: paper submission deadline – strict! * August 1st: Notification of acceptance * September 26th-28th: Conference For each of these deadlines, a cut-off point of 23:59 AOE applies. Check out further details materializing at https://2022.declarativeai.net/.

1 year, 11 months

1
0
0 0

Open Position: Professor/Associate professor (Førsteamanuensis) with Artificial Intelligence (AI) and Health (application deadline: 2022/08/01)

by Kerstin Bach

Dear colleagues, We have an open position as Professor/Associate professor (Førsteamanuensis) with Artificial Intelligence (AI) and Health in our research group at NTNU in Trondheim Norway. The main field of research will be within Artificial Intelligence and Machine Learning, with a particular focus on health applications, i.e., Artificial Intelligence and Health. The professor is expected to play an important role in research and research-based education within this field, in cooperation with existing staff at both the IE and medical faculty. The position will be connected to the Norwegian Open AI Lab (NAIL). More specifically, the relevant topics for the position include (but are not limited to): • AI methods for precision and personalized medicine • Synthetic data generation and data analysis for health applications • Explainable AI in healthcare addressing among others data quality, development, robustness and performance • Trustworthy AI in healthcare addressing among others data access, bias, privacy, purpose and implementation The research in Artificial Intelligence and Machine Learning at the Department of Computer Science is driven by an interest in contributing to the state-of-the-art at the level of individual methods and algorithms, coupled with an interest in studying and developing fruitful combinations of methods related to the health domain. The research activities are expected to have a strong international profile and impact. Our strongest contributions to the international research front so far have been within Bayesian learning and probabilistic reasoning, evolutionary learning and neural networks, and instance-based learning and case-based reasoning. In addition, we have ongoing activities within large-scale data and information management at an international level. Over the last years there has been an increased interest in applying AI and machine learning methods on the health domain, and NAIL has already had a lot of activities around this topic. For the new position, it will be important to find candidates that complement (and build on) the competence already present at IDI and the IE Faculty. Applicants must have a formal background in computer science, with research focus on AI and/or machine learning. For more information, please visit the full description of the position here: https://www.jobbnorge.no/en/available-jobs/job/226359/professor-associate-p… Please share the position with relevant candidates. Kind regards, Kerstin Bach

1 year, 11 months

1
0
0 0

RCRA 2022 - 1st call for papers

by cfp

[APOLOGIES FOR MULTIPLE POSTINGS] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) affiliated to the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) https://sites.google.com/view/lpnmr2022 September, 5th, 2022; Genova, Italy RCRA group web site:http://rcra.aixia.it/ Workshop web site: TBA e-mail:marco@dibris.unige.it,M.Vallati@hud.ac.uk * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * IMPORTANT DATES Paper submission deadline: July 10th, 2022 Notification of acceptance: August 1st, 2022 Final version of accepted original papers: August 22nd, 2022 RCRA workshop: September 5th, 2022 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o argumentation o temporal reasoning o combinatorial optimization o quantified boolean formulae and quantified constraints o modal logics o logic programming o answer set programming o ontological reasoning * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridization * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences (visualization, graphics, security, transports,...) WORKSHOP CHAIRS Marco Maratea University of Genova, Italy Mauro Vallati University of Huddersfield, UK HOST ORGANIZATION AND VENUE University of Genova, Italy The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/), which is a college directly situated on the see. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. SUBMISSIONS Authors are invited to submit either original and non-original papers. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style. RCRA 2022 uses EasyChair for the submission of contributions. Contributions must be submitted through this page: https://easychair.org/conferences/?conf=rcra2022 All submissions will be reviewed by at least three members of the program committee (TBD). CONTACT In case of need, the workshop co-chairs can be contacted by sending an email to: marco@dibris.unige.it,M.Vallati@hud.ac.uk PROCEEDINGS CEUR-WS Proceedings: Accepted original papers will be published in the AIxIA series of CEUR-WS AI*IA Series on CEUR-WS.org (upon authors confirmation) Moreover, as in some previous editions (http://rcra.aixia.it/publications), we are considering the possibility of having a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All technical papers, original and non-original, will be eligible. HISTORY OF THE RECENT WORKSHOP SERIES * RCRA 2021 as a workshop of AI*IA 2021, Virtual https://rcra2020.wordpress.com/ * RCRA 2020 as a workshop of AI*IA 2020, Virtual https://rcra2020.wordpress.com/ * RCRA 2018 as a workshop of FLoC 2018, Oxford, UK http://rcra.aixia.it/rcra~2018 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2017 as a workshop of AI*IA 2017, Bari, Italy http://rcra.aixia.it/rcra2017 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2016 as a workshop of AI*IA 2016, Genova, Italy http://rcra.aixia.it/rcra2016 Extended versions of the best papers will appear in a special issue of JETAI * RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy http://rcra.aixia.it/rcra2015 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014, Vienna, Austria -http://rcra.aixia.it/rcra2014 Extended versions of the best papers will appear in a special issue of AI Communications * Previous editions:http://rcra.aixia.it/workshops

1 year, 11 months

1
0
0 0

2nd Samsung AI Workshop "When Deep Learning Meets Logic": workshop

by Rainer Gemulla

We are pleased to invite you to the second Samsung virtual workshop titled “When Deep Learning Meets Logic”, which will take place from June 6 to June 8, 2022. The workshop is co-organized by Vaishak Belle (University of Edinburgh), Martin Grohe (RWTH Aachen), and Efi Tsamoura (Samsung AI, Cambridge) and is sponsored by Samsung AI. The first “When Deep Learning Meets Logic” workshop was held virtually in 2021 hosting talks from renowned academics and researchers, including Leslie Valiant and Christos Papadimitriou, and had more than 1,000 attendees from world-leading research institutes and tech industries. Similar to the first workshop, the second one (https://research.samsung.com/sanw) will overview and present recent advances in the area of neuro-symbolic integration hosting talks from world-renewed researchers in computational neuroscience, deep learning, logic, computer vision, natural language understanding, and robotics. The schedule can be found below. Monday 6 June · 2 PM BST. Daniel Lee, Samsung Research. Introduction/Greeting · 2.15 PM BST - 3 PM BST. Alan Yuille, Johns Hopkins University. Generative Models and the Mismeasure of Artificial Intelligence · 3.15 PM BST – 4 PM BST. Pablo Barcelo. Pontificia Universidad Católica de Chile. Foundations of Symbolic Languages for Model Interpretability · 4.15 PM BST – 5 PM BST. Gary Marcus. Geometric Intelligence, Robust.AI, and Professor Emeritus, New York University. TBA Tuesday 7 June · 2 PM BST – 2.45 PM BST. Dan Roth, University of Pennsylvania, On Reasoning, Planning, and Incidental Supervision · 3 PM BST – 3.45 PM BST. Joohyung Lee, Samsung. Injecting Logical Constraints into Neural Networks · 4 PM BST – 4.45 PM BST. Leopoldo Bertossi, Universidad Adolfo Ibáñez. Counterfactual-Based Explanations for Classification Outcomes: Semantics and Reasoning · 5 PM BST – 5.45 PM BST. Abhinav Gupta, Carnegie Mellon University. The Knowledge, Action Cycle Tuesday 8 June · 2 PM BST – 2.45 PM BST. Wolfgang Maass, Technische Universität Graz. Neural network function without learning: How can nature achieve that? · 3 PM BST – 3.45 PM BST. Maximilian Nickel, Facebook AI Research. Modeling Symbolic Domains via Compositional and Geometric Representations. · 4 PM BST – 4.45 PM BST. Haggai Maron, NVIDIA. Subgraph Aggregation Networks · 5 PM BST – 5.45 PM BST. Rainer Gemulla, University of Mannheim. Knowledge Graph Embeddings: Models, Methods, Future? · 6 PM BST – 6.15 PM BST. Workshop Organizers. Closing Remarks. Attendance will be free and open to the public, while QA sessions will allow the attendees to actively participate. To register, please follow the link: https://event.gotowebinar.com/event/fd29c207-cec0-482c-b950-ffe938b741bd. More information can be found at https://research.samsung.com/sanw. For any questions, please write to efi.tsamoura(a)samsung.com.

1 year, 11 months

1
0
0 0

Second cfp: DeclarativeAI --- RuleML+RR conference, Rule Challenge and Doctoral Consortium

by Anni-Yasmin Turhan

RuleML+RR 2022 26th-28th September in Berlin & on-line, Germany (part of DeclarativeAI and co-located with DecisionCAMP and the 18th Reasoning Web Summer School) The RuleML+RR 2022 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2022 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events. The 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning. See https://2022.declarativeai.net/ . We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning. Important dates for the RuleML+RR conference * May 24th: Title and abstract submission * June 2nd: Paper submission deadline * August 1st: Notification of acceptance * September 26th-28th: Conference The confirmed keynote speakers for RuleML+RR are: Ian Horrocks (University of Oxford), Torsten Schaub (University of Potsdam), Christian de Saint Marie (IBM France), and Paul Vincent (Industry Analyst) RuleML+RR 2022 Programm Chairs * Guido Governatori, Brisbane, Australia (gvdgdo(a)gmail.com) * Anni-Yasmin Turhan, Dresden University of Technology, Germany (anni-yasmin.turhan(a)tu-dresden.de) Topics RuleML+RR welcomes research from all areas of Rules and Reasoning. The topics of the conference include, but are not limited to: ### Ontology/Semantic Web * Vocabularies, ontologies, and business rules * Ontology-based mediated query answering * Rules for knowledge graphs and ontology learning * Rule-based data integration * Data management and data interoperability for web data * Distributed agent-based systems for the web ### Rules for AI and AI for Rules * Rule-based approaches to natural language processing * Applications of rule technologies with explainable AI (xAI) elements * Machine learning approaches involving rules * Explainable AI approaches based on rules, * Rule-based approaches for intelligent systems and intelligent information access ### Rules and Reasoning / Logics * Non-classical logics and the web * Description Logics, existential rules * Higher-order and modal rules * Constraint programming * Logic programming, ASP and datalog * Rule based argumentation * Rule-based approaches to agents and multi-agent systems * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning * Inconsistency-tolerant rule reasoning ### Technical Aspects of Rule Systems / Rule Technology * Streaming data and complex event processing * Web reasoning and distributed rule inference and execution * Scalability and expressive power of logics for the Semantic Web * Scalability and expressive power of logics for rules ### Rules and Interoperability * Rule markup languages, rule interchange formats, and rule standards * Rule-based policies, reputation, and trust * Rules and human language technology ### System descriptions, applications and experiences of ontologies and rules in: * climate change monitoring, mitigation & adaptation * environmental protection * healthcare and life sciences * equity and social welfare * law, regulation, and finance * Digital Twins * Industrial contexts * Production & business rule systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Main conference track High-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications concerning explainable algorithmic decision-making that involve rule-based representation and reasoning are solicited. We accept the following submission formats for papers: * Long papers (up to 15 pages in LNCS style including references) * Short papers (up to 8 pages in LNCS style including references) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style (http://www.springer.com/comp/lncs/authors.html). Submissions to the RuleML+RR conference Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Papers can be submitted using EasyChair https://easychair.org/conferences/?conf=declarativeai22 Publication The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS) after the conference. A selection of the accepted papers of RuleML+RR 2021 will be invited for submission to the Journal of Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16th International Rule Challenge Track The Rule Challenge solicits high quality papers focussing on practical problems - or challenges - related to rule-based approaches. We welcome two different kinds of submissions: (1) Challenge descriptions: papers describing open challenges, interesting problems from academia or industry, and benchmarks which are of interest for the community and can be solved by rule-based approaches, including task description, datasets, and the evaluation criteria; (2) Challenge solutions: Papers supplying benchmarking or comparison results for rule engines, rule-based machine learning techniques, illustrating rule- and model-driven engineering, reporting on case studies and industrial experiences, and realizing mobile deployment of rule-based reasoning. All submissions must be formatted in the LNCS style and should be between 8-15 pages. The paper submission deadline is July 7th, 2022. The submission page is https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The Doctoral Consortium Track hosted at RuleML+RR 2022 aims at promoting student research in Artificial Intelligence, especially research on rule-based formalisms and reasoning. It offers PhD students close contact with leading experts in the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master’s students who are interested in pursuing a PhD to submit papers describing their research on any of the topics of interest to RuleML+RR 2022. RuleML+RR DC papers are limited to 8 pages written in English following the LNCS format and submitted electronically in PDF format jointly with a maximum 2 pages CV. Details can be found in the RuleML+RR 2022 DC CfP (https://2022.declarativeai.net/events/ruleml-rr/ruleml-rr-dc). The paper submission deadline is July 7th, 2022 (titles/abstracts are due on June 30, 2022). Papers can be submitted via https://easychair.org/conferences/?conf=declarativeai22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Important dates for the RuleML+RR conference * May 24th: Title and abstract submission * June 2nd: Paper submission deadline * August 1st: Notification of acceptance * September 26th-28th: Conference For each of these deadlines, a cut-off point of 23:59 AOE applies. Check out further details materializing at https://2022.declarativeai.net/.

1 year, 11 months

1
0
0 0

European Summer School on Data Science for Social Media, 15-17 June 202, Luxembourg

by Eyke Hüllermeier

*** CALL FOR PARTICIPATION *** European Summer School on Data Science for Social Media, 15-17 June 2022, Chambre de Commerce, Kirchberg, Luxembourg Organised by the European Association for Data Science (http://euads.org) The European Association for Data Science is pleased to announce the next instalment of its Summer School series. Social media analysis is an important tool in current and future data driven research in a variety of fields. Discussing its potential and limitations, as well as knowledge transfer of methods and ideas, is what this Summer School is about. The Summer School is primarily aimed at advanced PhD students, postdoctoral and early-career researchers with an interest and basic grounding in data science, machine learning, and/or statistics. It is also aimed at data science professionals working with social media data. Topics and presenters: * Static and dynamic mapping method for uncovering competitive positions: Bernd Skiera (Goethe U Frankfurt, D) * The co-evolution of digital behavioral trace and survey data in social networks: Christoph Stadtfeld (ETH Zürich, CH) * Social media metrics: definitions and applications: Zohreh Zahedi (U of Leiden, NL) * Qualitative and quantitative data analytics in data science, with correspondence analysis and clustering: Fionn Murtagh (U of Huddersfield, UK) * Responsible social-media based collective intelligence: Eirini Ntoutsi (FU Berlin, D) The Summer School is preceded by a public event on Tuesday June 14th during which Prof. Mireille Hildebrandt (Vrije Universiteit Brussel) will be delivering the Sabine Krolak-Schwerdt Lecture entitled "The Whisper Challenge – The Rule of Proxies". The public event will be followed by a welcome reception. The Summer School is planned as an in-person event. For EuADS members the fee for participating in the summer school is 250 EUR. For non-members the fee is 300 EUR and includes a one-year EuADS membership. To ensure an interactive experience the number of participants is limited, so early registration is strongly recommended. For more information including how to register see: https://www.euads.org/fjkdlasjdiglsmdgkcxjhvckh/euads-summer-school/

2 years

1
0
0 0

2024

2023

2022

2021