LuxLogAI 2018 Important Calls (Posters, Abstracts and Grants)


May 25, 2018 at 4:55 PM
Important Calls (Posters, Abstracts and Grants)
==============================================
Luxembourg Logic for AI Summit (LuxLogAI 2018)
17-26 Sep 2018, Luxembourg
https://luxlogai.uni.lu
==============================================

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft für Informatik (GI).

With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.


==First Call For Posters==
RuleML+RR 2018 calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. A Best Poster Award will be given to the best poster presentation.

The full Call for Posters, including submission details, is available at http://2018.ruleml-rr.org/call-for-posters.html.

Important dates:
-Poster paper submission: 1 August 2018
-Author notification: 15 August 2018
-Camera-ready submission: 31 August 2018


==First Call For Abstracts==
The annual meeting Deduktionstreffen (Deduktionstreffen 2018) is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Contributions on all theoretical, experimental and application aspects of deduction are welcome.

Invited speakers:
Cynthia Kop (Radboud University Nijmegen)
Pascal Fontaine (Université de Lorraine, Nancy)

For further information about the Deduktionstreffen 2018, please visit http://fg-dedsys.gi.de/dt2018.html.

Important dates:
-Early bird submission: 5 July 2018 (Notification: 15 July 2018)
-Standard submission: 5 August 2018 (Notification: 15 August 2018)
-Deduktionstreffen: 21 September 2018


==First Call For Applications==
In order to give PhD students and Postdocs (with limited funding) the opportunity to attend LuxLogAI, the organizers are awarding a number of grants to motivated applicants. In return, successful applicants are asked to assist the local organization team during the conference.

For further details, including how to submit your application, visit https://luxlogai.uni.lu/grants/.

Important dates:
-Early bird application deadline: 30 June 2018
-Successful applicants will be notified before: 15 August 2018
-Second round application deadline: 20 August 2018
-Successful applicants will be notified on: 1 September 2018

Aggregates in Recursion: Issues and Solutions (webinar)


May 25, 2018 at 1:31 PM
Aggregates are commonplace in database query languages. It is natural to include them also into logic programming. However, doing so raises a number of issues, in particular when aggregates are used in conjunction with recursive definitions. This talk will shed some light on the underlying issues and some of the solutions proposed in the literature so far.

CfP: 12th International Rule Challenge 2018


April 27, 2018 at 9:04 AM
Submissions may present demos related to the RuleML+RR 2018 (@rulemlorg track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences.

Important Dates

Paper submission:May 25, 2018
Notification of acceptance:June 15, 2018
Camera-ready submission:August 31, 2018
Challenge:September 18-19, 2018

Topics

Key themes of the RuleML 2018 Challenge include, but are not limited to the following:

  • Rule-based Event Processing and Stream Reasoning
  • Business Rules Modeling
  • Benchmarks and comparison results for rule engines
  • Distributed rule bases and rule services
  • Rules and model driven engineering
  • Reports on industrial experience about rule systems
  • Real cases and practical experiences
  • Rules in online market research and online marketing
  • Rule-based distributed / multi-agent systems
  • Combining rules with knowledge extraction and information retrieval
  • Rules and social media
  • Rule-based automation for asset trading

submissions

The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-15 pages. Papers must be original contributions written in English and will be submitted at https://easychair.org/conferences/?conf=rulemlrr2018.

To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results.

The paper shall address the following:

  • Explain the objectives, outcomes, benefits as you are going beyond the state of the art in technology, the application domain, etc.
  • Proof the results with a concrete example balancing conciseness and completeness
  • Preferably (but not necessarily) embed the tool in a web-based or distributed environment or a mobile environment
  • Present end-user interactions, providing an adequate and usable interface that favours a concrete usage of the application
  • Mention the availability of the software and data, data interchange, and possible tool extensions
  • If it is the case, provide a web-link to the project site, online demonstration, or download site

Please upload all submissions in LNCS format. Rule Challenge 2018 proceedings will be published as CEUR Proceedings and indexed by SCOPUS.

Registration

Registration information will soon become available at the main conference web site. Reduced registration fees will be offered to all student participants of the conference.

Past CEUR-WS Proceedings

RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May)


April 21, 2018 at 2:47 PM
Important dates (NEW): - Abstract: 04 May 2018 (EXTENDED) - Full paper: 11 May 2018 (EXTENDED).

==================================================================

RuleML+RR 2018 FINAL CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May)

RuleML+RR 2018: International Joint Conference on Rules and Reasoning

http://2018.ruleml-rr.org

Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu)

==================================================================

== SUMMARY ==

High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.

== IMPORTANT NEW DATES ==

Title and Abstract submission: 04 May 2018 (EXTENDED)
Full papers submission: 11 May 2018 (EXTENDED)
Notification of acceptance: 11 June 2018 (EXTENDED)
Camera-ready submission: 25 June 2018 (EXTENDED)
Conference: 18-21 Sept 2018

For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies.

==================================================================

For more information view the original post (http://blog.ruleml.org/post/134860309-ruleml-rr-2018-last-call-for-papers#disqus_thread)

RuleML+RR 2018 LAST CALL FOR PAPERS


April 10, 2018 at 10:11 PM
High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract: 20 Apr 2018 - Full paper: 27 Apr 2018

==================================================================

RuleML+RR 2018 LAST CALL FOR PAPERS

RuleML+RR 2018: International Joint Conference on Rules and Reasoning

http://2018.ruleml-rr.org

Part of Luxembourg Logic for AI Summit (LuxLogAI, https://luxlogai.uni.lu)

==================================================================

== SUMMARY ==

High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited.

Important dates:
 - Abstract:   20 Apr 2018
 - Full paper: 27 Apr 2018

== THE CONFERENCE ==

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will take place in Luxembourg on September 18th-21th 2018
and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible  AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and
the Global Conference on Artificial Intelligence (GCAI 2018).

== TOPICS ==

RuleML+RR welcomes original research from all areas of Rules and Reasoning.

Topics of particular interest include:

* Rule-based languages for intelligent information access and for the semantic web
* Vocabularies, ontologies, and business rules
* Ontology-based data access
* Data management, and data interoperability for web data
* Distributed agent-based systems for the web
* Scalability and expressive power of logics for the semantic web
* Reasoning with incomplete, inconsistent and uncertain data
* Non-monotonic, common-sense, and closed-world reasoning for web data
* Non-classical logics and the Web
* Constraint programming
* Logic programming
* Production & business rules systems
* Streaming data and complex event processing
* Rules for machine learning, knowledge extraction and information retrieval
* Rule-based approaches to natural language processing
* Rule discovery, extraction and transformation
* Rules and ontology learning
* Deep Learning for rules and ontologies
* Neural Networks and logic rules
* Neural Networks and ontologies
* Rule-based approaches to agents
* Higher-order and modal rules
* Rules for knowledge graphs
* Pragmatic web reasoning and distributed rule inference / rule execution
* Big data reasoning with rules
* Rule markup languages and rule interchange formats
* Rule-based policies, reputation, and trust
* Scalability and expressive power of logics for rules
* System descriptions, applications and experiences
* Rules and human language technology
* Rules in online market research and online marketing
* Applications of rule technologies in healthcare and life sciences
* Applications of rule technologies in law, regulation and finance
* Industrial applications of rules
* Rules and social media
* Rules of ethics, laws, policies, and regulations

Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI

== SUBMISSIONS ==

We accept the following submission formats for papers:

* Full papers (up to 15 pages in LNCS style)
* Technical Communications (up to 8 pages in LNCS style)

Submitted full papers should present original and significant research results. They 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.

Technical communications are intended for promising but possibly preliminary work, position papers, system descriptions, and applications descriptions (which may be accompanied by a demo).

Submissions: via EasyChair (https://easychair.org/conferences/?conf=rulemlrr2018)

The RuleML+RR 2018 best papers will be invited for rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP).

In addition to regular submissions, RuleML+RR 2018 will host an Industry Track, a Doctoral Consortium and the 12th International Rule Challenge.

== PUBLICATION ==

The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS).
All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html).

