CSSL: a logic for specifying conditional scenarios.
Shoham Ben-DavidMarsha ChechikArie GurfinkelSebastián UchitelPublished in: SIGSOFT FSE (2011)
Keyphrases
- conditional logic
- real world
- random field model
- modal logic
- sound and complete axiomatization
- nonmonotonic inference
- logic programming
- classical logic
- website
- default reasoning
- application scenarios
- computational properties
- real time
- logic programs
- data mining
- proof theory
- deontic logic
- formal theory
- predicate logic
- set theory
- defeasible logic
- automated reasoning
- probability theory
- multi agent