Prefer a chat interface with context about you and your work?
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
Abstract Our broader goal is to automatically translate English sentences into formulas in appropriate knowledge representation languages as a step towards understanding and thus answering questions with respect to English text. Our focus in this paper is on the language of Answer Set Programming (ASP). Our approach to translate sentences …