== IMPORTANT DATES ==

Title and Abstract submission: 20 Apr 2018
Full papers submission: 27 Apr 2018
Notification of acceptance: 1 June 2018
Camera-ready submission: 15 June 2018
Conference: 18-21 Sept 2018

For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies.

== ORGANISATION ==

Summit Chair (LuxLogAI):
  Leon van der Torre (U Luxembourg)
General Chair (RuleML+RR):
  Xavier Parent (U Luxembourg)
Program Chairs:
  Christoph  Benzmüller  (U  Luxembourg  &  FU Berlin)
  Francesco Ricca (U Calabria)
Proceedings Chair:
  Dumitru Roman (SINTEF/U Oslo)
Industry Track Chair:
  Silvie Spreeuwenberg (LibRT Amsterdam)
Doctoral Consortium Chair
  Kia Teymouria (Boston University, Metropolitan College)
Int’l Rule Challenge Chairs:
  Giovanni De Gasperis (U L’Aquila)
  Adrian Giurca (BTU Cottbus- Senftenberg)
Reasoning Web (RW) Summer School
  Claudia d’Amato (U Bari)
  Martin Theobald (U Luxembourg)
Publicity Chairs:
  Frank Olken (Frank Olken Consulting)
  Amal Tawakuli (U Luxembourg)
  Xing Wang (Liaoning TU)
Financial Chair
  Martin Theobald (U Luxembourg)
Poster Chair
  Alex Steen (FU Berlin)


== PROGRAM COMMITTEE ==

Full list available at: http://2018.ruleml-rr.org

DecisionCAMP and RuleML+RR will Meet Again in Luxembourg


March 16, 2018 at 2:56 PM
This article is about relationships between two different but closely related fields of the knowledge representation movement: Semantic Reasoning and Business Rules&Decisions Management

This September DecisionCAMP (https://decisioncamp2018.wordpress.com/) and RuleML+RR (http://2018.ruleml-rr.org) will be co-located again for the third time during the LuxLogAI-2018 (https://luxlogai.uni.lu) summit in Luxembourg. These two events represent two different but closely related fields of the knowledge representation movement: Business Rules & Decisions Management and Semantic Reasoning. In this post I want to talk about relationships between these two fields and the events.

Probably not many people know that when OpenRules was founded in 2003 (https://openrules.wordpress.com/2018/02/24/happy-15th-birthday-openrules/), we initially positioned ourselves as a Semantic Web company. However, absence of practical results at that time forced us to limit our ambitions to Business Rules Management. As a result, we created an open source product (http://openrules.com/) that allowed business analysts to represent their business logic and then a rule engine effectively executed business rules – these capabilities quickly brought tangible values to our customers. Over the years, OpenRules, like other Business Rules and Decision Management vendors, was successfully used by many companies worldwide to build practical decision-making systems.

These days business analysts work in concert with developers to successfully develop so called “decision models” capable to solve their own business problems. In most cases they represent domain-specific knowledge by defining:

a) Business glossaries as a set of decision variables with their various characteristics
b) Business rules (such as decision tables) to represent the relationships between decision variables.

Then a rule engine executes the decision model to find an answer to a certain business question, e.g. calculate insurance premium or determine loan eligibility. The last 15 years resulted in serious progress in creating user-friendly interfaces for decision modeling. Now we even have the first standard “DMN - Decision Model and Notation” (http://www.omg.org/spec/DMN). Probably the most important achievement is the fact that the objective to move control over business logic from IT to subject matter experts became a reality.

However, today’s decision models force human experts to describe almost ALL relationships between decision variables using business rules which may become very complex and include various calculation formulas, filters, iterations, etc. How to minimize human involvement?

Some good practical results already came from the integration of the Business Rules approach with:
a) Machine Learning (Predictive Analytics) to automatically generate rules based on the historical data
b) Decision Optimization (Prescriptive Analytics) to apply an optimization engine to explore relationships not covered by business rules and to find not one but multiple alternative solutions, and even optimal solutions.

