Items where Subject is "Logic programming and answer set programming"
- ACM Computing Classification System 2012 (3)
- Computing methodologies (1)
- Artificial intelligence (33)
- Knowledge representation and reasoning (33)
- Logic programming and answer set programming (1)
- Knowledge representation and reasoning (33)
- Artificial intelligence (33)
- Computing methodologies (1)
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.