Description

The purpose of this workshop is to promote logical foundations for reasoning and learning under uncertainty. Uncertainty is inherent in many AI applications, and coping with this uncertainty, in terms of preferences, probabilities and weights, is essential for the system to operate purposefully. In the same vein, expecting a domain modeler to completely characterize a system is often unrealistic, and so enabling mechanisms by means of which the system can infer and learn about the environment is needed. While probabilistic reasoning and Bayesian learning has enjoyed many successes and is central to our current understanding of the data revolution, a deeper investigation on the underlying semantical issues as well as principled ways of extending the frameworks to richer settings is what this workshop strives for. Broadly speaking, we aim to bring together the many communities focused on uncertainty reasoning and learning -- including knowledge representation, machine learning, logic programming and databases -- by focusing on the logical underpinnings of the approaches and techniques.

Given the intent of the workshop, we encourage two categories of submissions:

  • On the practical side, we solicit papers that propose ways to bridge conventional learning and inference techniques with deductive and inductive reasoning. Driven by the successes of relational graphical models and statistical relational learning, we especially encourage papers that emphasize or demonstrate non-standard logical features in systems, e.g. the ability to handle infinite domains, existential uncertainty and/or function symbols.

  • On the foundations side, we solicit papers that explicate the use of weights in reasoning and learning, e.g. the use of weight functions such as degrees of belief, preferences, and truth degrees. We especially encourage papers that demonstrate how non-standard weight functions for reasoning and learning can be better integrated with existing probabilistic methods. The idea, then, is to foster collaboration between machine learning practitioners and the weighted logic community. For example, we encourage papers that revisit the learning objectives and inference methodologies of existing systems, and propose novel semantical frameworks to understand them.

In sum, topics include (but are not limited to):

  • Probabilistic and weighted databases and knowledge bases
  • Integration of deductive and inductive reasoning with Bayesian inference and learning
  • Semantical foundations for machine learning
  • Logics for data-intensive information processing, such as data fusion
  • Extension of statistical relational learning with generic weight functions
  • Declarative methods for inference and learning

Dates

  • Paper Submission: May 15 May 28 (extended deadline)
  • Author Notification: Jun 8
  • Camera ready: Jul 15
  • Workshop Date: Aug 20

Committees

Organizing Committee

Vaishak Belle, University of Edinburgh, UK; vaishak(at)ed.ac.uk

Marcelo Finger, University of Sao Paulo, Brazil; mfinger(at)ime.usp.br

James Cussens, University of York, UK; james.cussens(at)york.ac.uk

Guilin Qi, Southeast University, China; gqi(at)seu.edu.cn

Henri Prade, Universite Paul Sabatier, France; prade(at)irit.fr

Lluis Godo, IIIA CSIC, Spain; godo(at)iiia.csic.es

Program Committee

Fabio Cozman, University of Sao Paulo, Brazil

Jesse Davies, KU Leuven, Belgium

Adnan Darwiche, UCLA, USA

Didier Dubois, IRIT, France

Esra Erdem, Sabanci University, Turkey

Linda van der Gaag, Universiteit Utrecht, The Netherlands

Tommaso Flaminio, University of Insubria, Italy

Vibhav Gogate, University of Texas at Dallas, USA

Joe Halpern, Cornell University, USA

Manfred Jaeger, Aalborg University, Denmark

Souhila Kaci, University Montpellier, France

Gabriele Kern-Isberner, Technical University of Dortmund, Germany

Gerhard Lakemeyer, RWTH Aachen University, Germany

Churn-Jung Liau, Academia Sinica, Taiwan

Emiliano Lorini, IRIT, France

Thomas Lukasiewicz, University of Oxford, UK

Carsten Lutz, University of Bremen, Germany

Denis Maua, University of Sao Paulo, Brazil

Vanina Martinez, Universidad Nacional del Sur, Argentina

Zoran Ognjanovic, Mathematical Institute SANU, Serbia

Ron Petrick, Edinburgh, UK

Rodrigo De Salvo Braz, SRI, USA

Giuseppe Sanfilippo, University of Palermo, Italy

Steven Schockaert, Cardiff University, UK

Guillermo Simari, Universidad Nacional del Sur, Argentina

Umberto Straccia, CNR, Italy

Schedule

The program for the workshop can be found here.

The workshop's proceedings can be found here.

Accepted papers

