Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms

With the rise of machine learning, and more recently the overwhelming interest in deep learning, knowledge representation and reasoning (KRR) approaches struggle to maintain their position within the wider Artificial Intelligence (AI) community. Often considered as part of the good old-fashioned AI (Haugeland 1985) – like a memory of glorious old days that have come to an end – many consider KRR as no longer applicable (on its own) to the problems faced by AI today (Blackwell 2015; Garnelo et al. 2016). What they see are logical languages with symbols incomprehensible by most, inference mechanisms that even experts have difficulties tracing and debugging, and the incapability to process unstructured data like text.

• Publication year

  2019

• Venue

  Theory and Practice of Logic Programming

• Publication date

  2019-02-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1017/S1471068418000510
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Debugging Non-ground ASP Programs: Technique and Graphical Tools

  2018cited by this paper
• Web-STAR: A Visual Web-based IDE for a Story Comprehension System

  2018cited by this paper
• onlineSPARC: A Programming Environment for Answer Set Programming

  2018cited by this paper
• Answering the “why” in answer set programming – A survey of explanation approaches

  2018cited by this paper
• Using SWISH to realise interactive web based tutorials for logic based languages

  2018cited by this paper
• Teaching and learning logic programming in virtual worlds using interactive microworld representations

  2018cited by this paper
• Introducing Computer Science to High School Students Through Logic Programming

  2018cited by this paper
• The Potsdam Answer Set Solving Collection 5.0

  2018cited by this paper
• Stepwise debugging of answer-set programs*

  2017cited by this paper
• Probabilistic Logic Programming Tutorial

  2016cited by this paper
• Towards Deep Symbolic Reinforcement Learning

  2016cited by this paper
• Interactive Query-Based Debugging of ASP Programs

  2015cited by this paper
• Why knowledge representation matters

  2015cited by this paper
• Advances in WASP

  2015cited by this paper
• Knowledge Representation and Reasoning: What's Hot

  2015cited by this paper
• Interacting with an inferred world: the challenge of machine learning for humane computer interaction

  2015cited by this paper
• Justifying answer sets using argumentation

  2014cited by this paper
• Clingo = ASP + Control: Preliminary Report

  2014cited by this paper
• Proceedings of the International Association for Development of the Information Society (IADIS) International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA) (11th, Porto, Portugal, October 25-27, 2014).

  2014cited by this paper
• SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

  2013cited by this paper
• Answer Set Solving in Practice

  2012cited by this paper
• ASPIDE: Integrated Development Environment for Answer Set Programming

  2011cited by this paper
• Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

  2011cited by this paper
• A Visual Interface for Drawing ASP Programs

  2010cited by this paper
• Artificial Intelligence: The Very Idea

  1987cited by this paper
• Artificial intelligence - the very idea

  1987cited by this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Causal Graph Justifications of Logic Programs *

  year unknowncited by this paper

• No citing papers are available for this paper.