However, to further automate decision making across multiple inter-connected decision models we need to move business and decision management to the Semantic Web territory and try to integrate the results produced in the both fields. There were interesting initial inter-communications between DecisionCAMP and RuleML+RR in 2016 and 2017 when people from both communities attended presentations during both events. I also would like to mention the following related papers:

And finally, I want to share my answer to the question asked during DecisionCAMP-2017 Q&A Panel: What is the next “killer” application for Decision Management?

“We probably should look for an answer at our co-located conference RuleML+RR where Semantic Web people already have created good reasoning tools. If we consider our decision models as ‘decision ontologies’ and apply similar reasoning tools to them, we would not need to force our customers to write specific rules that lead to calculation of insurance premiums or acceptance/rejection of loan applications. Having rules to define only relationships inside our inter-related decision models (ontologies), they (users) would only need to specify the goal (e.g. insurance premium), and then a Decision Reasoner will automatically calculate it for a particular insurance policy.”

Looking forward to more suggestions for a productive cooperation between experts in two related fields: Semantic Web and Business Rules&Decision Management.

RuleML+RR 2017 Report


March 15, 2018 at 9:54 AM
This article reports on the 1st RuleML+RR: International Joint Conference on Rules and Reasoning, which was held at Birkbeck, University of London in London, UK, during 12-15 July 2017.

In 2017 the two events RuleML and RR came together to form the 1st RuleML+RR: International Joint Conference on Rules and Reasoning held at Birkbeck, University of London, in London, UK, during 12-15 July. RuleML (International Web Rule Symposium) events have been ongoing since 2002, first as workshops until 2004 and then as conferences from then on, throughout Europe, US and Japan, and RR (Reasoning and Rule Systems) conferences have been ongoing since 2007, throughout Europe and US.

RuleML+ RR 2017 was co-located with several other events: the 13th Reasoning Web Summer School, which is a high-level educational initiative devoted to reasoning techniques related to the Semantic Web, Linked Data and Knowledge Graph application scenarios; DecisionCAMP, a renowned event in the field of Business Rules and Decision Management Technology; and BICOD, the 31st British International Conference on Databases, a venue for research papers on data management.

RuleML+ RR 2017 provided a rich programme of four tutorials, three keynote talks, and technical papers, together with several sub-events, including a Doctoral Consortium, which is an initiative to attract and promote student research in rules and reasoning, the 11th International Rule Challenge, providing competition among work in progress and new visionary ideas concerning innovative rule-oriented applications, an Industry Track as a forum for all private and public sectors of industry and business to present, discuss, and propose potential rule-based applications, as well as a highly popular Poster session.

