net.sf.tweety.action.query.syntax
Classes
AlwaysQuery
HoldsQuery
NecessarilyQuery
QueryProposition
SActionQuery