Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results.
Antonio IeloFrancesco RiccaPublished in: CILC (2021)
Keyphrases
- answer sets
- neural network
- logic programs
- answer set programming
- logic programming
- answer set semantics
- normal logic programs
- answer set programs
- fixpoint
- semantics of logic programs
- loop formulas
- stable models
- graph model
- deductive databases
- artificial intelligence
- database
- orders of magnitude
- truth values
- general purpose
- stable model semantics
- high level
- knowledge base
- information systems