ACORDA

MaRDI QIDQ25786swMATHFDO

Official website https://www.researchgate.net/profile/Ari_Saptawijaya/publication/240833551_Moral_Decision_Making_with_ACORDA/links/004635369304296cc6000000.pdf

Cited in

(7)

• Runtime addition of integrity constraints in an abductive proof procedure
• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
• Moral reasoning under uncertainty
• XASP
• CHR
• SCIFF
• Methodological naturalism and epistemic internalism

This page was built for software: ACORDA