Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors.

Oscar H. Ibarra Ian McQuillan

Published in: CoRR (2024)

Keyphrases

programming language
language learning
description logics
type checking
database
data sets
sufficient conditions
query answering
decision procedures
natural language
multi agent systems