Graph-based Interpretation of Normal Logic Programs.
Fang LiElmer SalazarGopal GuptaPublished in: CoRR (2021)
Keyphrases
- normal logic programs
- logic programs
- stable models
- default reasoning
- answer sets
- logic programming
- stable model semantics
- answer set semantics
- general logic programs
- semantics for logic programs
- graph model
- answer set programming
- deductive databases
- partial order
- general purpose
- expert systems
- high level
- knowledge base
- information systems
- artificial intelligence