Kdml April 2022

kdml@cs.uni-kassel.de

3 participants
4 discussions

PhD/Postdoc Position in Machine Learning at LMU Munich

by Eyke Hüllermeier

In the Institute of Informatics at the Ludwig-Maximilans-University (LMU) Munich, Germany, a position as a Research Assistant is to be filled at the earliest possible date. The position is associated with the Chair of Artificial Intelligence and Machine Learning (https://www.kiml.ifi.lmu.de/index.html). Both PhD candidates and postdoctoral researchers are invited to apply. The position is intended for three years with a possibility for further extension. Payement is at the level of E13 according to the German federal wage agreement scheme (TV-L). Candidates are expected to have a strong background in computer science and mathematics, with a specialisation in machine learning. Postdoctoral researchers are additionally expected to have an excellent publication record, ideally including major AI/ML conferences (ICML, NeurIPS, IJCAI, AAAI, etc.). Research topics of interest include (but are not limited to) the following: -- Uncertainty in machine learning -- Preference learning, ranking and choice -- Online learning and learning on data streams -- Multi-target prediction and structured outputs -- AutoML and metareasoning -- Explainable AI and interpretable machine learning Please upload an electronic version of your application in a SINGLE PDF file: https://nextcloud.isml.eu/s/a7xWiTemaCn4awX Password: A5tyaTKEn3 The deadline for application is May 10, 2022. Your application material should include the following: -- Cover letter with a short outline of your background and a motivation for applying -- CV including a synopsis of the PhD/Master's thesis and a list of publications (if any) -- Certificates (PhD, Bachelor/Master certificate including transcript of grades) -- Optional: Letter(s) of reference

3 years

Datalog 2.0 2022 - Second Call for Papers (opportunity for TPLP rapid publication)

by cfp

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --------------------------------------------------------------------------- SECOND CALL FOR PAPERS 4th International Workshop on the Resurgence of Datalog in Academia and Industry Datalog 2.0 2022 https://tinyurl.com/datalog20-22 September 5, 2022, Genova, Italy Workshop of LPNMR 2022 --------------------------------------------------------------------------- NEW IN THIS CALL * Opportunity for TPLP rapid publication * Invited Speaker * Program Committee AIMS AND SCOPE Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova, Italy, on September 5, 2022. Datalog 2.0 2022 is a workshop of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022). The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second and the third edition of the workshop, which were held in Vienna in 2012 and in Philadelphia in 2019, respectively, were open for submissions. INVITED SPEAKER Reinhard Pichler, Vienna University of Technology, Austria TOPICS Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. SUBMISSION Datalog 2.0 2022 welcomes two types of submissions * Long papers of up to 12 pages, presenting original research * Short papers of up to 5 pages that may contain either original ongoing research or recently published results in the following categories * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Paper submission is enabled via the Datalog 2.0 2022 EasyChair site:https://easychair.org/conferences/?conf=datalog20-22 Up to five best papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). FURTHER INFORMATION WWW:https://tinyurl.com/datalog20-22 Email:datalog20-22@easychair.org IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 1 Final versions due: August 20 VENUE The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the see. (To be confirmed. Alternative: University of Genova.) Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. Genova’s old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. Nervi is a former fishing village, now a suburb of Genoa, 7 km east of central Genova. Two of the most important tourist attractions of Genoa are in Nervi: the sea promenade, a 2 km walkway along the cliffs, and the "Parchi di Nervi". The sea promenade is famous for the stunning views that make it one of Italy's most beautiful promenades. While the "Parchi di Nervi" is a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species and the entrance is just at the end of the promenade. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas, and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. 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. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy PROGRAM COMMITTEE Marcelo Arenas, Pontificia Universidad Católica, Chile Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada Marco Calautti, University of Trento, Italy Esra Erdem, Sabanci University, Turkey Jorge Fandinno, University of Nebraska, USA Cristina Feier, University of Bremen, Germany Roman Kontchakov, Birkbeck, University of London, UK Paraschos Koutris, University of Wisconsin-Madison, USA Markus Krötzsch, TU Dresden, Germany Matthias Lanzinger, University of Oxford, UK Domenico Lembo, Sapienza University of Rome, Italy Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy Yanhong A. Liu, Stony Brook University, USA Marco Manna, University of Calabria, Italy Michael Morak, University of Klagenfurt, Austria Liat Peterfreund, Paris-Est University, France Torsten Schaub, University of Potsdam, Germany Mantas Simkus, TU Wien, Austria Tran Cao Son, New Mexico State University, USA

3 years

LPNMR 2022 - Last Call for Papers

by cfp

[Apologies in case of multiple posting] 10 days to abstract submission! Call for Papers --------------------------------------------------------------------------------------------- 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022 https://lpnmr2022.dibris.unige.it Genova, Italy September 5-9, 2022 --------------------------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. TOPICS Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION AND PUBLICATION LPNMR 2022 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Paper submission is enabled via the LPNMR 2022 Easychair site: https://easychair.org/conferences/?conf=lpnmr2022 The two best papers of general AI interest will be invited for rapid publication in the Artificial Intelligence Journal. Also, the 2-5 best papers with a logic programming focus will be invited for rapid publication in the journal of Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2022 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. COLOCATED WORKSHOPS * 4th International Workshop on the Resurgence of Datalog in Academia and Industry (DATALOG 2.0) * 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) * 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) ASSOCIATED EVENTS LPNMR DOCTORAL CONSORTIUM - A mentoring event where PhD students have a chance to present their current research, get feedback from peers and senior researchers, and establish contacts for their future career. FURTHER INFORMATION WWW:https://lpnmr2022.dibris.unige.it Email:lpnmr2022@easychair.org (submission and program) lpnmr2022(a)dibris.unige.it (general and local matters) Facebook:https://www.facebook.com/lpnmr2022 Twitter:https://twitter.com/lpnmr2022 Instagram:https://www.instagram.com/lpnmr2022 IMPORTANT DATES * Paper registration: April 23, 2022 * Paper submission: April 30, 2022 * Notification: June 10, 2022 * Final versions due: June 30, 2022 VENUE The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/, information available only in Italian on this link), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west. Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well. 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. GENERAL CHAIR Georg Gottlob, Oxford University, UK PROGRAM CHAIRS Daniela Inclezan, Miami University, USA Marco Maratea, University of Genova, Italy PUBLICITY CHAIR Jessica Zangari, University of Calabria, Italy WORKSHOPS CHAIR Viviana Mascardi, University of Genova, Italy DOCTORAL CONSORTIUM CHAIR Martin Gebser, University of Klagenfurt, Austria LOCAL ORGANIZATION Matteo Cardellini, University of Genova, Italy Angelo Ferrando, University of Genova, Italy (Chair) Marco Mochi, University of Genova, Italy PROGRAM COMMITTEE (Current) Mario Alviano, Department of Mathematics and Computer Science, University of Calabria Chitta Baral, Arizona State University Marcello Balduccini, Saint Joseph's University Francesco Calimeri, Department of Mathematics and Computer Science, University of Calabria Marina De Vos, University of Bath Carmine Dodaro, Department of Mathematics and Computer Science, University of Calabria Agostino Dovier, University of Udine Daniele Theseider Dupré, Universita' del Piemonte Orientale Thomas Eiter, Vienna University of Technology Esra Erdem, Sabanci University Wolfgang Faber, Alpen-Adria-Universität Klagenfurt Johannes K. Fichte, TU Wien Paul Fodor, Stony Brook University Gerhard Friedrich, Alpen-Adria-Universitaet Sarah Alice Gaggl, TU Dresden Martin Gebser, University of Klagenfurt Michael Gelfond, Texas Tech University Gopal Gupta, The University of Texas at Dallas Katsumi Inoue, NII Tomi Janhunen, Tampere University Gabriele Kern-Isberner, Technische Universitaet Dortmund Matthias Knorr, Universidade NOVA de Lisboa Emily Leblanc, Drexel University Joao Leite, Universidade NOVA de Lisboa Vladimir Lifschitz, The University of Texas at Austin Enrico Pontelli, New Mexico State University Francesco Ricca, Department of Mathematics and Computer Science University of Calabria Alessandra Russo, Imperial College London Orkunt Sabuncu, TED University, Ankara Chiaki Sakama, Wakayama University Torsten Schaub, University of Potsdam Guillermo R. Simari, Universidad del Sur in Bahia Blanca Theresa Swift, NOVALINKS, Universidade Nova de Lisboa Matthias Thimm, FernUniversität in Hagen Hans Tompits, Vienna University of Technology Mirek Truszczynski, Computer Science Department, University of Kentucky Johannes P. Wallner, TU Graz Kewen Wang, Griffith University Stefan Woltran, Vienna University of Technology Jia-Huai You, University of Alberta

3 years

First cfp: RuleML+RR, Rule Challenge and Doctoral consortium

by Anni-Yasmin Turhan

RuleML+RR 2022 26th-28th September in Berlin, 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/ . RuleML+RR 2022 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning. It provides a forum for stimulating cooperation and cross-fertilization between different communities focused on the research, development, and applications of rule-based systems. We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning. 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) * Short papers (up to 8 pages in LNCS style) 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. 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). All submissions must be prepared in Springer's LNCS style (http://www.springer.com/comp/lncs/authors.html). 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 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 Doctoral Consortium 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). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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/.

3 years, 1 month

2025

2024

2023

2022

2021

Kdml April 2022