NDProp learns decision heuristics via neural networks and fuzzy propagation to compute stable models in ASP, improving accuracy and scalability over prior neuro-symbolic methods.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Deontic modal logic is implemented in s(CASP) ASP by mapping modal operators to default and strong negation and obligations to global constraints, resolving paradoxes and supporting conditional deontic statements.
citing papers explorer
-
Neural Decision-Propagation for Answer Set Programming
NDProp learns decision heuristics via neural networks and fuzzy propagation to compute stable models in ASP, improving accuracy and scalability over prior neuro-symbolic methods.
-
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
Deontic modal logic is implemented in s(CASP) ASP by mapping modal operators to default and strong negation and obligations to global constraints, resolving paradoxes and supporting conditional deontic statements.