Keyphrases
- answer sets
- fuzzy logic
- answer set semantics
- logic programs
- answer set programming
- fuzzy sets
- logic programming
- normal logic programs
- membership functions
- fuzzy rules
- expert systems
- strong equivalence
- decision making
- neural network
- fixpoint
- abductive logic programming
- rule base
- loop formulas
- artificial intelligence
- rough sets
- stable models
- control system
- deductive databases
- disjunctive logic programming
- knowledge representation
- semantics of logic programs
- propositional logic
- programming language
- dl programs
- information systems