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