ACORDA

swMATH13875MaRDI QIDQ25786FDOQ25786

Author name not available (Why is that?)

Cited In (4)

• 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
• Methodological naturalism and epistemic internalism

This page was built for software: ACORDA