Items where Subject is "Logic programming and answer set programming"
- ACM Computing Classification System 2012 (1)
- Computing methodologies (1)
- Artificial intelligence (1)
- Knowledge representation and reasoning (29)
- Logic programming and answer set programming (1)
- Knowledge representation and reasoning (29)
- Artificial intelligence (1)
- Computing methodologies (1)
Number of items at this level: 1.
H
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.