2nd Workshop on Natural Language Processing and Automated Reasoning (NLPAR2015)
Joint workshop with the Second International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015)

The 2nd Workshop on Natural Language Processing  and Automated Reasoning (NLPAR) will be held jointly with the Second International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) and will be colocated with the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in Lexington, Kentucky, USA.


  • Sep 11, 2014 Website online
  • Jan 3, 2015 Program Committee announced
  • Jun 25, 2015 Deadline extended to Jul 1, 2015
  • Oct 13, 2015 Proceedings online!



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 logical inference 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. This edition will feature an invited talk by Jerry Hobbs,
the winner of the 2013 Lifetime Achievement Award of the Association of
Computational Linguistics, who has been doing pioneering research on
the interface between natural language, logical inference, and common
 sense knowledge over the past 40 years.

As submissions to this workshop, theoretical results,reports about systems and
experiments, and work that combines logical inference  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 2015 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 CEUR-WS.org.


  • Paper Submission Deadline: extended to July 1, 2015.
  • Notification: Aug 12, 2015
  • Final Version Submission Deadline: extended to August 30, 2015.
  • Workshop: September 27, 2015



  • 14:10 - 14:50 Invited talk by Jerry Hobbs: Inference in Natural Language Understanding
  • 14:50 - 15:15 Jason Hemann, Lawrence Moss and Cameron Swords. Two Advances in the Implementations of Extended Syllogistic Logics
  • 15:15 - 15:40 Rolf Schwitter and Stephen Guy. Answer Set Programming for Controlled Natural Language Processing
  • 15:40 - 16:00 Break


  • 16:00 - 16:45 Invited Talk by Antonis Kakas: Cognitive Programming
  • 16:45 - 17:10 Przemysław Wałęga. Default Reasoning with Propositional Encoding of Topological Relations
  • 17:10 - 17:45 Panel discussion for future workshops




  • Chitta Baral (Arizona State University, USA)
  • Johan Bos (University of Groningen, Netherlands)
  • Vinay Chaudhri (SRI International, USA)
  • Esra Erdem (Sabanci University, Turkey)
  • Katrin Erk (University of Texas at Austin, USA)
  • Christian Fermüller (TU Wien, Austria)
  • Michael Gelfond (Texas Tech University, USA)
  • Kentaro Inui (Tohoku University, Japan)
  • Yuliya Lierler (University of Nebraska at Omaha, USA)
  • Lenhart Schubert (University of Rochester, USA)
  • Rolf Schwitter (Marcquarie University, Australia)
  • Mark Steedman (University of Edinburgh, UK)
  • Luis Tari (GE Global Research, USA)


Inference in Natural Language Understanding

We understand natural language discourse so well because we know so much.  We are able to draw the inferences necessary to tie the various parts of a discourse together, and how we do this is perhaps the central problem in natural language understanding.In this talk I will show that many representational problems can be bypassed by reifying states and events, resulting in a very simple picture of compositional semantics.  Then I will show how abduction, or finding the best explanation for the content of a text, solves a wide range of pragmatics problems, including coreference resolution, the interpretatiion of metonymy and metaphor, and the discovery of discourse structure.  Finally I will discuss an effort to build an adequate knowledgel base for natural language understanding, by both manual and automatic means, in two areas --the structure of events and goal-directed behavior.

Speaker's Bio
Dr. Jerry R. Hobbs is a prominent researcher in the fields of computational linguistics, discourse analysis, and artificial intelligence.  He earned his doctor's degree from New York University in 1974 in computer science.  He has taught at Yale University and the City University of New York.  From 1977 to 2002 he was with the Artificial Intelligence Center at SRI International, Menlo Park, California, where he was a Principal Scientist and Program Director of the Natural Language Program.  He has written numerous papers in the areas of parsing, syntax, semantic interpretation, information extraction, knowledge representation, encoding commonsense knowledge, discourse analysis, the structure of conversation, and the Semantic Web.  He has done groundbreaking work in the areas of discourse structure, granularity, representing qualitative concepts, time ontology, encoding commonsense psychology, information extraction, and interpreting natural language using abduction.  He is the author of the book Literature and Cognition, and was also editor of the book Formal Theories of the Commonsense World.  He led SRI's text-understanding research, and directed the development of the abduction-based TACITUS system for text understanding, and the FASTUS system for rapid extraction of information from text based on finite-state transducers.   In September 2002 he took a position as research professor and ISI Fellow at the Information Sciences Institute, University of Southern California.  After serving as Director of the Natural Language Group, he is now Chief Scientist for Natural Language Processing.  He has been a consulting professor with the Linguistics Department and the Symbolic Systems Program at Stanford University.  He has served as general editor of the Ablex Series on Artificial Intelligence.  He is a past president of the Association for Computational Linguistics, and is a Fellow of the American Association for Artificial Intelligence.  In January 2003 he was awarded an honorary Doctorate of Philosophy from the University of Uppsala, Sweden.  In August 2013 he received the Association for Computational Linguistics Lifetime Achievement Award.