The Logic in Diagnostics: Theory and Practice
( program committee invites
submissions of technical papers for LDTP-2015, to be held as a
workshop at IJCAI-2015 in Buenos Aires, Argentine, on July 25-31,

The workshop focuses on a critical assessment of the role and
limitations of using formal logic in automated
diagnosis. Contributions should point to relevant diagnostic problems
(not limited to diagnostics of cyber-physical systems) and emphasize
on the aspects of knowledge representation and automated
reasoning. Accepted papers should shed a light on solutions,
difficulties, and open issues in addressing the application of logical

The art of applying diagnostics requires the use of logic at many
levels: for modeling systems, and for computing explanations of
unknown behavior. Many problems, outside the field of diagnosing of
physical systems or computer programs, can be seen as logic diagnostic
problems.  For example, explaining strange behavior of computers due
to attacks can be cast as a diagnostic problem and logic programming
can be used for automatic inference.

Many types of logic can be used in diagnostics. Some tasks are more
suited to deterministic logic systems while other domains are more
amenable to probabilistic modeling. Naturally, hybrid approaches
attempt to leverage the two worlds.

Modeling of the real-world is known to be very complex while modeling
of computer problems brings forward logic problems like undecidability
and Turing completeness (what is a model of a computer program).

The notion of action and change is central to many diagnostic problems
and as well of major interest to logicians: the main question is what
caused something to fail as opposed to how a failure correlates with
some other event. Bayesian and Markov logic systems, Pearl's causality
and McCain-Turner causal theories are all proposed for solving various
diagnostic problems.

The process of computing diagnostic hypotheses can be seen as a logic
proof. Depending on the formulation of the problem, people use
deductive, inductive, or (very often) abductive reasoners. Each of
these incurs different computational (and memory) cost and results in
different diagnostic performance.

In this workshop we welcome papers that address the above issues as
well as any other topic related to logic modeling, proof,
deterministic and probabilistic reasoning, and their applications to
the real world.

Important Dates

Authors and participants must observe the following deadlines:

  * Paper submission deadline: April 27, 2015 May 11, 2015 (deadline extension)
  * Acceptance of notification: May 20, 2015
  * Final papers: May 30, 2015

Paper Length and Format

Submitted papers must abide to the IJCAI-2015 formatting requirements.

Electronic Submission

Papers must be submitted electronically through the LDTP @ IJCAI-2015
paper submission site (, see the submit

Presentation of Accepted Papers

Papers will be accepted for either oral or poster presentation. At
least one author of each accepted paper is required to attend the
workshop to present the work. Authors will be required to agree to
this requirement at the time of submission.

Review Process

Papers will be subject to peer review. The review process will be
non-blind. Selection criteria include accuracy and originality of
ideas, clarity and significance of results and quality of
presentation. The decision of the Program Committee will be final and
cannot be appealed.

LDTP-2015 @ IJCAI-2015 Information

Information regarding LDTP @ IJCAI-2015 is disseminated through the
LDTP @ IJCAI-2015 website (, the
LDTP mailing list (, and other
printed and electronic media. The information published on the LDTP @
IJCAI-2015 website is authoritative and in case of conflicts takes
precedence. Authors and participants are required to monitor the LDTP
@ IJCAI-2015 website for updates and corrections. Notifications about
major updates and additions to the website will be sent through the DX
mailing list.

Further Questions

If you have any further questions, send an email to the LDTP @
IJCAI-2015 organizing committee.


  • Alexander Feldman, PARC, USA.
  • Alban Grastien, NICTA, Australia.
  • Yannick Pencolé, CNRS-LAAS, Toulouse, France
  • Rui Abreu, PARC, USA.
Online user: 1