This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to ...

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description ...

Dependence logic and semantics represent a burgeoning area of logical inquiry that extends classical frameworks to capture complex interdependencies among variables. This field introduces novel ...

The term "reasoning" is a familiar metaphor in today's artificial intelligence (AI) technology, often used to describe the verbose outputs generated by so-called reasoning AI models such as OpenAI's ...