A Paraconsistent ASP-like Language with Tractable Model Generation.
Andrzej SzalasPublished in: CoRR (2019)
Keyphrases
- logic programming
- programming language
- natural language
- web applications
- answer set programming
- language learning
- np complete
- java programming
- general purpose
- language processing
- declarative programming
- data sets
- computationally tractable
- formal language
- computational problems
- representation language
- inference rules
- logic programs
- computational complexity
- database systems