The four tutorials were:

  • Decision Modeling with DMN and OpenRules, by Jacob Feldman (Open Rules, Inc., US)
  • How to do it with LPS (Logic-Based Production System, by Robert Kowalski, Fariba Sadri (Imperial College London, UK), and Miguel Calejo (InterProlog Consulting)
  • Logic-Based Rule Learning for the Web of Data, by Francesca A. Lisi (University of Bari, Italy)
  • Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning, by Benjamin Grosof (Accenture, US), Michael Kifer, and Paul Fodor (Stony Brook University, NY, US)

The three keynote presenters and talks were:

The first of these, by Elena Baralis, was a joint BICOD keynote talk. In addition the two events shared a session of two research papers. In total the conference included 14 research papers, selected from 38 submissions, with presentations divided into sessions on Rules and Databases, Rules and Description Logics, Applications of Rules, and Rules and Logic Programming.

The conference also shared an industry invited talk with DecisionCAMP:
Eric Mazeran, IBM, US, presenting “Machine Learning, Optimization and Rules: Time for Agility and Convergences”.

The Doctoral Consortium (DC) consisted of six papers, one of which, the winner of the DC best paper award, was presented as a full research paper and published in the Springer conference proceedings.

The Rule Challenge consisted of 5 presentations and demos, in diverse areas, such as traffic management, health insurance, diabetes counselling support, anomaly detection, and translation from (controlled) English to rules. The event also had the benefit of an invited presentation and demo by Keith Clark from Imperial College London, UK, on Concurrent Multi-tasking Robotic Agent Programming in TeleoR. In the Standards session, Harold Boley presented on OASIS LegalRuleML and perspectival knowledge in PSOA RuleML 1.0.

The official conference Dinner was held at the Royal Society. One of the highlights of the conference was the after dinner speech given by Bob Kowalski, from Imperial College London, entitled “Logic and AI – The Last 50 Years”. In this, Bob gave a fascinating insightful history of logic and AI, from 1967 to the present day, sketching novel approaches to ongoing challenges, with many wonderful anecdotes that only a person deeply involved in all the many developments of this history can give.

The conference and its associated events were well-attended, with a total of 140 delegates registered, including 70 RuleML+RR participants.

The conference and its sub-events produced several winners:

  • The winners of the RuleML+RR Best Paper award were: Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi and Marco Montali, for the paper entitled “Semantic DMN: Formalizing Decision Models with Domain Knowledge”.
  • The winner of the RuleML+RR Best Doctoral Consortium Paper award was: Dimitra Zografistou, for the paper entitled “ArgQL: A Declarative Language for Querying Argumentative Dialogues”.
  • The winners of the RuleML+RR Best Rule Challenge Paper were: Silvie Spreeuwenberg and Rolf Krikke, for the paper and demo entitled “Development of the rule based approach to traffic management by the Dutch road authorities”.
  • The winners of the RuleML+RR Best Poster award were: Francesca Alessandra Lisi, Daria Stepanova, for the poster entitled “Combining Rule Learning and Nonmonotonic Reasoning for Link Prediction in Knowledge Graphs”.

We would like to thank our sponsors, whose contributions helped us to cover the costs of student participants and the keynote speakers. We would also like to thank all the people who have contributed to the success of this year’s special RuleML+RR 2017 and co-located events, including all the chairs, PC members, authors, speakers, and participants. Thanks are also due to the publisher, Springer, for their cooperation in editing and publishing the conference proceedings, and to the CEUR voluntary organisation for providing the facility to publish the proceedings of the conference sub-events.

The participants of this 1st Int'l Joint Conference were able to build a larger and stronger RuleML+RR community. The 2nd Int'l Joint Conference on Rules and Reasoning is planned as part of LuxLogAI 2018 in Luxembourg, a co-location including GCAI 2018 and DecisionCAMP 2018 (both Sep 17-19), RuleML+RR 2018 (Sep 18-21), and the Reasoning Web Summer School 2018 (Sep 22-26).

Prerelease of PSOA RuleML 1.0 and Release of PSOATransRun 1.3


December 11, 2017 at 2:42 PM

This is a prerelease of PSOA RuleML 1.0, whose schemas for XML serialization need to be finished, as well as the release of PSOATransRun 1.3, which executes PSOA RuleML 1.0's finished presentation syntax. The arXiv-maintained paper Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation introduces both the PSOA RuleML 1.0 language and the PSOATransRun 1.3 system. In PSOA RuleML, a predicate application (atom) can have an Object IDentifier (OID) and descriptors that may be positional arguments (tuples) or attribute-value pairs (slots). PSOA RuleML 1.0 specifies for each descriptor whether it is to be interpreted under the perspective of the predicate in whose scope it occurs. This perspectivity dimension refines the space between oidless, positional atoms (relationships) and oidful, slotted atoms (frames): While relationships use only a predicate-scope-sensitive (predicate-dependent) tuple and frames use only predicate-scope-insensitive (predicate-independent) slots, PSOA RuleML 1.0 uses a systematics of orthogonal constructs also permitting atoms with (predicate-)independent tuples and atoms with (predicate-)dependent slots. A slot attribute can thus have different values depending on the predicate. The open-source PSOATransRun 1.3 system realizes PSOA RuleML 1.0 by a translator to runtime predicates, including for dependent tuples (prdtupterm) and slots (prdsloterm).