Modeling Variations of First-Order Horn Abduction in Answer Set Programming

DOI10.3233/FI-2016-1446zbMath1373.68393arXiv1512.08899MaRDI QIDQ4589246

Peter Schüller

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.08899

zbMATH Keywords

answer set programmingfirst-order Horn abductionnatural-language understandingweighted abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Natural language processing (68T50)

Related Items (2)

The External Interface for Extending WASP ⋮ DualGrounder: lazy instantiation via clingo multi-shot framework

This page was built for publication: Modeling Variations of First-Order Horn Abduction in Answer Set Programming