Abstract
We study syntactic conditions which guarantee when a CR-Prolog (Consistency Restoring Prolog) program has antichain property: no answer set is a proper subset of another. A notable such condition is that the program's dependency graph being acyclic and having no directed path from one cr-rule head literal to another.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unleashing Energy-Efficiency: Neural Architecture Search without Training for Spiking Neural Networks on Loihi Chip;2024 25th International Symposium on Quality Electronic Design (ISQED);2024-04-03
2. Model Optimization Methods for Real-time 2D Human Pose Estimation Applied to Robots: A Survey;2023 3rd International Conference on Robotics, Automation and Intelligent Control (ICRAIC);2023-11-24
3. Solving Vehicle Routing Problem for Intelligent Systems using Delaunay Triangulation;2022 International Conference on Knowledge Engineering and Communication Systems (ICKES);2022-12-28
4. STT: Soft Template Tuning for Few-Shot Adaptation;2022 IEEE International Conference on Data Mining Workshops (ICDMW);2022-11
5. Deep Reinforcement Learning for automatic landing of airships on Ahagar terrains;2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS);2022-10-12