Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

DOI10.1017/S1471068419000334zbMath1434.68591arXiv1907.11112OpenAlexW2973340677WikidataQ127214367 ScholiaQ127214367MaRDI QIDQ5108519

Arpit Sharma

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

commonsense reasoninganswer set programmingWinograd schema challengegraph-subgraph isomorphism

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Natural language processing (68T50)

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge