Workshop on Natural Language Processing and Automated Reasoning (NLPAR2013 @ LPNMR2013)

The Workshop on Natural Language Processing  and Automated Reasoning (NLPAR) will be colocated with the


  • Proceedings are now online at
  • Information about Registration updated (full conference registration necessary)
  • Invited Speakers published
  • Accepted papers published
  • Information about Registration published
  • Date of Workshop announced: September 15, 2013



Natural Language Processing (NLP) has been of interest for a long time; to
the Artificial Intelligence community in general and to the Logic
Programming and Automated Reasoning community in particular. NLP approaches
that are based on mathematical logic promise a deeper understanding of
natural language than possible with purely statistics-based methods.  A
deep understanding is beneficial and necessary in most areas of NLP, for
example word and entity recognition; word sense disambiguation; parsing and
syntactical disambiguation; and reasoning over the semantics and pragmatics
of words, phrases, sentences, and whole discourses.

This workshop aims to bring together researchers with a common interest in
addressing the challenges of natural language processing using automated
reasoning methods. As submissions to this workshop, theoretical results,
reports about systems and experiments, and work that combines mathematical
logic and statistical methods, are welcome.

Topics include but are not limited to:
  • Morphology
  • Named Entity Recognition
  • Syntax
  • Coreference Resolution
  • Semantics
  • Discourse
  • Pragmatics
  • Ontologies for NLP
  • Controlled Natural Language
  • Question Answering
  • Recognizing Textual Entailment
  • Natural Language Generation
  • Text Summarization
  • Machine Translation


  NLPAR 2013 aims to present original scientific research, and will not
  accept any paper which, at the time of submission, has already been
  published or accepted for publication in a journal or previous conference.

  Submissions must be written in English and formatted according to the
  Springer LNCS/LNAI author instructions.

  Papers must present original research and not exceed 12 pages including
  title page, references and figures. Paper submission and peer review is
  electronic and managed through the following easychair webpage.

  Proceedings will be published online after the workshop, we intend to
  publish them as CEUR workshop proceedings on


  • Paper registration: June 30, 2013
  • Paper submission: July 7, 2013
  • Notification: August 25, 2013
  • Final version: September 8, 2013
  • Workshop: September 15, 2013


  • Christophe Onambélé Manga
    A Default Inference Rule Operating Internally to the Grammar Devices
  • Georgios Petasis
    BOEMIE: Reasoning-based Information Extraction
  • Asad Abdul Malik and Asad Habib
    Qualitative Analysis of Contemporary Urdu Machine Translation Systems
  • Jun Sugiura, Naoya Inoue and Kentaro Inui
    Recognizing Implicit Discourse Relations through Abductive Reasoning with Large-scale Lexical Knowledge
  • Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare and Nguyen Vo
    The NL2KR System


  • Marcello Balduccini
    Some Recent Advances in Answer Set Programming (from the Perspective of NLP)
  • Vinay Chaudhri, Nikhil Dinesh, Daniela Inclezan
    Three Lessons in Creating a Knowledge Base to Enable Reasoning, Explanation and Dialog


Proceedings have been published as Volume 1044 of CEUR Workshop Proceedings (, ISSN 1613-0073).



Chitta Baral and Peter Schüller (eds.): Natural Language Processing and Automated Reasoning 2013. Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013), A Corunna, Spain, September 15th, 2013., urn:nbn:de:0074-1044-7.


At least one author of each accepted paper is expected to register and to present at the workshop.

Registration is handled by the LPNMR conference website (LPNMR + Workshops). See the following link:


  • Chitta Baral (Arizona State University, USA)
  • Peter Schüller (Sabanci University, Turkey)


  • Marcello Balduccini (Drexel University)
  • Johan Bos (University of Groningen)
  • Vinay Chaudhri (SRI International)
  • Esra Erdem (Sabanci University)
  • Christian Fermüller (Vienna University of Technology)
  • Michael Gelfond (Texas Tech University)
  • Yuliya Lierler (University of Nebraska at Omaha)


  • Marcello Balduccini (Drexel University)
  • Vinay Chaudhri (SRI International)