Uses of Class
org.tweetyproject.lp.asp.semantics.AnswerSet
Package
Description
-
Uses of AnswerSet in org.tweetyproject.lp.asp.beliefdynamics.revision
Modifier and TypeMethodDescriptionCredibilityRevision.getLastAnswerset()
CredibilityRevision.getLastProjectedAnswerSet()
Modifier and TypeMethodDescriptionCredibilityRevision.AnswersetProcessing.process(List<Program> orderedPrograms, Collection<AnswerSet> answersets)
The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided programCredibilityRevision.DefaultBehavior.process(List<Program> orderedPrograms, Collection<AnswerSet> answersets)
-
Uses of AnswerSet in org.tweetyproject.lp.asp.parser
Modifier and TypeMethodDescriptionstatic AnswerSet
ASPParser.parseAnswerSet(Reader reader)
static AnswerSet
ASPParser.parseAnswerSet(String answerSet)
InstantiateVisitor.visit(ASTAnswerSet node, Object data)
-
Uses of AnswerSet in org.tweetyproject.lp.asp.reasoner
Modifier and TypeMethodDescriptionReturns a characterizing model (answer set) of the given belief base using the given upper integer limit.Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.Modifier and TypeMethodDescriptionabstract Collection<AnswerSet>
Returns a characterizing model (answer set) of the given belief base.abstract Collection<AnswerSet>
Returns a characterizing model (answer set) of the given belief base.abstract Collection<AnswerSet>
Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.Returns a characterizing model (answer set) of the given belief base using the given upper integer limit. -
Uses of AnswerSet in org.tweetyproject.lp.asp.semantics