Uses of Package
net.sf.tweety.lp.asp.syntax
-
-
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.arg.lp.reasoner Class Description ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.arg.lp.syntax Class Description ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.ASPRule This class models a rule in ASP.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.logics.translators.aspfol Class Description ASPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.StrictNegation This class models the strict negation of an atom (as apposed to a NAF negation:DefaultNegation). -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.logics.translators.aspnlp Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.analysis Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.beliefdynamics.baserevision Class Description ASPRule This class models a rule in ASP.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.beliefdynamics.revision Class Description ASPRule This class models a rule in ASP.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.beliefdynamics.selectiverevision Class Description ASPRule This class models a rule in ASP. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.parser Class Description AggregateAtom This class represents an aggregate.AggregateElement This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).ASPBodyElement This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.ASPOperator.AggregateFunction The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.ArithmeticOperator The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.ASPRule This class models a rule in ASP.ComparativeAtom This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.reasoner Class Description ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.semantics Class Description ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.ASPRule This class models a rule in ASP.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query. -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.syntax Class Description AggregateAtom This class represents an aggregate.AggregateElement This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).ArithmeticTerm This class represents an arithmetic term in the ASP-Core-2 format.ASPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.ASPBodyElement This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.ASPElement This class acts as an abstract base class for elements of ASP rules.ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.ASPOperator.AggregateFunction The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.ArithmeticOperator The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.ASPRule This class models a rule in ASP.ComparativeAtom This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.DefaultNegation This class represents a default negated literal, i.e.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.StrictNegation This class models the strict negation of an atom (as apposed to a NAF negation:DefaultNegation). -
Classes in net.sf.tweety.lp.asp.syntax used by net.sf.tweety.lp.asp.writer Class Description Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.