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 (Tentative)

  • Paper Submission: May 8
  • Author Notification: Jun 8
  • Camera ready: Jul 15
  • Workshop Date: Aug 19

Committees

Organizing Committee

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

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

James Cussens, University of York, 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

Schedule

TBA

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