Items where Subject is "Logic programming and answer set programming"
- ACM Computing Classification System 2012 (1049)
- Computing methodologies (420)
- Artificial intelligence (214)
- Knowledge representation and reasoning (48)
- Logic programming and answer set programming (1)
- Knowledge representation and reasoning (48)
- Artificial intelligence (214)
- Computing methodologies (420)
Jump to: Conference paper
Number of items at this level: 1.
Conference paper
Heyninck, Jesse and Arieli, Ofer (2021) Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming, Proceedings of 18th International Conference on Principles of Knowledge Representation and Reasoning, 18, 334-344, International Joint Conferences on Artificial Intelligence Organization.