Automated Verification of Social Law Robustness in STRIPS.
Erez KarpasAlexander ShleyfmanMoshe TennenholtzPublished in: ICAPS (2017)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- social networks
- social media
- social interaction
- domain specific
- domain independent
- planning problems
- case law
- online communities
- means ends analysis
- legal reasoning
- social context
- social relationships
- theorem proving
- natural language
- knowledge base