Package org.tweetyproject.action.query.syntax


package org.tweetyproject.action.query.syntax
  • Class
    Description
    This is a basic interface for action queries.
    An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.
    This class represents an always query in the action query language S.
    This class represents a holds query in the action query language S.
    This class represents a necessarily query in the action query language S.
    Action queries are represented as propositional formulas with three possible types of propositions: "holds", "always" and "necessarily" propositions.
    This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages.
    This class models a set of action queries in the language "S" which is based on the query language "P" discussed in the paper: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages.