Showing cs.AIShow all
3 papers · 1 filter
cs.AI2022
Deontic Meta-Rules
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisati…
cs.AI2018
Diversified Late Acceptance Search
Majid Namazi, Conrad Sanderson, M. A. Hakim Newton +2
The well-known Late Acceptance Hill Climbing (LAHC) search aims to overcome the main downside of traditional Hill Climbing (HC) search, which is often quickly trapped in a local op…
cs.AI2016
A New Approach for Revising Logic Programs
Zhiqiang Zhuang, James Delgrande, Abhaya Nayak +1
Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-m…