The workshop's proceedings can be found here.

  • Yi Zhou. From First-Order Logic to Assertional Logic

  • Matthias Thimm and Kristian Kersting. Towards Argumentation-based Classification.

  • Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic, Angelina Ilic-Stepic, Nebojsa Ikodinovic, Aleksandar Perovic and Dragan Doder. An overview: Axiomatizations of probabilities with non-standard ranges.

  • Stefan Borgwardt, Ismail Ilkan Ceylan and Thomas Lukasiewicz. Ontology-Mediated Queries for Probabilistic Databases.

  • Teresa Alsinet, Josep Argelich, Ramon Bejar, Lluis Godo and Francesc Esteva. A probabilistic author-centered model for Twitter.

  • Michael Crosscombe and Jonathan Lawry. A Model of Multi-Agent Consensus for Compound Sentences.

  • Naveen Sundar Govindarajulu and Selmer Bringsjord. Strength Factors: An Uncertainty System for a Quantified Modal Logic.

  • Huan Gao, Guilin Qi and Qiu Ji. Schema Induction From Incomplete Semantic Data.

  • Yoojung Choi, Adnan Darwiche and Guy Van den Broeck. Optimal Feature Selection for Decision Robustness in Bayesian Networks.

  • Ondřej Kuželka, Jesse Davis and Steven Schockaert. Learning Possibilistic Logic Theories from Default Rules (Abridged Version).

Submission

We invite technical papers (up to 6 pages), and extended abstracts (up to 2 pages).

We invite submissions describing either work in progress or mature work that has already been published at other research venues and would be of interest to researchers working in the areas of reasoning about uncertainty and learning. Submission of previously published work in whole or in part may be in the form of a resubmission of a previous paper, or in the form of an extended abstract that overviews and cites a body of work.

Submissions of papers being reviewed at other venues are welcome since this is a non archival venue and we will not require a transfer of copyright. If such papers are currently under blind review, please anonymize the submission. Otherwise, no anonymization is required.

All papers should be typeset in the IJCAI-17 style, described at http://ijcai-17.org/FormattingGuidelinesIJCAI-17.zip

Papers should be submitted via EasyChair at https://easychair.org/conferences/?conf=lfu17

Elements

Text

This is bold and this is strong. This is italic and this is emphasized. This is superscript text and this is subscript text. This is underlined and this is code: for (;;) { ... }. Finally, this is a link.


Heading Level 2

Heading Level 3

Heading Level 4

Heading Level 5
Heading Level 6

Blockquote

Fringilla nisl. Donec accumsan interdum nisi, quis tincidunt felis sagittis eget tempus euismod. Vestibulum ante ipsum primis in faucibus vestibulum. Blandit adipiscing eu felis iaculis volutpat ac adipiscing accumsan faucibus. Vestibulum ante ipsum primis in faucibus lorem ipsum dolor sit amet nullam adipiscing eu felis.

Preformatted

i = 0;

while (!deck.isInOrder()) {
    print 'Iteration ' + i;
    deck.shuffle();
    i++;
}

print 'It took ' + i + ' iterations to sort the deck.';

Lists

Unordered

  • Dolor pulvinar etiam.
  • Sagittis adipiscing.
  • Felis enim feugiat.

Alternate

  • Dolor pulvinar etiam.
  • Sagittis adipiscing.
  • Felis enim feugiat.

Ordered

  1. Dolor pulvinar etiam.
  2. Etiam vel felis viverra.
  3. Felis enim feugiat.
  4. Dolor pulvinar etiam.
  5. Etiam vel felis lorem.
  6. Felis enim et feugiat.

Icons

Actions

Table

Default

Name Description Price
Item One Ante turpis integer aliquet porttitor. 29.99
Item Two Vis ac commodo adipiscing arcu aliquet. 19.99
Item Three Morbi faucibus arcu accumsan lorem. 29.99
Item Four Vitae integer tempus condimentum. 19.99
Item Five Ante turpis integer aliquet porttitor. 29.99
100.00

Alternate

Name Description Price
Item One Ante turpis integer aliquet porttitor. 29.99
Item Two Vis ac commodo adipiscing arcu aliquet. 19.99
Item Three Morbi faucibus arcu accumsan lorem. 29.99
Item Four Vitae integer tempus condimentum. 19.99
Item Five Ante turpis integer aliquet porttitor. 29.99
100.00

Buttons

  • Disabled
  • Disabled

Form