ASP and subset minimality: Enumeration, cautious reasoning and MUSes.
Mario AlvianoCarmine DodaroSalvatore FiorentinoAlessandro PrevitiFrancesco RiccaPublished in: Artif. Intell. (2023)
Keyphrases
- answer set programming
- default rules
- knowledge base
- reasoning tasks
- automated reasoning
- model based reasoning
- knowledge representation
- partial order
- data sets
- reasoning problems
- reasoning process
- reasoning processes
- formal models
- consistency checking
- computational properties
- web applications
- dynamic programming
- search space
- bayesian networks
- artificial intelligence
- neural network