├── org-tweetyproject-web └── src │ ├── main │ ├── resources │ │ ├── logs │ │ │ └── tweety_server.logs │ │ ├── application.properties │ │ └── logback.xml │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── web │ │ ├── util │ │ └── JSONObject.java │ │ └── services │ │ └── Response.java │ └── webapp │ ├── aba │ ├── img │ │ ├── loading.gif │ │ ├── abort-icon.png │ │ ├── loading15.gif │ │ ├── red_light.png │ │ ├── green_light.png │ │ ├── red_light15.png │ │ └── tweety_small.png │ └── styles.css │ ├── delp │ ├── img │ │ ├── loading.gif │ │ ├── loading15.gif │ │ ├── red_light.png │ │ ├── green_light.png │ │ ├── red_light15.png │ │ └── tweety_small.png │ └── styles.css │ └── incmes │ ├── img │ ├── loading.gif │ ├── abort-icon.png │ ├── loading15.gif │ ├── red_light.png │ ├── green_light.png │ ├── red_light15.png │ └── tweety_small.png │ ├── incmes_doc_v1.pdf │ └── incmes_doc_v2.pdf ├── org-tweetyproject-lp-asp ├── src │ └── main │ │ └── resources │ │ ├── Krue2008_Ex1_Part1.dl │ │ ├── Krue2008_Ex1_Part2.dl │ │ ├── Krue2008_Ex1_Res.dl │ │ ├── Krue2008_Ex1_Part3.dl │ │ ├── Krue2008_Ex2_Part1.dl │ │ ├── Krue2008_Ex2_Part2.dl │ │ ├── ex6.asp │ │ ├── ex1.asp │ │ ├── ex2.asp │ │ ├── ex3.asp │ │ ├── ex4.asp │ │ ├── ex5.asp │ │ ├── aggregates.asp │ │ ├── fibonacci.dlv │ │ ├── optimize.aspif │ │ └── latin_square_problem.dlv └── pom.xml ├── org-tweetyproject-logics-translators └── src │ ├── main │ └── resources │ │ ├── preferred_ex8_psi.txt │ │ ├── preferred_ex8_adf.txt │ │ ├── possibilistic_adf_previous_ex7.txt │ │ ├── possibilistic_adf_previous_ex6_ex8.txt │ │ ├── adf.txt │ │ └── possibilistic_adf_ex8.txt │ └── test │ └── java │ └── org │ └── tweetyproject │ └── logics │ └── translators │ ├── aspfol │ └── ASPFOLTranslatorTest.java │ └── aspnlp │ └── ASPNLPTranslatorTest.java ├── .DS_Store ├── logo ├── tweety.xcf ├── tweety_large.png └── tweety_small.png ├── org-tweetyproject-arg-aba ├── src │ └── main │ │ └── resources │ │ ├── example2.aba │ │ ├── example4.aba │ │ ├── example3.aba │ │ ├── example1.aba │ │ ├── example5.aba │ │ ├── example11.aba │ │ └── smp_fol.aba └── pom.xml ├── org-tweetyproject-logics-qbf └── src │ └── main │ └── resources │ ├── tweety-example.qbf │ ├── qcir-example1.qcir │ ├── qdimacs-example1.qdimacs │ ├── qcir-example2-sat.qcir │ └── qcir-example2-unsat.qcir ├── org-tweetyproject-arg-delp ├── src │ ├── main │ │ ├── resources │ │ │ ├── counterarg.txt │ │ │ ├── birds2.txt │ │ │ ├── hobbes.txt │ │ │ ├── nixon.txt │ │ │ ├── dtree.txt │ │ │ ├── birds.txt │ │ │ └── stocks.txt │ │ └── java │ │ │ └── org │ │ │ └── tweetyproject │ │ │ └── arg │ │ │ └── delp │ │ │ └── parser │ │ │ └── DelpParserConstants.java │ └── test │ │ └── resources │ │ ├── counterarg.txt │ │ ├── hobbes.txt │ │ ├── nixon.txt │ │ ├── dtree.txt │ │ ├── birds.txt │ │ └── stocks.txt └── pom.xml ├── org-tweetyproject-preferences ├── src │ └── main │ │ ├── java │ │ └── org │ │ │ └── tweetyproject │ │ │ └── preferences │ │ │ ├── io │ │ │ ├── test.up │ │ │ └── test.po │ │ │ ├── Operation.java │ │ │ ├── aggregation │ │ │ ├── WeightVector.java │ │ │ └── DynamicVetoScoringPreferenceAggregator.java │ │ │ ├── Relation.java │ │ │ └── events │ │ │ └── UpdateListener.java │ │ └── resources │ │ ├── TestB.po │ │ ├── TestC.po │ │ ├── TestD.po │ │ ├── TestE.po │ │ └── TestA.po └── pom.xml ├── org-tweetyproject-arg-dung ├── src │ ├── main │ │ ├── resources │ │ │ ├── ex1.tgf │ │ │ ├── ex3.tgf │ │ │ ├── ex2.tgf │ │ │ ├── ex1.apx │ │ │ ├── ex2.apx │ │ │ └── ex3.apx │ │ └── java │ │ │ └── org │ │ │ └── tweetyproject │ │ │ └── arg │ │ │ └── dung │ │ │ ├── semantics │ │ │ └── ArgumentStatus.java │ │ │ ├── equivalence │ │ │ └── kernel │ │ │ │ └── LocalExpansionCompleteKernel.java │ │ │ ├── parser │ │ │ ├── ApxFilenameFilter.java │ │ │ └── TgfFilenameFilter.java │ │ │ └── syntax │ │ │ └── Claim.java │ └── test │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── arg │ │ └── dung │ │ └── equivalence │ │ └── StrongEquivalenceTest.java └── pom.xml ├── org-tweetyproject-arg-setaf ├── src │ └── main │ │ └── resources │ │ ├── ex1.tgf │ │ ├── ex3.tgf │ │ ├── ex2.tgf │ │ ├── ex1.apx │ │ ├── ex2.apx │ │ └── ex3.apx └── pom.xml ├── org-tweetyproject-logics-pl └── src │ └── main │ └── resources │ ├── examplebeliefbase.proplogic │ ├── dimacs_ex1.cnf │ ├── dimacs_ex2.cnf │ ├── examplebeliefbase_xor.proplogic │ ├── dimacs_ex5.cnf │ ├── examplebeliefbase_multiple.proplogic │ ├── dimacs_ex3.cnf │ └── dimacs_ex4.cnf ├── org-tweetyproject-arg-adf ├── src │ └── main │ │ ├── resources │ │ ├── adf_example.txt │ │ ├── minisat.so │ │ ├── picosat.so │ │ ├── lingeling.dll │ │ ├── lingeling.so │ │ ├── minisat.dll │ │ └── picosat.dll │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── arg │ │ └── adf │ │ ├── sat │ │ ├── SatSolverState.class │ │ ├── IncrementalSatSolver.class │ │ └── IncrementalSatSolver.java │ │ ├── reasoner │ │ ├── sat │ │ │ ├── encodings │ │ │ │ └── RelativeSatEncoding.java │ │ │ └── decomposer │ │ │ │ └── MostBipolarParentsDecomposer.java │ │ └── query │ │ │ ├── ConditionalTaskStep.java │ │ │ └── ConditionlessTaskStep.java │ │ └── transform │ │ └── processor │ │ └── Processor.java └── pom.xml ├── org-tweetyproject-cli ├── plugins │ └── preferences.jar ├── tweety_config.xml ├── src │ └── main │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── cli │ │ └── plugins │ │ └── tweety_config.xml ├── help.txt └── pom.xml ├── org-tweetyproject-logics-cl └── src │ └── main │ └── resources │ └── adf_to_ocf_example.txt ├── org-tweetyproject-sat ├── src │ ├── main │ │ ├── resources │ │ │ ├── lingeling.so │ │ │ ├── minisat.dll │ │ │ ├── minisat.so │ │ │ ├── picosat.dll │ │ │ ├── picosat.so │ │ │ └── lingeling.dll │ │ └── java │ │ │ └── org │ │ │ └── tweetyproject │ │ │ └── sat │ │ │ └── picosat │ │ │ └── Binding.java │ └── test │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── sat │ │ └── test │ │ ├── MinisatTest.java │ │ ├── PicosatTest.java │ │ └── LingelingTest.java └── pom.xml ├── org-tweetyproject-logics-ml ├── src │ └── main │ │ └── resources │ │ ├── examplebeliefbase2.mlogic │ │ └── examplebeliefbase.mlogic └── pom.xml ├── org-tweetyproject-graphs ├── src │ └── main │ │ ├── resources │ │ └── aiggraph │ │ │ ├── favicon.ico │ │ │ ├── load-mathjax.js │ │ │ └── graph.template │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── graphs │ │ ├── Node.java │ │ ├── WeightedEdge.java │ │ └── SimpleNode.java └── pom.xml ├── org-tweetyproject-logics-fol ├── src │ └── main │ │ └── resources │ │ ├── tptpexample.fologic │ │ ├── examplebeliefbase.fologic │ │ └── examplebeliefbase2.fologic └── pom.xml ├── org-tweetyproject-arg-aspic ├── src │ └── main │ │ └── resources │ │ ├── ex4.aspic │ │ ├── ex2.aspic │ │ ├── ex3.aspic │ │ ├── ex1.aspic │ │ └── ex5_fol.aspic └── pom.xml ├── org-tweetyproject-arg-rankings └── src │ └── main │ └── resources │ ├── ex1_bonzon.apx │ ├── ex3_cayrol.apx │ └── ex2_baumeister.apx ├── org-tweetyproject-logics-rdl ├── src │ └── main │ │ └── resources │ │ ├── simple_default_theory.txt │ │ └── example_default_theory.txt └── pom.xml ├── org-tweetyproject-logics-rpcl ├── src │ └── main │ │ └── resources │ │ ├── elephants.rpcl │ │ ├── cold.rpcl │ │ └── penguins.rpcl └── pom.xml ├── org-tweetyproject-action ├── src │ └── main │ │ ├── resources │ │ ├── monkey.query │ │ ├── monkey.sig │ │ ├── conditioner.desc │ │ ├── water.query │ │ └── turkey.desc │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── action │ │ ├── query │ │ └── syntax │ │ │ └── ActionQuery.java │ │ └── description │ │ └── syntax │ │ └── CausalLaw.java └── pom.xml ├── org-tweetyproject-math └── src │ └── main │ └── java │ └── org │ └── tweetyproject │ └── math │ ├── term │ ├── OptProbElement.java │ └── BinaryVariable.java │ ├── NumberSet.java │ └── func │ ├── SimpleRealValuedFunction.java │ ├── MaxFunction.java │ ├── SimpleFunction.java │ └── FractionSequenceFunction.java ├── org-tweetyproject-logics-dl ├── src │ └── main │ │ ├── resources │ │ ├── examplebeliefbase2.dlogic │ │ └── examplebeliefbase.dlogic │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── logics │ │ └── dl │ │ └── syntax │ │ └── DlAxiom.java └── pom.xml ├── org-tweetyproject-commons ├── src │ └── main │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── commons │ │ ├── postulates │ │ └── PostulateEvaluatable.java │ │ └── Formula.java └── pom.xml ├── org-tweetyproject-arg-bipolar ├── src │ └── main │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── arg │ │ └── bipolar │ │ ├── analysis │ │ ├── Analysis.java │ │ └── ProbabilisticJustificationAnalysis.java │ │ └── syntax │ │ └── CyclicException.java └── pom.xml ├── org-tweetyproject-causal ├── src │ ├── main │ │ └── java │ │ │ └── org │ │ │ └── tweetyproject │ │ │ └── causal │ │ │ ├── TODOS.txt │ │ │ └── writer │ │ │ └── CausalWriter.java │ └── test │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── causal │ │ └── reasoner │ │ ├── ArgumentationBasedCausalReasonerTest.java │ │ └── SimpleCausalReasonerTest.java └── pom.xml ├── org-tweetyproject-agents ├── pom.xml └── src │ └── main │ └── java │ └── org │ └── tweetyproject │ └── agents │ ├── Perceivable.java │ ├── ProtocolTerminatedException.java │ └── ProtocolListener.java ├── org-tweetyproject-logics-rcl └── pom.xml ├── org-tweetyproject-comparator └── pom.xml ├── .github └── workflows │ └── package.yml ├── org-tweetyproject-plugin └── pom.xml ├── org-tweetyproject-arg-explanations ├── pom.xml └── src │ └── main │ └── java │ └── org │ └── tweetyproject │ └── arg │ └── explanations │ └── reasoner │ └── acceptance │ └── AbstractSequenceExplanationReasoner.java ├── org-tweetyproject-arg-extended └── pom.xml ├── org-tweetyproject-machinelearning ├── pom.xml └── src │ └── main │ └── java │ └── org │ └── tweetyproject │ └── machinelearning │ ├── rl │ └── mdp │ │ ├── State.java │ │ ├── Action.java │ │ └── Policy.java │ └── Classifier.java ├── org-tweetyproject-logics-mln └── pom.xml ├── org-tweetyproject-arg-lp └── pom.xml ├── .gitignore ├── org-tweetyproject-arg-saf └── pom.xml ├── org-tweetyproject-logics-pcl └── pom.xml ├── org-tweetyproject-lp-nlp └── pom.xml ├── org-tweetyproject-logics-bpm └── src │ └── main │ └── java │ └── org │ └── tweetyproject │ └── logics │ └── bpm │ └── syntax │ ├── Message.java │ ├── Task.java │ ├── Lane.java │ ├── EndEvent.java │ ├── Activity.java │ ├── Event.java │ ├── StartEvent.java │ ├── Gateway.java │ ├── ExclusiveGateway.java │ ├── GatewayType.java │ ├── InclusiveGateway.java │ ├── IntermediateEvent.java │ ├── TaskType.java │ ├── BpmnFormula.java │ └── Association.java ├── org-tweetyproject-arg-prob └── pom.xml ├── org-tweetyproject-lp-asp-beliefdynamics └── pom.xml ├── org-tweetyproject-logics-commons ├── src │ └── main │ │ └── java │ │ └── org │ │ └── tweetyproject │ │ └── logics │ │ └── commons │ │ └── syntax │ │ └── interfaces │ │ ├── ProbabilityAware.java │ │ ├── Invertable.java │ │ ├── Disjunctable.java │ │ ├── ClassicalFormula.java │ │ └── Conjunctable.java └── pom.xml ├── org-tweetyproject-arg-social └── pom.xml ├── org-tweetyproject-agents-dialogues └── pom.xml ├── org-tweetyproject-arg-deductive └── pom.xml └── org-tweetyproject-beliefdynamics └── pom.xml /org-tweetyproject-web/src/main/resources/logs/tweety_server.logs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex1_Part1.dl: -------------------------------------------------------------------------------- 1 | b. 2 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex1_Part2.dl: -------------------------------------------------------------------------------- 1 | -a. 2 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex1_Res.dl: -------------------------------------------------------------------------------- 1 | b. 2 | -a. -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex1_Part3.dl: -------------------------------------------------------------------------------- 1 | a :- b. 2 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex2_Part1.dl: -------------------------------------------------------------------------------- 1 | b. 2 | c. -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/preferred_ex8_psi.txt: -------------------------------------------------------------------------------- 1 | ¤b -------------------------------------------------------------------------------- /.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/.DS_Store -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/Krue2008_Ex2_Part2.dl: -------------------------------------------------------------------------------- 1 | -a :- b. 2 | a :- c. -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex6.asp: -------------------------------------------------------------------------------- 1 | p(a). 2 | p(b). 3 | {q(X) : p(X)}. 4 | -------------------------------------------------------------------------------- /org-tweetyproject-web/src/main/resources/application.properties: -------------------------------------------------------------------------------- 1 | logging.file=server_logs.log -------------------------------------------------------------------------------- /logo/tweety.xcf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/logo/tweety.xcf -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example2.aba: -------------------------------------------------------------------------------- 1 | {a,b,c} 2 | 3 | r <- b,c 4 | q <- 5 | p <-q,a 6 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex1.asp: -------------------------------------------------------------------------------- 1 | p :- not r. 2 | r :- -q, not b. 3 | -q :- b. 4 | b. 5 | -------------------------------------------------------------------------------- /logo/tweety_large.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/logo/tweety_large.png -------------------------------------------------------------------------------- /logo/tweety_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/logo/tweety_small.png -------------------------------------------------------------------------------- /org-tweetyproject-logics-qbf/src/main/resources/tweety-example.qbf: -------------------------------------------------------------------------------- 1 | forall a: (exists c:(a || b || (c && !c))) 2 | 3 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/preferred_ex8_adf.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | ac(a,c(v)). 4 | ac(b,a). -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/counterarg.txt: -------------------------------------------------------------------------------- 1 | h <- a. 2 | ~h <- c. 3 | 4 | b. 5 | d. 6 | 7 | a -< b. 8 | c -< d. -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/io/test.up: -------------------------------------------------------------------------------- 1 | (1, -2 , a) 2 | (2, +1, b) 3 | (1, +2, c) 4 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example4.aba: -------------------------------------------------------------------------------- 1 | d <- c 2 | {a,b,c,d} 3 | not a = p 4 | not b = a 5 | not c = b 6 | not d = d 7 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/counterarg.txt: -------------------------------------------------------------------------------- 1 | h <- a. 2 | ~h <- c. 3 | 4 | b. 5 | d. 6 | 7 | a -< b. 8 | c -< d. -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex1.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | # 6 | a b 7 | b c 8 | c a 9 | c d 10 | d c 11 | d d -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex1.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | # 6 | a b 7 | b c 8 | c a 9 | c d 10 | d c 11 | d d -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/possibilistic_adf_previous_ex7.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | ac(a,neg(b)). 4 | ac(b,b). -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/examplebeliefbase.proplogic: -------------------------------------------------------------------------------- 1 | a || b || c 2 | !a || b 3 | !b || c 4 | !c || (!a && !b && !c && !d) -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/io/test.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e, f} 2 | a < b 3 | c < d 4 | e < f 5 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example3.aba: -------------------------------------------------------------------------------- 1 | x <- c 2 | z <- b 3 | a <- b 4 | {a,b,c} 5 | not a = x 6 | not b = y 7 | not c = z 8 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/dimacs_ex1.cnf: -------------------------------------------------------------------------------- 1 | c 2 | c Example Dimacs file 3 | c 4 | p cnf 6 3 5 | 1 -2 3 0 6 | 2 4 5 0 7 | 4 6 0 8 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/possibilistic_adf_previous_ex6_ex8.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | ac(a,neg(b)). 4 | ac(b,neg(a)). -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex2.asp: -------------------------------------------------------------------------------- 1 | obj(a). 2 | obj(b). 3 | 4 | p(D) :- obj(D), not q(D). 5 | q(D) :- r(D), not p(D). 6 | r(a). 7 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/adf.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | s(c). 4 | ac(a,neg(b)). 5 | ac(b,neg(a)). 6 | ac(c,or(neg(a),neg(b))). -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example1.aba: -------------------------------------------------------------------------------- 1 | % example 2 | 3 | {a, b} 4 | c 5 | 6 | a <- b 7 | z <- y, b 8 | y <- 9 | x <- c 10 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example5.aba: -------------------------------------------------------------------------------- 1 | p<-a 2 | p<-b 3 | c<- 4 | {a,b,c,d} 5 | not a = b 6 | not b = a 7 | not c = d 8 | not d = p 9 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/adf_example.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | s(c). 4 | ac(a,neg(b)). 5 | ac(b,neg(a)). 6 | ac(c,or(neg(a),neg(b))). -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex3.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | e 6 | f 7 | # 8 | a b 9 | b c 10 | c d 11 | d e 12 | b f 13 | e f 14 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex3.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | e 6 | f 7 | # 8 | a b 9 | b c 10 | c d 11 | d e 12 | b f 13 | e f 14 | -------------------------------------------------------------------------------- /org-tweetyproject-cli/plugins/preferences.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-cli/plugins/preferences.jar -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/dimacs_ex2.cnf: -------------------------------------------------------------------------------- 1 | c 2 | c Example Dimacs file 3 | c 4 | p cnf 2 4 5 | 1 2 0 6 | 1 -2 0 7 | -1 2 0 8 | -1 -2 0 9 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex2.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | e 6 | # 7 | b a 8 | c b 9 | d b 10 | c d 11 | d c 12 | d e 13 | e c 14 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex2.tgf: -------------------------------------------------------------------------------- 1 | a 2 | b 3 | c 4 | d 5 | e 6 | # 7 | b a 8 | c b 9 | d b 10 | c d 11 | d c 12 | d e 13 | e c 14 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/example11.aba: -------------------------------------------------------------------------------- 1 | {a,b,c} 2 | 3 | r <- b,c 4 | q <- 5 | p <-q,a 6 | 7 | not a = r 8 | not b = q 9 | not c = p 10 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-cl/src/main/resources/adf_to_ocf_example.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | s(c). 4 | ac(a,neg(b)). 5 | ac(b,neg(a)). 6 | ac(c,or(neg(a),neg(b))). -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/main/resources/possibilistic_adf_ex8.txt: -------------------------------------------------------------------------------- 1 | s(a). 2 | s(b). 3 | s(c). 4 | ac(a,and(neg(b),neg(c))). 5 | ac(b,neg(a)). 6 | ac(c,c). -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/lingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/lingeling.so -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/minisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/minisat.dll -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/minisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/minisat.so -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/picosat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/picosat.dll -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/picosat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/picosat.so -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/loading.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/loading.gif -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/loading.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/loading.gif -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/minisat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/minisat.so -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/picosat.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/picosat.so -------------------------------------------------------------------------------- /org-tweetyproject-logics-ml/src/main/resources/examplebeliefbase2.mlogic: -------------------------------------------------------------------------------- 1 | type(A) 2 | type(B) 3 | 4 | (<>(A||B))<=>((<>(A)||<>(B))) 5 | <>(-) 6 | <>(A)&&([](B)) 7 | 8 | 9 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex3.asp: -------------------------------------------------------------------------------- 1 | obj(r). 2 | obj(l). 3 | 4 | usable(X) :- obj(X), not broken(X). 5 | -usable(X) :- broken(X). 6 | broken(r) | broken(l). 7 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/resources/lingeling.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-sat/src/main/resources/lingeling.dll -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/abort-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/abort-icon.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/loading15.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/loading15.gif -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/red_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/red_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/loading15.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/loading15.gif -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/red_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/red_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/loading.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/loading.gif -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/lingeling.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/lingeling.dll -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/lingeling.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/lingeling.so -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/minisat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/minisat.dll -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/resources/picosat.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/resources/picosat.dll -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/green_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/green_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/red_light15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/red_light15.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/img/tweety_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/aba/img/tweety_small.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/green_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/green_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/red_light15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/red_light15.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/img/tweety_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/delp/img/tweety_small.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/abort-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/abort-icon.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/loading15.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/loading15.gif -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/red_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/red_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/incmes_doc_v1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/incmes_doc_v1.pdf -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/incmes_doc_v2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/incmes_doc_v2.pdf -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/green_light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/green_light.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/red_light15.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/red_light15.png -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/incmes/img/tweety_small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-web/src/webapp/incmes/img/tweety_small.png -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/resources/TestB.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e} 2 | b < a 3 | c < a 4 | d < a 5 | a <= e 6 | b <= c 7 | d < b 8 | b < e 9 | d < c 10 | c < e 11 | d <= e 12 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/resources/TestC.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e} 2 | e < a 3 | e < b 4 | e < c 5 | e <= d 6 | c <= a 7 | c < b 8 | c < d 9 | d < b 10 | d <= a 11 | a < b 12 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/resources/TestD.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e} 2 | b <= a 3 | b < c 4 | a < c 5 | b < d 6 | b < e 7 | a < c 8 | a < e 9 | c <= d 10 | c < e 11 | d < e 12 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/resources/TestE.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e} 2 | d < c 3 | d < e 4 | d < b 5 | d < a 6 | b <= e 7 | b < c 8 | b < a 9 | e < c 10 | e < a 11 | c < a 12 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex1.apx: -------------------------------------------------------------------------------- 1 | arg(a). 2 | arg(b). 3 | arg(c). 4 | arg(d). 5 | att(a,b). 6 | att(b,c). 7 | att(c,a). 8 | att(c,d). 9 | att(d,c). 10 | att(d,d). 11 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex1.apx: -------------------------------------------------------------------------------- 1 | arg(a). 2 | arg(b). 3 | arg(c). 4 | arg(d). 5 | att(a,b). 6 | att(b,c). 7 | att(c,a). 8 | att(c,d). 9 | att(d,c). 10 | att(d,d). 11 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/resources/aiggraph/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-graphs/src/main/resources/aiggraph/favicon.ico -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/resources/TestA.po: -------------------------------------------------------------------------------- 1 | {a, b, c, d, e,f } 2 | a < b 3 | a < c 4 | a < d 5 | a < e 6 | b <= c 7 | b < d 8 | b < e 9 | c < d 10 | c < e 11 | d <= e 12 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/birds2.txt: -------------------------------------------------------------------------------- 1 | Bird(opus). 2 | Penguin(tweety). 3 | Wings(tweety). 4 | 5 | Bird(X) <- Penguin(X). 6 | 7 | Fly(X) -< Bird(X). 8 | ~Fly(X) -< Penguin(X). 9 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/examplebeliefbase_xor.proplogic: -------------------------------------------------------------------------------- 1 | a ^^ b ^^ c 2 | !a ^^ b 3 | !b ^^ c 4 | a && b ^^ d 5 | a <=> (d ^^ f) 6 | (a && b ^^ d) => ((a <=> (d ^^ f)) ^^ (!a ^^ b)) -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/hobbes.txt: -------------------------------------------------------------------------------- 1 | dangerous(X) -< tiger(X). 2 | ~dangerous(X) -< baby(X). 3 | ~dangerous(X) -< pet(X). 4 | 5 | tiger(hobbes). 6 | baby(hobbes). 7 | pet(hobbes). 8 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-fol/src/main/resources/tptpexample.fologic: -------------------------------------------------------------------------------- 1 | %---Some formulas in TPTP syntax 2 | fof(formula1,axiom,(r)). 3 | fof(formula2,axiom,(r=>p(a))). 4 | fof(formula3,axiom,(r<=>r&q(b))). 5 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/hobbes.txt: -------------------------------------------------------------------------------- 1 | dangerous(X) -< tiger(X). 2 | ~dangerous(X) -< baby(X). 3 | ~dangerous(X) -< pet(X). 4 | 5 | tiger(hobbes). 6 | baby(hobbes). 7 | pet(hobbes). 8 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/dimacs_ex5.cnf: -------------------------------------------------------------------------------- 1 | c 2 | c Example Dimacs file 3 | c 4 | p cnf 4 8 5 | 1 2 3 4 0 6 | -1 -2 -3 -4 0 7 | 1 2 0 8 | -1 -2 0 9 | 3 4 0 10 | -3 -4 0 11 | 1 0 12 | 3 0 13 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/src/main/resources/ex4.aspic: -------------------------------------------------------------------------------- 1 | => WearsRing 2 | => PartyAnimal 3 | 4 | d1: WearsRing => Married 5 | d2: PartyAnimal => Bachelor 6 | 7 | s1: Married -> ! Bachelor 8 | s2: Bachelor -> ! Married 9 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-rankings/src/main/resources/ex1_bonzon.apx: -------------------------------------------------------------------------------- 1 | arg(a). 2 | arg(b). 3 | arg(c). 4 | arg(d). 5 | arg(e). 6 | att(a,e). 7 | att(d,a). 8 | att(e,d). 9 | att(c,e). 10 | att(b,c). 11 | att(b,a). 12 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-qbf/src/main/resources/qcir-example1.qcir: -------------------------------------------------------------------------------- 1 | #QCIR-G14 2 | #comment 3 | forall(v1) 4 | exists(v2, v3) 5 | output(g3) 6 | g1 = and(v1, v2) 7 | g2 = and(-v1, -v2, v3) 8 | g3 = or(g1, g2) 9 | 10 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rdl/src/main/resources/simple_default_theory.txt: -------------------------------------------------------------------------------- 1 | type(a()) 2 | type(b()) 3 | type(c()) 4 | type(d()) 5 | type(e()) 6 | 7 | a 8 | b 9 | 10 | 11 | 12 | a::c/c 13 | ::!d/!d 14 | b::d/d 15 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-rankings/src/main/resources/ex3_cayrol.apx: -------------------------------------------------------------------------------- 1 | arg(a). 2 | arg(b). 3 | arg(c). 4 | arg(d). 5 | arg(e). 6 | arg(f). 7 | att(a,b). 8 | att(b,c). 9 | att(d,e). 10 | att(e,d). 11 | att(c,f). 12 | att(e,c). 13 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rpcl/src/main/resources/elephants.rpcl: -------------------------------------------------------------------------------- 1 | Elephant = {clyde,giddy} 2 | Keeper = {fred,dave} 3 | 4 | type(likes(Elephant,Keeper)) 5 | 6 | (likes(X,Y))[0.6] 7 | (likes(X,fred))[0.4] 8 | (likes(clyde,fred))[0.6] -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/src/main/resources/ex2.aspic: -------------------------------------------------------------------------------- 1 | 2 | 3 | => Snores 4 | => Professor 5 | 6 | d1: Snores => Misbehaves 7 | d2: Misbehaves => AccessDenied 8 | d3: Professor => ! AccessDenied 9 | 10 | d1 < d3 < d2 11 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/src/main/resources/ex3.aspic: -------------------------------------------------------------------------------- 1 | o1: => BornInScotland 2 | o2: => FitnessLover 3 | 4 | d1: BornInScotland => Scottish 5 | d2: Scottish => LikesWhisky 6 | d3: FitnessLover => ! LikesWhisky 7 | 8 | d1 < d3 < d2 9 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/examplebeliefbase_multiple.proplogic: -------------------------------------------------------------------------------- 1 | a || b || c 2 | !a || b 3 | !b || c 4 | !c || (!a && !b && !c && !d) 5 | 6 | 7 | 8 | a && c 9 | + 10 | 11 | 12 | 13 | a <=> b 14 | a ^^ a -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex4.asp: -------------------------------------------------------------------------------- 1 | bird(X) :- penguin(X). 2 | flies(X) :- bird(X), not -flies(X). 3 | -flies(X) :- penguin(X). 4 | flies(X) :- bat(X). 5 | :- bird(X), bat(X). 6 | 7 | penguin(tweety). 8 | bat(batman). 9 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/sat/SatSolverState.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/sat/SatSolverState.class -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/src/main/resources/ex1.aspic: -------------------------------------------------------------------------------- 1 | d1: p => q 2 | d2: s => t 3 | d3: t => ! d1 4 | d4: u => v 5 | d5: v, x => ! t 6 | d6: s => ! p 7 | s1: p, q -> r 8 | s2: v -> ! s 9 | 10 | -> p 11 | => s 12 | => u 13 | => x 14 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex2.apx: -------------------------------------------------------------------------------- 1 | arg(a1). 2 | arg(a2). 3 | arg(a3). 4 | arg(a4). 5 | arg(a5). 6 | arg(a6). 7 | att(a1,a2). 8 | att(a2,a3). 9 | att(a3,a4). 10 | att(a3,a5). 11 | att(a5,a3). 12 | att(a5,a6). 13 | att(a6,a2). 14 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex2.apx: -------------------------------------------------------------------------------- 1 | arg(a1). 2 | arg(a2). 3 | arg(a3). 4 | arg(a4). 5 | arg(a5). 6 | arg(a6). 7 | att(a1,a2). 8 | att(a2,a3). 9 | att(a3,a4). 10 | att(a3,a5). 11 | att(a5,a3). 12 | att(a5,a6). 13 | att(a6,a2). 14 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rpcl/src/main/resources/cold.rpcl: -------------------------------------------------------------------------------- 1 | People = {anna,bob,carl} 2 | 3 | type(cold(People)) 4 | type(contact(People,People)) 5 | 6 | (cold(X))[0.3] 7 | (cold(X)|contact(X,Y)&&cold(Y))[0.5] 8 | (contact(anna,bob))[0.8] 9 | (cold(bob))[0.7] -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/sat/IncrementalSatSolver.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/TweetyProjectTeam/TweetyProject/HEAD/org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/sat/IncrementalSatSolver.class -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/resources/monkey.query: -------------------------------------------------------------------------------- 1 | !(holds [!hasBananas && at(box,LBox) && at(bananas, LBanana) && !onBox && at(monkey,LBox)]) || necessarily [hasBananas] after {pushBox(LBanana),walk(LBanana)},{climbOn},{graspBananas} requires LBanana <> LBox -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/dimacs_ex3.cnf: -------------------------------------------------------------------------------- 1 | c 2 | c Example Dimacs file 3 | c 4 | p cnf 6 9 5 | 1 -2 3 -4 5 0 6 | -1 2 -3 4 5 -6 0 7 | 1 -2 4 6 0 8 | 2 -3 4 5 -6 0 9 | -2 3 -4 -5 -6 0 10 | 1 -3 4 5 0 11 | -1 -2 -3 -6 0 12 | 3 -4 -5 6 0 13 | 4 -5 -6 0 14 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rpcl/src/main/resources/penguins.rpcl: -------------------------------------------------------------------------------- 1 | Animal = {a,b} 2 | 3 | type(penguin(Animal)) 4 | type(bird(Animal)) 5 | type(flies(Animal)) 6 | 7 | (bird(a))[1] 8 | (flies(X)|bird(X))[0.9] 9 | (flies(X)|penguin(X))[0.2] 10 | (bird(X)|penguin(X))[0.9] 11 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/nixon.txt: -------------------------------------------------------------------------------- 1 | has_a_gun(X) -< lives_in_chicago(X). 2 | ~has_a_gun(X) -< lives_in_chicago(X), pacifist(X). 3 | pacifist(X) -< quaker(X). 4 | ~pacifist(X) -< republican(X). 5 | 6 | lives_in_chicago(nixon). 7 | quaker(nixon). 8 | republican(nixon). 9 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/nixon.txt: -------------------------------------------------------------------------------- 1 | has_a_gun(X) -< lives_in_chicago(X). 2 | ~has_a_gun(X) -< lives_in_chicago(X), pacifist(X). 3 | pacifist(X) -< quaker(X). 4 | ~pacifist(X) -< republican(X). 5 | 6 | lives_in_chicago(nixon). 7 | quaker(nixon). 8 | republican(nixon). 9 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/term/OptProbElement.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.math.term; 2 | 3 | /** OptProbElement */ 4 | public class OptProbElement { 5 | /** Constructor */ 6 | public OptProbElement() { 7 | } 8 | 9 | } 10 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/dtree.txt: -------------------------------------------------------------------------------- 1 | % Example 5.1 of (Garcia and Simari 2004) 2 | 3 | a -< b. ~b -< e. ~b -< c,f. ~f -< i. 4 | b -< c. e. f -< g. i. 5 | c. ~f -< g,h. g. ~h -< k. 6 | ~b -< c,d. h -< j. k. 7 | d. j. 8 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/dtree.txt: -------------------------------------------------------------------------------- 1 | % Example 5.1 of (Garcia and Simari 2004) 2 | 3 | a -< b. ~b -< e. ~b -< c,f. ~f -< i. 4 | b -< c. e. f -< g. i. 5 | c. ~f -< g,h. g. ~h -< k. 6 | ~b -< c,d. h -< j. k. 7 | d. j. 8 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/resources/monkey.sig: -------------------------------------------------------------------------------- 1 | LOCATION = {l1,l2,l3} 2 | OBJECT = {monkey, bananas, box} 3 | 4 | fluent at(OBJECT,LOCATION) 5 | fluent hasBananas 6 | fluent onBox 7 | action walk(LOCATION) 8 | action pushBox(LOCATION) 9 | action climbOn 10 | action climbOff 11 | action graspBananas 12 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/ex5.asp: -------------------------------------------------------------------------------- 1 | % Single-line comment 2 | motive(harry). 3 | motive(sally). 4 | guilty(harry). 5 | 6 | %* Multi- 7 | *line 8 | *comment 9 | *% 10 | innocent(Suspect) :- motive(Suspect), not guilty(Suspect). 11 | #show guilty/1. 12 | innocent(harry)? 13 | 14 | 15 | 16 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-dl/src/main/resources/examplebeliefbase2.dlogic: -------------------------------------------------------------------------------- 1 | signature(:atomic-concepts(Bird Mammal Cat) 2 | :roles(enemyOf) 3 | :individuals(tweety sylvester)) 4 | 5 | implies Cat Mammal 6 | implies Bird (not Mammal) 7 | instance tweety Bird 8 | instance sylvester Cat 9 | related tweety sylvester enemyOf -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/birds.txt: -------------------------------------------------------------------------------- 1 | Bird(X) <- Chicken(X). 2 | Bird(X) <- Penguin(X). 3 | ~Flies(X) <- Penguin(X). 4 | Chicken(tina). 5 | Penguin(tweety). 6 | Scared(tina). 7 | 8 | Flies(X) -< Bird(X). 9 | ~Flies(X) -< Chicken(X). 10 | Flies(X) -< Chicken(X), Scared(X). 11 | Nests_in_trees(X) -< Flies(X). 12 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/src/main/resources/ex5_fol.aspic: -------------------------------------------------------------------------------- 1 | => snores(bob) 2 | => snores(alice) 3 | => professor(bob) 4 | 5 | d0: accessDenied(X) => !accessAllowed(X) 6 | 7 | d1: snores(X) => misbehaves(X) 8 | d2: misbehaves(X) => accessDenied(X) 9 | d3: professor(X) => accessAllowed(X) 10 | 11 | d1 < d2 < d3 12 | 13 | 14 | 15 | 16 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/birds.txt: -------------------------------------------------------------------------------- 1 | Bird(X) <- Chicken(X). 2 | Bird(X) <- Penguin(X). 3 | ~Flies(X) <- Penguin(X). 4 | Chicken(tina). 5 | Penguin(tweety). 6 | Scared(tina). 7 | 8 | Flies(X) -< Bird(X). 9 | ~Flies(X) -< Chicken(X). 10 | Flies(X) -< Chicken(X), Scared(X). 11 | Nests_in_trees(X) -< Flies(X). 12 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/src/main/resources/smp_fol.aba: -------------------------------------------------------------------------------- 1 | {Pair(a,c);Pair(a,d);Pair(b,c);Pair(b,d)} 2 | 3 | ContraryPair(A,B) <- MPrefers(A,D,B); Pair(A,D) 4 | ContraryPair(A,B) <- WPrefers(B,E,A); Pair(E,B) 5 | MPrefers(a,d,c) <- 6 | MPrefers(b,c,d) <- 7 | WPrefers(c,a,b) <- 8 | WPrefers(d,b,a) <- 9 | 10 | not Pair(A,B) = ContraryPair(A,B) 11 | 12 | 13 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/aggregates.asp: -------------------------------------------------------------------------------- 1 | course(databases). 2 | :- 12<= #sum { 6 : course(ai); 6 : course(databases); 4: course(networks); 12 : course(project); 3 : course(xml) }. 3 | :- 1 <= #count {course(databases); course(ai); course(networks) } <= 2. 4 | :- 3<= #min { 6 : course(databases); 6 : course(ai); 12 : course(project); 3 : course(xml); 4 : course(networks) }. 5 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-ml/src/main/resources/examplebeliefbase.mlogic: -------------------------------------------------------------------------------- 1 | Animal = {penguin, eagle, worm} 2 | Plant = {cactus} 3 | 4 | type(Flies(Animal)) 5 | type(HasWings(Animal)) 6 | type(Eats(Animal,Animal)) 7 | type(Stings(Plant)) 8 | 9 | <>(Flies(eagle)) 10 | !([](<>(!Stings(cactus)))) 11 | Eats(eagle,worm) 12 | !(<>(Eats(worm,penguin))) 13 | [](forall X:(([](Flies(X))) || (<>(!HasWings(X))))) -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/sat/IncrementalSatSolver.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.adf.sat; 2 | /** 3 | * IncrementalSatSolver interface 4 | * @author Matthias Thimm 5 | * 6 | */ 7 | public interface IncrementalSatSolver { 8 | /** 9 | * 10 | * Return createState 11 | * @return createState 12 | */ 13 | SatSolverState createState(); 14 | 15 | } 16 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/resources/stocks.txt: -------------------------------------------------------------------------------- 1 | buy_stock(C) -< good_price(C). 2 | ~buy_stock(C) -< good_price(C), risky_company(C). 3 | risky_company(C) -< in_fusion(C,D). 4 | risky_company(C) -< closing(C). 5 | ~risky_company(C) -< in_fusion(C,D), strong(D). 6 | 7 | good_price(acme). 8 | in_fusion(acme,steel). % -< true. 9 | strong(steel). % -< true. 10 | 11 | % we could make this a built-in: 12 | %true. 13 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/test/resources/stocks.txt: -------------------------------------------------------------------------------- 1 | buy_stock(C) -< good_price(C). 2 | ~buy_stock(C) -< good_price(C), risky_company(C). 3 | risky_company(C) -< in_fusion(C,D). 4 | risky_company(C) -< closing(C). 5 | ~risky_company(C) -< in_fusion(C,D), strong(D). 6 | 7 | good_price(acme). 8 | in_fusion(acme,steel). % -< true. 9 | strong(steel). % -< true. 10 | 11 | % we could make this a built-in: 12 | %true. 13 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-fol/src/main/resources/examplebeliefbase.fologic: -------------------------------------------------------------------------------- 1 | Animal = {penguin, eagle, rabbit} 2 | Plant = {cactus} 3 | 4 | type(Flies(Animal)) 5 | type(HasWings(Animal)) 6 | type(Eats(Animal,Animal)) 7 | type(Stings(Plant)) 8 | 9 | HasWings(penguin) 10 | forall X: (!Flies(X) || HasWings(X)) 11 | forall X: (forall Y: (!Eats(X,Y) || Eats(Y,X))) 12 | !Flies(penguin) 13 | Eats(eagle, rabbit) 14 | Stings(cactus) 15 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-rankings/src/main/resources/ex2_baumeister.apx: -------------------------------------------------------------------------------- 1 | arg(a1). 2 | arg(b1). 3 | arg(b2). 4 | arg(b3). 5 | arg(b4). 6 | arg(c1). 7 | arg(c2). 8 | arg(c3). 9 | arg(c4). 10 | arg(d1). 11 | arg(d2). 12 | arg(d3). 13 | arg(e1). 14 | att(b1,a1). 15 | att(b2,a1). 16 | att(b3,a1). 17 | att(b4,a1). 18 | att(c1,b1). 19 | att(c2,b1). 20 | att(c3,b2). 21 | att(c4,b3). 22 | att(d1,c1). 23 | att(d2,c2). 24 | att(d3,c3). 25 | att(e1,d1). 26 | 27 | 28 | 29 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/fibonacci.dlv: -------------------------------------------------------------------------------- 1 | % Formalization taken from the DLV tutorial 2 | % https://www.dbai.tuwien.ac.at/proj/dlv/tutorial/ 3 | 4 | true. 5 | fibonacci(1, 1) :- true. 6 | fibonacci(1, 2) :- true. 7 | fibonacci(F, Index) :- +(F1, F2, F), 8 | fibonacci(F1, Index1), 9 | fibonacci(F2, Index2), 10 | #succ(Index1, Index2), 11 | #succ(Index2, Index). -------------------------------------------------------------------------------- /org-tweetyproject-logics-pl/src/main/resources/dimacs_ex4.cnf: -------------------------------------------------------------------------------- 1 | c 2 | c Example Dimacs file 3 | c 4 | p cnf 6 24 5 | 1 -2 3 -4 5 0 6 | -1 2 -3 4 5 -6 0 7 | 1 -2 4 6 0 8 | 2 -3 4 5 -6 0 9 | -2 3 -4 -5 -6 0 10 | 1 -3 4 5 0 11 | -1 -2 -3 -6 0 12 | 3 -4 -5 6 0 13 | 4 -5 -6 0 14 | -2 -3 -4 -5 -6 0 15 | -1 -3 -4 -5 -6 0 16 | 1 2 0 17 | -1 -4 -5 0 18 | -1 -4 -6 0 19 | 1 -2 5 0 20 | -1 -2 3 0 21 | 2 3 4 0 22 | 1 -2 -3 0 23 | -1 -2 0 24 | -1 -5 0 25 | -3 -4 0 26 | -2 -4 0 27 | 2 3 0 28 | -1 -3 0 29 | -------------------------------------------------------------------------------- /org-tweetyproject-cli/tweety_config.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | plugins/pref.jar 6 | 7 | 8 | 9 | plugins/rcpl.jar 10 | 11 | 12 | 13 | plugins/propositionallogic.jar 14 | 15 | 16 | 17 | plugins/firstorderlogic.jar 18 | 19 | 20 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-qbf/src/main/resources/qdimacs-example1.qdimacs: -------------------------------------------------------------------------------- 1 | c This QDIMACS file encodes the formula 2 | c forall x1, x2 exists y. y <-> x1 & x2. 3 | c x1 is represented by number 1 4 | c x2 is represented by number 2 5 | c y is represented by number 3 6 | p cnf 3 3 7 | a 1 2 0 8 | e 3 0 9 | 1 -3 0 10 | 2 -3 0 11 | -1 -2 3 0 12 | -------------------------------------------------------------------------------- /org-tweetyproject-cli/src/main/java/org/tweetyproject/cli/plugins/tweety_config.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | plugins/pref.jar 6 | 7 | 8 | 9 | plugins/rcpl.jar 10 | 11 | 12 | 13 | plugins/propositionallogic.jar 14 | 15 | 16 | 17 | plugins/firstorderlogic.jar 18 | 19 | 20 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/resources/aiggraph/load-mathjax.js: -------------------------------------------------------------------------------- 1 | window.MathJax = { 2 | options: { enableMenu: false }, 3 | tex: { 4 | inlineMath: [ 5 | ['$', '$'], 6 | ['\\(', '\\)'] 7 | ] 8 | }, 9 | svg: { 10 | fontCache: 'global' 11 | } 12 | } 13 | ;(function () { 14 | let script = document.createElement('script') 15 | script.src = 'https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-svg.js' 16 | script.async = true 17 | document.head.appendChild(script) 18 | })() 19 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-fol/src/main/resources/examplebeliefbase2.fologic: -------------------------------------------------------------------------------- 1 | Person = {alice} 2 | Course = {cryptography} 3 | ID = {id001,id002} 4 | 5 | type(hasID(Person,ID)) 6 | type(teaches(Person,Course)) 7 | 8 | teaches(alice,cryptography) 9 | hasID(alice,id001) 10 | !hasID(alice,id002) 11 | forall X:(forall Y:(hasID(X,Y) => (!(exists Z:(hasID(X,Z) && Z/==Y))))) 12 | forall X:(forall Y:(hasID(X,Y) => (!(exists Z:(hasID(Z,Y) && Z/==X))))) 13 | forall X:(forall Y: (teaches(X,Y) => exists Z: (hasID(X,Z)) )) 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | -------------------------------------------------------------------------------- /org-tweetyproject-commons/src/main/java/org/tweetyproject/commons/postulates/PostulateEvaluatable.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.commons.postulates; 2 | 3 | import org.tweetyproject.commons.Formula; 4 | 5 | /** 6 | * Classes implementing this interface can be evaluated 7 | * wrt. rationality postulates through the PostulateEvaluator.java 8 | * class. 9 | * 10 | * @author Matthias Thimm 11 | * 12 | * @param The type of formulas this approach expects. 13 | */ 14 | public interface PostulateEvaluatable { 15 | 16 | } 17 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/resources/conditioner.desc: -------------------------------------------------------------------------------- 1 | :- signature 2 | fluent oncondition 3 | fluent cooling 4 | action switchcondition 5 | action switchheat 6 | 7 | :- rules 8 | 9 | inertial oncondition 10 | inertial !oncondition 11 | inertial cooling 12 | inertial !cooling 13 | 14 | caused !cooling if !oncondition 15 | 16 | caused oncondition after switchcondition && !oncondition 17 | caused !oncondition after switchcondition && oncondition 18 | 19 | caused cooling after switchheat && oncondition && !cooling 20 | caused !cooling after switchheat && cooling -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/resources/ex3.apx: -------------------------------------------------------------------------------- 1 | arg(a2). 2 | arg(a1). 3 | arg(a4). 4 | arg(a3). 5 | arg(a6). 6 | arg(a5). 7 | arg(a8). 8 | arg(a7). 9 | arg(a9). 10 | arg(a10). 11 | att(a2,a8). 12 | att(a9,a9). 13 | att(a1,a8). 14 | att(a10,a9). 15 | att(a10,a8). 16 | att(a5,a4). 17 | att(a4,a6). 18 | att(a4,a10). 19 | att(a3,a9). 20 | att(a4,a2). 21 | att(a3,a4). 22 | att(a7,a5). 23 | att(a6,a10). 24 | att(a9,a7). 25 | att(a9,a8). 26 | att(a9,a5). 27 | att(a9,a3). 28 | att(a9,a2). 29 | att(a8,a7). 30 | att(a10,a1). 31 | att(a8,a5). 32 | att(a7,a9). 33 | att(a10,a7). 34 | att(a8,a3). 35 | att(a10,a6). 36 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/src/main/resources/ex3.apx: -------------------------------------------------------------------------------- 1 | arg(a2). 2 | arg(a1). 3 | arg(a4). 4 | arg(a3). 5 | arg(a6). 6 | arg(a5). 7 | arg(a8). 8 | arg(a7). 9 | arg(a9). 10 | arg(a10). 11 | att(a2,a8). 12 | att(a9,a9). 13 | att(a1,a8). 14 | att(a10,a9). 15 | att(a10,a8). 16 | att(a5,a4). 17 | att(a4,a6). 18 | att(a4,a10). 19 | att(a3,a9). 20 | att(a4,a2). 21 | att(a3,a4). 22 | att(a7,a5). 23 | att(a6,a10). 24 | att(a9,a7). 25 | att(a9,a8). 26 | att(a9,a5). 27 | att(a9,a3). 28 | att(a9,a2). 29 | att(a8,a7). 30 | att(a10,a1). 31 | att(a8,a5). 32 | att(a7,a9). 33 | att(a10,a7). 34 | att(a8,a3). 35 | att(a10,a6). 36 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/resources/water.query: -------------------------------------------------------------------------------- 1 | % Flowers can be wet 2 | !always [!flowersWet] 3 | % turning the valve on causes water flow whenever possible 4 | necessarily [waterFlowing] after {turnWaterOn} 5 | % flowers may be watered either by being wet already, or by turning the water on, or by plugging in the hose and then turning the water on 6 | holds [flowersWet] || necessarily [flowersWet] after {turnWaterOn} || necessarily [flowersWet] after {plugHose};{turnWaterOn} 7 | % dry flowers will not get wet if the hose is not plugged in 8 | !holds [!flowersWet && !hosePluggedIn] || necessarily [!flowersWet] after {turnWaterOn} 9 | -------------------------------------------------------------------------------- /org-tweetyproject-web/src/main/resources/logback.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | logs/tweety_server.log 7 | 8 | %d{yyyy-MM-dd HH:mm:ss.SSS} [%thread] %-5level %logger{36} - %msg%n 9 | 10 | true 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-bipolar/src/main/java/org/tweetyproject/arg/bipolar/analysis/Analysis.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.bipolar.analysis; 2 | 3 | import org.tweetyproject.arg.bipolar.syntax.BArgument; 4 | 5 | import java.util.Set; 6 | 7 | /** 8 | * The interface of the analyses in arg.peaf 9 | * 10 | * @author Taha Dogan Gunes 11 | */ 12 | public interface Analysis { 13 | /** 14 | * Creates an AnalysisResult to store the results of the analysis 15 | * 16 | * @param args the set of arguments necessary for the query 17 | * @return an AnalysisResult object 18 | */ 19 | AnalysisResult query(Set args); 20 | } 21 | -------------------------------------------------------------------------------- /org-tweetyproject-causal/src/main/java/org/tweetyproject/causal/TODOS.txt: -------------------------------------------------------------------------------- 1 | - implement that conclusion can be a formula instead of just a literal 2 | - allow structural equations to be formulated for literals (ie allow "negative" causal relation) 3 | - What if: Create arguments based on CKB alone (without observations) + arguments based on observations: Is this still correct? would create more interesting AFs 4 | - Or probably better: argument premise must only be consistent with CM, not the observations 5 | - Could also handle observations like assumptions (?) Probably not sensible 6 | - add explicit encoding of negative atoms in causalInterpretation 7 | 8 | - Parser 9 | - Writer -------------------------------------------------------------------------------- /org-tweetyproject-arg-bipolar/src/main/java/org/tweetyproject/arg/bipolar/syntax/CyclicException.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.bipolar.syntax; 2 | 3 | /** 4 | * CyclicException is thrown only if the given PEAF has cyclic in the support links 5 | * 6 | * @author Taha Dogan Gunes 7 | */ 8 | public class CyclicException extends RuntimeException { 9 | 10 | /** 11 | * default serial ID 12 | */ 13 | private static final long serialVersionUID = 1L; 14 | 15 | /** 16 | * Default constructor for the exception 17 | * 18 | * @param message error message 19 | */ 20 | public CyclicException(String message) { 21 | super(message); 22 | } 23 | 24 | } 25 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/sat/encodings/RelativeSatEncoding.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.adf.reasoner.sat.encodings; 2 | 3 | import java.util.function.Consumer; 4 | 5 | import org.tweetyproject.arg.adf.semantics.interpretation.Interpretation; 6 | import org.tweetyproject.arg.adf.syntax.pl.Clause; 7 | 8 | /** 9 | * A SatEncoding which is relative to a given interpretation. 10 | * 11 | * @author Mathias 12 | * 13 | */ 14 | public interface RelativeSatEncoding { 15 | 16 | /** 17 | * 18 | * @param consumer consumer 19 | * @param interpretation interpretation 20 | */ 21 | void encode(Consumer consumer, Interpretation interpretation); 22 | 23 | } 24 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | sat 8 | TweetyProject (SAT Library) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | 14 | 15 | 16 | junit 17 | junit 18 | 4.13.1 19 | test 20 | 21 | 22 | 23 | -------------------------------------------------------------------------------- /org-tweetyproject-cli/help.txt: -------------------------------------------------------------------------------- 1 | Tweety CLI Help: 2 | 3 | default parameter: 4 | "-p " call Plugin "pluginname" 5 | e.g. "-p preferences" calls Plugin "preferences" 6 | 7 | "-i " Input-File "file" 8 | e.g. "-i test.txt" reads file test.txt 9 | 10 | "-o " Write output to 11 | (if not present, output is written to the console) 12 | e.g. "-o output.txt" writes output in file "output.txt" 13 | 14 | complete example: 15 | "-p preferences -i testA.po testB.po -o result.po -aggr plurality" 16 | calls plugin "preferences" with the two given "*.po" files, aggregates 17 | them with the rule "plurality" and writes the output into the file 18 | "result.po" 19 | 20 | (to be implemented) 21 | other parameters: 22 | "-p --parameter" calls all available plugins from "plugin" 23 | -------------------------------------------------------------------------------- /org-tweetyproject-agents/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | agents 9 | 10 | TweetyProject (Agents Library) 11 | 12 | 13 | org.tweetyproject 14 | commons 15 | 1.29-SNAPSHOT 16 | 17 | 18 | 19 | org.tweetyproject 20 | parent-pom 21 | 1.29-SNAPSHOT 22 | .. 23 | 24 | 25 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/resources/turkey.desc: -------------------------------------------------------------------------------- 1 | % This example is taken from the paper 2 | % Nonmonotonic Causal Theories by Enrico Giunchiglia et. al. (2004) 3 | :- signature 4 | ANIMAL = { turkey1, turkey2} 5 | 6 | fluent loaded 7 | fluent alive(ANIMAL) 8 | fluent target(ANIMAL) 9 | 10 | action load 11 | action shoot 12 | action aim(ANIMAL) 13 | 14 | :- rules 15 | inertial loaded 16 | inertial !loaded 17 | inertial alive(X) 18 | inertial !alive(X) 19 | inertial target(X) 20 | inertial !target(X) 21 | 22 | % at most one target at a time 23 | caused !target(L1) if target(L2) requires L1 <> L2 24 | 25 | load causes loaded 26 | load causes !target(X) 27 | 28 | aim(X) causes target(X) 29 | 30 | shoot causes !alive(X) if target(X) 31 | shoot causes !loaded 32 | nonexecutable shoot if !loaded 33 | nonexecutable aim(X) && shoot -------------------------------------------------------------------------------- /org-tweetyproject-logics-rcl/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.logics 8 | rcl 9 | TweetyProject (Relational Conditional Logic Library) 10 | 11 | org.tweetyproject 12 | parent-pom 13 | 1.29-SNAPSHOT 14 | 15 | 16 | 17 | org.tweetyproject.logics 18 | cl 19 | 1.29-SNAPSHOT 20 | 21 | 22 | 23 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rdl/src/main/resources/example_default_theory.txt: -------------------------------------------------------------------------------- 1 | Animal = {tweety, penguin, bat, bear, whale, shark, octopus} 2 | Person = {mary, peter, tom, anne} 3 | 4 | type(Flies(Animal)) 5 | type(Swims(Animal)) 6 | type(Bird(Animal)) 7 | type(Fish(Animal)) 8 | type(Mammal(Animal)) 9 | 10 | type(Mother(Person, Person)) 11 | type(Father(Person, Person)) 12 | type(Married(Person, Person)) 13 | type(Male(Person)) 14 | type(Female(Person)) 15 | type(a()) 16 | type(b()) 17 | type(c()) 18 | type(d()) 19 | 20 | Bird(tweety) 21 | Bird(penguin) 22 | !Flies(penguin) 23 | Flies(bat) 24 | exists X:(Flies(X)) 25 | 26 | Male(peter) 27 | Female(mary) 28 | Married(peter,mary) 29 | Married(tom,anne) 30 | 31 | 32 | 33 | 34 | Bird(X) :: Flies(X) / Flies(X) 35 | :: Flies(bat) / Flies(bat) 36 | Married(X,Y) && Father(X,Z)::Mother(Y,Z)/Mother(Y,Z) 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-comparator/pom.xml: -------------------------------------------------------------------------------- 1 | 2 | 7 | 4.0.0 8 | TweetyProject (Comparator Library) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | 14 | comparator 15 | 1.29-SNAPSHOT 16 | 17 | 18 | org.tweetyproject 19 | graphs 20 | 1.29-SNAPSHOT 21 | 22 | 23 | 24 | -------------------------------------------------------------------------------- /.github/workflows/package.yml: -------------------------------------------------------------------------------- 1 | name: Package 2 | 3 | on: 4 | push: 5 | branches: [ "main" ] 6 | pull_request: 7 | branches: [ "main" ] 8 | 9 | jobs: 10 | build: 11 | 12 | runs-on: ubuntu-latest 13 | 14 | steps: 15 | - uses: actions/checkout@v4 16 | - name: Set up JDK 21 17 | uses: actions/setup-java@v4 18 | with: 19 | # Compile source and target are still specified in pom.xml 20 | java-version: '21' 21 | distribution: 'temurin' 22 | cache: maven 23 | - name: Build with Maven 24 | run: mvn --batch-mode package 25 | 26 | # Optional: Uploads the full dependency graph to GitHub to improve the quality of Dependabot alerts this repository can receive 27 | - name: Update dependency graph 28 | uses: advanced-security/maven-dependency-submission-action@v4 29 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-qbf/src/main/resources/qcir-example2-sat.qcir: -------------------------------------------------------------------------------- 1 | #QCIR-G14 46 2 | #mvs2y.sat example, taken from the QBFEVAL19 dataset 3 | forall(1,2,3,4,5) 4 | exists(6,7,8,9,10) 5 | output(11) 6 | 12 = and(5) 7 | 13 = and(4, 3) 8 | 14 = or(12, 13) 9 | 15 = or(-3, -2) 10 | 16 = and(15, 1) 11 | 17 = or(-4, -2) 12 | 18 = or(17, -6) 13 | 19 = and(16, 18) 14 | 20 = and(4, 2) 15 | 21 = and(20, 6) 16 | 22 = and(3, 2) 17 | 23 = and(21, 22) 18 | 24 = or(19, 23) 19 | 25 = or(-8, 24) 20 | 26 = or(22, -1) 21 | 27 = or(26, 21) 22 | 28 = or(18, 15) 23 | 29 = and(27, 28) 24 | 30 = or(8, 29) 25 | 31 = or(22, 20) 26 | 32 = and(31, 18) 27 | 33 = or(-9, 32) 28 | 34 = and(15, 17) 29 | 35 = or(34, 21) 30 | 36 = or(9, 35) 31 | 37 = and(22, 20) 32 | 38 = or(-10, 37) 33 | 39 = or(15, 17) 34 | 40 = or(10, 39) 35 | 41 = or(-10) 36 | 42 = or(-9, -8) 37 | 43 = and(41, 42) 38 | 44 = and(7, 25, 30, 33, 36, 38, 40, 43) 39 | 11 = or(14, 44) 40 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-qbf/src/main/resources/qcir-example2-unsat.qcir: -------------------------------------------------------------------------------- 1 | #QCIR-G14 46 2 | #mvs2y.unsat example, taken from the QBFEVAL19 dataset 3 | exists(1,2,3,4,5) 4 | forall(6) 5 | exists(7,8,9,10) 6 | output(11) 7 | 12 = or(-5) 8 | 13 = or(-4, -3) 9 | 14 = and(12, 13) 10 | 15 = or(-3, -2) 11 | 16 = and(15, 1) 12 | 17 = or(-4, -2) 13 | 18 = or(17, -6) 14 | 19 = and(16, 18) 15 | 20 = and(4, 2) 16 | 21 = and(20, 6) 17 | 22 = and(3, 2) 18 | 23 = and(21, 22) 19 | 24 = or(19, 23) 20 | 25 = or(-8, 24) 21 | 26 = or(22, -1) 22 | 27 = or(26, 21) 23 | 28 = or(18, 15) 24 | 29 = and(27, 28) 25 | 30 = or(8, 29) 26 | 31 = or(22, 20) 27 | 32 = and(31, 18) 28 | 33 = or(-9, 32) 29 | 34 = and(15, 17) 30 | 35 = or(34, 21) 31 | 36 = or(9, 35) 32 | 37 = and(22, 20) 33 | 38 = or(-10, 37) 34 | 39 = or(15, 17) 35 | 40 = or(10, 39) 36 | 41 = and(7, 25, 30, 33, 36, 38, 40) 37 | 42 = and(10) 38 | 43 = and(9, 8) 39 | 44 = or(42, 43) 40 | 11 = and(14, 41, 44) 41 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/optimize.aspif: -------------------------------------------------------------------------------- 1 | asp 1 0 0 2 | 1 0 1 1 0 0 3 | 1 0 1 2 0 0 4 | 1 0 1 3 0 0 5 | 1 0 1 4 0 0 6 | 1 0 1 5 0 0 7 | 1 0 1 6 0 0 8 | 1 0 1 7 0 0 9 | 1 0 1 8 0 0 10 | 1 0 1 9 0 0 11 | 1 0 1 10 0 0 12 | 1 0 1 11 0 0 13 | 1 0 1 12 0 0 14 | 1 0 1 13 0 1 14 15 | 1 1 5 15 14 16 17 18 0 1 12 16 | 1 0 1 19 0 1 15 17 | 1 0 1 19 0 1 14 18 | 1 0 1 19 0 1 16 19 | 1 0 1 19 0 1 17 20 | 1 0 1 19 0 1 18 21 | 1 0 0 0 2 12 -19 22 | 2 1 5 18 -5 16 -3 15 -2 17 -4 14 -3 23 | 2 2 5 18 34 16 30 15 30 17 35 14 25 24 | 2 3 1 13 1 25 | 4 5 noisy 1 13 26 | 4 10 star(h1,5) 0 27 | 4 10 star(h3,3) 0 28 | 4 10 star(h5,2) 0 29 | 4 10 star(h2,4) 0 30 | 4 10 star(h4,3) 0 31 | 4 11 cost(h3,90) 0 32 | 4 11 cost(h4,75) 0 33 | 4 12 cost(h1,170) 0 34 | 4 12 cost(h2,140) 0 35 | 4 11 cost(h5,60) 0 36 | 4 9 hotel(h5) 1 15 37 | 4 9 hotel(h4) 1 14 38 | 4 9 hotel(h3) 1 16 39 | 4 9 hotel(h2) 1 17 40 | 4 9 hotel(h1) 1 18 41 | 4 15 main_street(h4) 0 42 | 0 -------------------------------------------------------------------------------- /org-tweetyproject-plugin/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | plugin 9 | 10 | TweetyProject (Plugin Project) 11 | 12 | 13 | org.tweetyproject 14 | parent-pom 15 | 1.29-SNAPSHOT 16 | 17 | 18 | 19 | 20 | 21 | jspf 22 | core 23 | 1.0.2 24 | 25 | 26 | org.tweetyproject 27 | math 28 | 1.29-SNAPSHOT 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-explanations/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | explanations 10 | 11 | TweetyProject (Explanations in Argumentation Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | org.tweetyproject.arg 22 | dung 23 | 1.29-SNAPSHOT 24 | compile 25 | 26 | 27 | 28 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-extended/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | extended 10 | 11 | TweetyProject (Extended Argumentation Framework Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | org.tweetyproject.arg 22 | dung 23 | 1.29-SNAPSHOT 24 | compile 25 | 26 | 27 | 28 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-ml/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.logics 8 | ml 9 | TweetyProject (Modal Logic Library) 10 | 11 | org.tweetyproject 12 | parent-pom 13 | 1.29-SNAPSHOT 14 | 15 | 16 | 17 | org.tweetyproject.logics 18 | fol 19 | 1.29-SNAPSHOT 20 | 21 | 22 | junit 23 | junit 24 | 4.13.1 25 | test 26 | 27 | 28 | 29 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-setaf/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | setaf 10 | 11 | TweetyProject (SetAFs) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | org.junit.jupiter 22 | junit-jupiter 23 | 5.8.2 24 | 25 | 26 | org.tweetyproject.arg 27 | dung 28 | 1.29-SNAPSHOT 29 | 30 | 31 | 32 | -------------------------------------------------------------------------------- /org-tweetyproject-commons/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | commons 9 | jar 10 | 11 | TweetyProject (Commons) 12 | https://github.com/TweetyProjectTeam/TweetyProject 13 | 14 | 15 | UTF-8 16 | 17 | 18 | 19 | 20 | 21 | org.junit.jupiter 22 | junit-jupiter 23 | 5.8.2 24 | 25 | 26 | 27 | 28 | org.tweetyproject 29 | parent-pom 30 | 1.29-SNAPSHOT 31 | .. 32 | 33 | 34 | -------------------------------------------------------------------------------- /org-tweetyproject-causal/src/main/java/org/tweetyproject/causal/writer/CausalWriter.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2024 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.causal.writer; 20 | 21 | /** 22 | * 23 | */ 24 | public class CausalWriter { 25 | } 26 | -------------------------------------------------------------------------------- /org-tweetyproject-cli/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | cli 9 | 10 | TweetyProject (Command Line Interface) 11 | 12 | 13 | org.tweetyproject 14 | parent-pom 15 | 1.29-SNAPSHOT 16 | 17 | 18 | 19 | 20 | org.tweetyproject.logics 21 | rpcl 22 | 1.29-SNAPSHOT 23 | 24 | 25 | jspf 26 | core 27 | 1.0.2 28 | 29 | 30 | commons-configuration 31 | commons-configuration 32 | 1.9 33 | 34 | 35 | 36 | -------------------------------------------------------------------------------- /org-tweetyproject-web/src/main/java/org/tweetyproject/web/util/JSONObject.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2024 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.web.util; 20 | 21 | /** 22 | * Generic JSON Object 23 | */ 24 | public class JSONObject { 25 | 26 | } 27 | -------------------------------------------------------------------------------- /org-tweetyproject-web/src/main/java/org/tweetyproject/web/services/Response.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.web.services; 20 | 21 | /** 22 | * Response placeholder class 23 | */ 24 | public class Response { 25 | 26 | } 27 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | adf 10 | 11 | TweetyProject (ADF Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject.arg 28 | dung 29 | 1.29-SNAPSHOT 30 | 31 | 32 | 33 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/java/org/tweetyproject/graphs/Node.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.graphs; 20 | /** 21 | * an interface for a general Node 22 | * @author Matthias Thimm 23 | * 24 | */ 25 | public interface Node { 26 | 27 | } 28 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/src/main/resources/latin_square_problem.dlv: -------------------------------------------------------------------------------- 1 | % A DLV encoding for the latin square problem. 2 | % By Wolfgang Faber . 3 | % Input: 4 | % num(N) - available symbols and implicit square dimension 5 | % preassigned(R,C,V) - field (row R, column C) with predetermined symbol V 6 | % Output: 7 | % square(R,C,V) - field (row R, column C) with associated symbol V 8 | 9 | % Assignment of the pre-assigned squares. 10 | square(R,C,V) :- preassigned(R,C,V). 11 | 12 | % Guess values only for non-preassigned squares. 13 | preassignedsquare(R,C) :- preassigned(R,C,V). 14 | square(R,C,V) v nsquare(R,C,V) :- num(R), num(C), num(V), not preassignedsquare(R,C). 15 | 16 | % Each square has exactly one symbol. 17 | :- num(R), num(C), not #count{ V: square(R,C,V) } = 1. 18 | 19 | % Each symbol occurs exactly once in each row. 20 | :- num(C), num(V), not #count{ R: square(R,C,V) } = 1. 21 | 22 | % Each symbol occurs exactly once in each column 23 | :- num(R), num(V), not #count{ C: square(R,C,V) } = 1. 24 | 25 | % Example input 26 | num(1). 27 | num(2). 28 | num(3). 29 | preassigned(1,1,1). 30 | preassigned(1,2,2). 31 | preassigned(1,3,3). 32 | 33 | -------------------------------------------------------------------------------- /org-tweetyproject-causal/pom.xml: -------------------------------------------------------------------------------- 1 | 3 | 4.0.0 4 | 5 | causal 6 | 7 | TweetyProject (Causal Reasoning Library) 8 | 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | .. 14 | 15 | 16 | 17 | org.tweetyproject.arg 18 | dung 19 | 1.29-SNAPSHOT 20 | compile 21 | 22 | 23 | org.tweetyproject.logics 24 | pl 25 | 1.29-SNAPSHOT 26 | compile 27 | 28 | 29 | 30 | 31 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-dl/src/main/resources/examplebeliefbase.dlogic: -------------------------------------------------------------------------------- 1 | signature(:atomic-concepts(Person Female Male Parent) 2 | :roles(motherOf fatherOf siblingOf marriedTo) 3 | :individuals(philip_iv_of_spain maria_of_spain ferdinand_iii_hre mariana_of_austria charles_ii_of_spain)) 4 | 5 | implies Female Person 6 | implies Male Person 7 | implies Parent (and Person (exists motherOf Person)) 8 | 9 | instance philip_iv_of_spain Person 10 | instance maria_of_spain Person 11 | instance ferdinand_iii_hre Person 12 | instance mariana_of_austria Person 13 | instance charles_ii_of_spain Person 14 | instance philip_iv_of_spain Male 15 | instance maria_of_spain Female 16 | instance ferdinand_iii_hre Male 17 | instance mariana_of_austria Female 18 | instance charles_ii_of_spain Male 19 | 20 | related philip_iv_of_spain maria_of_spain siblingOf 21 | related ferdinand_iii_hre maria_of_spain marriedTo 22 | related maria_of_spain mariana_of_austria motherOf 23 | related ferdinand_iii_hre mariana_of_austria fatherOf 24 | related philip_iv_of_spain mariana_of_austria marriedTo 25 | related mariana_of_austria charles_ii_of_spain motherOf 26 | related philip_iv_of_spain charles_ii_of_spain fatherOf -------------------------------------------------------------------------------- /org-tweetyproject-machinelearning/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | machinelearning 8 | 9 | TweetyProject (Machine Learning Library) 10 | 11 | 12 | org.tweetyproject 13 | parent-pom 14 | 1.29-SNAPSHOT 15 | .. 16 | 17 | 18 | 19 | org.tweetyproject 20 | math 21 | 1.29-SNAPSHOT 22 | 23 | 24 | tw.edu.ntu.csie 25 | libsvm 26 | 3.17 27 | 28 | 29 | junit 30 | junit 31 | 4.13.1 32 | test 33 | 34 | 35 | 36 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-mln/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | mln 8 | TweetyProject (Markov Logic Networks Library) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | 14 | 15 | 16 | junit 17 | junit 18 | 4.13.1 19 | test 20 | 21 | 22 | org.tweetyproject.logics 23 | fol 24 | 1.29-SNAPSHOT 25 | 26 | 27 | org.tweetyproject.logics 28 | pcl 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject.logics 33 | 34 | -------------------------------------------------------------------------------- /org-tweetyproject-machinelearning/src/main/java/org/tweetyproject/machinelearning/rl/mdp/State.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2022 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.machinelearning.rl.mdp; 20 | 21 | /** 22 | * A state in a Markov Decision Process 23 | * @author Matthias Thimm 24 | * 25 | */ 26 | public interface State { 27 | 28 | } 29 | -------------------------------------------------------------------------------- /org-tweetyproject-machinelearning/src/main/java/org/tweetyproject/machinelearning/rl/mdp/Action.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2022 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.machinelearning.rl.mdp; 20 | 21 | /** 22 | * An action in a Markov Decision Process 23 | * @author Matthias Thimm 24 | * 25 | */ 26 | public interface Action { 27 | 28 | } 29 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rdl/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.logics 8 | rdl 9 | TweetyProject (Reiter's Default Logic Library) 10 | 11 | org.tweetyproject 12 | parent-pom 13 | 1.29-SNAPSHOT 14 | .. 15 | 16 | 17 | 18 | org.tweetyproject 19 | commons 20 | 1.29-SNAPSHOT 21 | 22 | 23 | org.tweetyproject.logics 24 | fol 25 | 1.29-SNAPSHOT 26 | 27 | 28 | junit 29 | junit 30 | 4.13.1 31 | test 32 | 33 | 34 | 35 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-lp/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | lp 10 | jar 11 | 12 | TweetyProject (Logic Programming Argumentation Library) 13 | 14 | 15 | UTF-8 16 | 17 | 18 | 19 | 20 | org.tweetyproject.lp 21 | asp 22 | 1.29-SNAPSHOT 23 | 24 | 25 | junit 26 | junit 27 | 4.13.1 28 | test 29 | 30 | 31 | 32 | org.tweetyproject 33 | parent-pom 34 | 1.29-SNAPSHOT 35 | .. 36 | 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-agents/src/main/java/org/tweetyproject/agents/Perceivable.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.agents; 20 | 21 | /** 22 | * A perceivable object is some event occuring in an environment and perceivable 23 | * by an agent. 24 | * 25 | * @author Matthias Thimm 26 | */ 27 | public interface Perceivable { 28 | } 29 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-bipolar/src/main/java/org/tweetyproject/arg/bipolar/analysis/ProbabilisticJustificationAnalysis.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2022 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.bipolar.analysis; 20 | 21 | /** 22 | * probablisitic justification analysis 23 | * @author Matthias Thimm 24 | * 25 | */ 26 | public interface ProbabilisticJustificationAnalysis { 27 | } 28 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | bin/ 3 | .settings/ 4 | .classpath 5 | .project 6 | *.class 7 | 8 | .idea/ 9 | *.iml 10 | /org-tweetyproject-web/tweetyserver.log 11 | .vscode 12 | 13 | *.py 14 | *.log 15 | /.metadata 16 | .metadata/.log 17 | .metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources 18 | .metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi 19 | .metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat 20 | .metadata/.plugins/org.eclipse.m2e.logback.configuration/0.log 21 | .metadata/version.ini 22 | .DS_Store 23 | .metadata/.log 24 | .metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources 25 | .metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi 26 | .metadata/.plugins/org.eclipse.jdt.core/assumedExternalFilesCache 27 | .metadata/.plugins/org.eclipse.jdt.core/externalFilesCache 28 | .metadata/.plugins/org.eclipse.jdt.core/nonChainingJarsCache 29 | .metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat 30 | .metadata/.plugins/org.eclipse.jdt.ui/QualifiedTypeNameHistory.xml 31 | .metadata/.plugins/org.eclipse.m2e.logback.configuration/0.log 32 | .metadata/version.ini 33 | *.resources 34 | testBuild 35 | 36 | 37 | gurobi-9.1.0.jar 38 | isula-1.1.1.jar 39 | logs/server.log.lck 40 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-saf/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | saf 10 | 11 | TweetyProject (Structured Argumentation Frameworks Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject.arg 28 | dung 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject.logics 33 | pl 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-pcl/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.logics 9 | pcl 10 | 11 | TweetyProject (Probabilistic Conditional Logic Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | org.tweetyproject.logics 22 | cl 23 | 1.29-SNAPSHOT 24 | 25 | 26 | junit 27 | junit 28 | 4.13.1 29 | test 30 | 31 | 32 | org.tweetyproject.logics 33 | commons 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-rpcl/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.logics 8 | rpcl 9 | TweetyProject (Relational Probabilistic Conditional Logic Library) 11 | 12 | org.tweetyproject 13 | parent-pom 14 | 1.29-SNAPSHOT 15 | .. 16 | 17 | 18 | 19 | junit 20 | junit 21 | 4.13.1 22 | test 23 | 24 | 25 | org.tweetyproject.logics 26 | rcl 27 | 1.29-SNAPSHOT 28 | 29 | 30 | org.tweetyproject.logics 31 | pcl 32 | 1.29-SNAPSHOT 33 | 34 | 35 | 36 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-nlp/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.lp 9 | nlp 10 | jar 11 | 12 | TweetyProject (Nested Logic Programs) 13 | http://maven.apache.org 14 | 15 | 16 | UTF-8 17 | 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject.logics 28 | fol 29 | 1.29-SNAPSHOT 30 | 31 | 32 | 33 | org.tweetyproject 34 | parent-pom 35 | 1.29-SNAPSHOT 36 | .. 37 | 38 | 39 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Message.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent message objects in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Message { 26 | 27 | 28 | /** Default Constructor */ 29 | public Message(){} 30 | } 31 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/test/java/org/tweetyproject/sat/test/MinisatTest.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.sat.test; 2 | 3 | import static org.junit.Assert.assertFalse; 4 | import static org.junit.Assert.assertTrue; 5 | 6 | import org.junit.After; 7 | import org.junit.Before; 8 | import org.junit.Test; 9 | import org.tweetyproject.sat.SatSolver; 10 | import org.tweetyproject.sat.minisat.MinisatSatSolver; 11 | 12 | public class MinisatTest { 13 | 14 | private SatSolver solver; 15 | 16 | @Before 17 | public void setup() { 18 | this.solver = new MinisatSatSolver(); 19 | } 20 | 21 | @After 22 | public void tearDown() { 23 | this.solver.close(); 24 | } 25 | 26 | @Test 27 | public void taut1() { 28 | int var = solver.newVar(); 29 | solver.add(new int[] {var,-var}); 30 | assertTrue(solver.satisfiable()); 31 | } 32 | 33 | @Test 34 | public void unsat1() { 35 | int var = solver.newVar(); 36 | solver.add(new int[] {var}); 37 | solver.add(new int[] {-var}); 38 | assertFalse(solver.satisfiable()); 39 | } 40 | 41 | @Test 42 | public void sat1() { 43 | int var1 = solver.newVar(); 44 | int var2 = solver.newVar(); 45 | solver.add(new int[] {var1,var2}); 46 | assertTrue(solver.satisfiable()); 47 | } 48 | } 49 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/test/java/org/tweetyproject/sat/test/PicosatTest.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.sat.test; 2 | 3 | import static org.junit.Assert.assertFalse; 4 | import static org.junit.Assert.assertTrue; 5 | 6 | import org.junit.After; 7 | import org.junit.Before; 8 | import org.junit.Test; 9 | import org.tweetyproject.sat.SatSolver; 10 | import org.tweetyproject.sat.picosat.PicosatSatSolver; 11 | 12 | public class PicosatTest { 13 | 14 | private SatSolver solver; 15 | 16 | @Before 17 | public void setup() { 18 | this.solver = new PicosatSatSolver(); 19 | } 20 | 21 | @After 22 | public void tearDown() { 23 | this.solver.close(); 24 | } 25 | 26 | @Test 27 | public void taut1() { 28 | int var = solver.newVar(); 29 | solver.add(new int[] {var,-var}); 30 | assertTrue(solver.satisfiable()); 31 | } 32 | 33 | @Test 34 | public void unsat1() { 35 | int var = solver.newVar(); 36 | solver.add(new int[] {var}); 37 | solver.add(new int[] {-var}); 38 | assertFalse(solver.satisfiable()); 39 | } 40 | 41 | @Test 42 | public void sat1() { 43 | int var1 = solver.newVar(); 44 | int var2 = solver.newVar(); 45 | solver.add(new int[] {var1,var2}); 46 | assertTrue(solver.satisfiable()); 47 | } 48 | } 49 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/java/org/tweetyproject/action/query/syntax/ActionQuery.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.action.query.syntax; 20 | 21 | import org.tweetyproject.commons.Formula; 22 | 23 | /** 24 | * This is a basic interface for action queries. 25 | * 26 | * @author Sebastian Homann 27 | */ 28 | public interface ActionQuery extends Formula { 29 | 30 | } 31 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/test/java/org/tweetyproject/sat/test/LingelingTest.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.sat.test; 2 | 3 | import static org.junit.Assert.assertFalse; 4 | import static org.junit.Assert.assertTrue; 5 | 6 | import org.junit.After; 7 | import org.junit.Before; 8 | import org.junit.Test; 9 | import org.tweetyproject.sat.SatSolver; 10 | import org.tweetyproject.sat.lingeling.LingelingSatSolver; 11 | 12 | public class LingelingTest { 13 | 14 | private SatSolver solver; 15 | 16 | @Before 17 | public void setup() { 18 | this.solver = new LingelingSatSolver(); 19 | } 20 | 21 | @After 22 | public void tearDown() { 23 | this.solver.close(); 24 | } 25 | 26 | @Test 27 | public void taut1() { 28 | int var = solver.newVar(); 29 | solver.add(new int[] {var,-var}); 30 | assertTrue(solver.satisfiable()); 31 | } 32 | 33 | @Test 34 | public void unsat1() { 35 | int var = solver.newVar(); 36 | solver.add(new int[] {var}); 37 | solver.add(new int[] {-var}); 38 | assertFalse(solver.satisfiable()); 39 | } 40 | 41 | @Test 42 | public void sat1() { 43 | int var1 = solver.newVar(); 44 | int var2 = solver.newVar(); 45 | solver.add(new int[] {var1,var2}); 46 | assertTrue(solver.satisfiable()); 47 | } 48 | } 49 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | preferences 9 | 10 | TweetyProject (Preferences Library) 11 | 12 | org.tweetyproject 13 | parent-pom 14 | 1.29-SNAPSHOT 15 | 16 | 17 | 18 | org.tweetyproject 19 | math 20 | 1.29-SNAPSHOT 21 | 22 | 23 | org.tweetyproject 24 | plugin 25 | 1.29-SNAPSHOT 26 | 27 | 28 | org.hamcrest 29 | hamcrest-core 30 | 1.1 31 | 32 | 33 | junit 34 | junit 35 | 4.9 36 | test 37 | 38 | 39 | 40 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-dl/src/main/java/org/tweetyproject/logics/dl/syntax/DlAxiom.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.logics.dl.syntax; 2 | 3 | import java.util.Set; 4 | 5 | import org.tweetyproject.logics.commons.syntax.Predicate; 6 | import org.tweetyproject.logics.commons.syntax.interfaces.Atom; 7 | import org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula; 8 | 9 | /** 10 | * 11 | * The common abstract class for axioms of the description logic ALC. 12 | * Belief bases in description logics consist of axioms. 13 | * 14 | * @author Anna Gessler 15 | * 16 | */ 17 | public abstract class DlAxiom implements SimpleLogicalFormula { 18 | 19 | /**Default */ 20 | public DlAxiom(){ 21 | super(); 22 | } 23 | 24 | @Override 25 | public abstract DlSignature getSignature(); 26 | 27 | @Override 28 | public Set getAtoms() { 29 | throw new UnsupportedOperationException("getAtoms not supported by Description-Logic"); 30 | } 31 | 32 | @Override 33 | public abstract Set getPredicates(); 34 | 35 | @Override 36 | public Class getPredicateCls() { 37 | return Predicate.class; 38 | } 39 | 40 | @Override 41 | public boolean isLiteral() { 42 | return false; 43 | } 44 | 45 | @Override 46 | public abstract DlAxiom clone(); 47 | 48 | } 49 | -------------------------------------------------------------------------------- /org-tweetyproject-action/src/main/java/org/tweetyproject/action/description/syntax/CausalLaw.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.action.description.syntax; 20 | 21 | import org.tweetyproject.commons.Formula; 22 | 23 | /** 24 | * A basic interface representing a causal law. 25 | * 26 | * @author Sebastian Homann 27 | */ 28 | public interface CausalLaw 29 | extends Formula 30 | { 31 | 32 | } 33 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/test/java/org/tweetyproject/logics/translators/aspfol/ASPFOLTranslatorTest.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.translators.aspfol; 20 | 21 | import static org.junit.Assert.assertEquals; 22 | import org.junit.Test; 23 | 24 | 25 | public class ASPFOLTranslatorTest 26 | { 27 | @Test 28 | public void DisjunctionToHead() { 29 | assertEquals(true, true); 30 | } 31 | } 32 | -------------------------------------------------------------------------------- /org-tweetyproject-action/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | action 8 | TweetyProject (Action and Change) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | .. 14 | 15 | 16 | 17 | org.tweetyproject 18 | commons 19 | 1.29-SNAPSHOT 20 | 21 | 22 | org.tweetyproject.logics 23 | fol 24 | 1.29-SNAPSHOT 25 | 26 | 27 | org.tweetyproject.lp 28 | asp 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject.logics 33 | commons 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/semantics/ArgumentStatus.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.dung.semantics; 20 | 21 | /** 22 | * This enumeration enumerates the classical justification status of an argument. 23 | * @author Matthias Thimm 24 | */ 25 | public enum ArgumentStatus { 26 | /** IN */ 27 | IN, 28 | /** OUT */ 29 | OUT, 30 | /** UNDECIDED */ 31 | UNDECIDED 32 | } 33 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/NumberSet.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math; 20 | 21 | import java.util.Set; 22 | 23 | /** 24 | * This empty interface is only for the Interval- and IntervalSet-classes 25 | * 26 | * @author Bastian Wolf 27 | * 28 | * @param the type of the number 29 | */ 30 | 31 | public interface NumberSet extends Set { 32 | 33 | } 34 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-translators/src/test/java/org/tweetyproject/logics/translators/aspnlp/ASPNLPTranslatorTest.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.translators.aspnlp; 20 | 21 | import static org.junit.Assert.assertEquals; 22 | import org.junit.Test; 23 | 24 | 25 | public class ASPNLPTranslatorTest 26 | { 27 | @Test 28 | public void translateTwoDisjunctions() { 29 | assertEquals(true, true); 30 | } 31 | } 32 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Task.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent tasks in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Task extends Activity{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public Task() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Lane.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent lanes in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Lane extends BpmnElement{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public Lane () { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-commons/src/main/java/org/tweetyproject/commons/Formula.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.commons; 20 | 21 | /** 22 | * A formula is a basic language construct. 23 | * @author Matthias Thimm 24 | */ 25 | public interface Formula { 26 | 27 | /** 28 | * Returns the signature of the language of this formula. 29 | * @return the signature of the language of this formula. 30 | */ 31 | Signature getSignature(); 32 | } 33 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/EndEvent.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent end events in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class EndEvent extends Event{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public EndEvent() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-causal/src/test/java/org/tweetyproject/causal/reasoner/ArgumentationBasedCausalReasonerTest.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2025 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.causal.reasoner; 20 | 21 | public class ArgumentationBasedCausalReasonerTest extends AbstractCausalReasonerTestBase { 22 | 23 | @Override 24 | protected ArgumentationBasedCausalReasoner createReasoner() { 25 | return new ArgumentationBasedCausalReasoner(); 26 | } 27 | } -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Activity.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent Activities in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Activity extends BpmnNode{ 26 | 27 | /** 28 | * Create a new Activity 29 | */ 30 | public Activity() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Event.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent events of all kinds in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Event extends BpmnNode{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public Event() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-explanations/src/main/java/org/tweetyproject/arg/explanations/reasoner/acceptance/AbstractSequenceExplanationReasoner.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2025 The TweetyProject Team 18 | */ 19 | 20 | package org.tweetyproject.arg.explanations.reasoner.acceptance; 21 | 22 | /** 23 | * Abstract class for sequence-based explanation reasoners 24 | * 25 | * @author Lars Bengel 26 | */ 27 | public abstract class AbstractSequenceExplanationReasoner extends AbstractAcceptanceExplanationReasoner { 28 | } 29 | -------------------------------------------------------------------------------- /org-tweetyproject-causal/src/test/java/org/tweetyproject/causal/reasoner/SimpleCausalReasonerTest.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2025 The TweetyProject Team 18 | */ 19 | //package org.tweetyproject.causal.reasoner; 20 | // 21 | //import org.junit.jupiter.api.Disabled; 22 | // 23 | //public class SimpleCausalReasonerTest extends AbstractCausalReasonerTestBase { 24 | // 25 | // @Override 26 | // protected SimpleCausalReasoner createReasoner() { 27 | // return new SimpleCausalReasoner(); 28 | // } 29 | //} -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/StartEvent.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent the starting events of a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class StartEvent extends Event{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public StartEvent() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-prob/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.arg 8 | prob 9 | TweetyProject (Probabilistic Argumentation Library) 10 | 11 | org.tweetyproject 12 | parent-pom 13 | 1.29-SNAPSHOT 14 | 15 | 16 | 17 | org.junit.jupiter 18 | junit-jupiter 19 | 5.8.2 20 | 21 | 22 | org.tweetyproject.arg 23 | deductive 24 | 1.29-SNAPSHOT 25 | 26 | 27 | org.tweetyproject.arg 28 | dung 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject.logics 33 | commons 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Gateway.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent gateways of all kinds in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class Gateway extends BpmnNode{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public Gateway() { 31 | super(); 32 | } 33 | 34 | } 35 | 36 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/query/ConditionalTaskStep.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2019 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.adf.reasoner.query; 20 | 21 | /** 22 | * ConditionalTaskStep class 23 | * @author Mathias Hofer 24 | * 25 | */ 26 | public interface ConditionalTaskStep extends TaskStep { 27 | 28 | /** 29 | * 30 | * Return forAll 31 | * @return forAll 32 | */ 33 | Query forAll(); 34 | 35 | } 36 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/ExclusiveGateway.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent exclusive gateways in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class ExclusiveGateway extends Gateway{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public ExclusiveGateway() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/GatewayType.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * Possible types of gateways in a BPMN model 23 | * @author Benedikt Knopp 24 | */ 25 | public enum GatewayType { 26 | /** Exclusive */ 27 | Exclusive, 28 | /** Inclusive */ 29 | Inclusive, 30 | /** EventBased */ 31 | EventBased, 32 | /** Parallel */ 33 | Parallel 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/InclusiveGateway.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent inclusive gateways in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class InclusiveGateway extends Gateway { 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public InclusiveGateway() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | graphs 8 | TweetyProject (Graph Library) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | .. 14 | 15 | 16 | 17 | junit 18 | junit 19 | 4.13.1 20 | test 21 | 22 | 23 | org.tweetyproject 24 | commons 25 | 1.29-SNAPSHOT 26 | 27 | 28 | org.tweetyproject 29 | math 30 | 1.29-SNAPSHOT 31 | 32 | 33 | 34 | 35 | org.jgrapht 36 | jgrapht-ext 37 | 1.5.0 38 | 39 | 40 | 41 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp-beliefdynamics/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.lp.asp 9 | beliefdynamics 10 | jar 11 | 12 | TweetyProject (ASP Belief Dynamics) 13 | 14 | 15 | UTF-8 16 | 17 | 18 | 19 | 20 | org.tweetyproject.arg 21 | lp 22 | 1.29-SNAPSHOT 23 | 24 | 25 | org.tweetyproject.lp 26 | asp 27 | 1.29-SNAPSHOT 28 | 29 | 30 | junit 31 | junit 32 | 4.13.1 33 | 34 | 35 | 36 | org.tweetyproject 37 | parent-pom 38 | 1.29-SNAPSHOT 39 | .. 40 | 41 | 42 | -------------------------------------------------------------------------------- /org-tweetyproject-lp-asp/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.lp 9 | asp 10 | jar 11 | 12 | TweetyProject (ASP Library) 13 | 14 | 15 | UTF-8 16 | 17 | 18 | 19 | 20 | junit 21 | junit 22 | 4.13.1 23 | test 24 | 25 | 26 | org.tweetyproject 27 | commons 28 | 1.29-SNAPSHOT 29 | 30 | 31 | org.tweetyproject 32 | beliefdynamics 33 | 1.29-SNAPSHOT 34 | 35 | 36 | 37 | org.tweetyproject 38 | parent-pom 39 | 1.29-SNAPSHOT 40 | .. 41 | 42 | 43 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/IntermediateEvent.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * A class to represent intermediate events of all kinds in a BPMN Model 23 | * @author Benedikt Knopp 24 | */ 25 | public class IntermediateEvent extends Event{ 26 | 27 | /** 28 | * Create a new instance 29 | */ 30 | public IntermediateEvent() { 31 | super(); 32 | } 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/equivalence/kernel/LocalExpansionCompleteKernel.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.dung.equivalence.kernel; 2 | 3 | import org.tweetyproject.arg.dung.syntax.Argument; 4 | import org.tweetyproject.arg.dung.syntax.Attack; 5 | import org.tweetyproject.arg.dung.syntax.DungTheory; 6 | 7 | import java.util.Collection; 8 | import java.util.HashSet; 9 | 10 | public class LocalExpansionCompleteKernel extends EquivalenceKernel { 11 | @Override 12 | public Collection getRedundantAttacks(DungTheory theory) { 13 | Collection attacks = new HashSet<>(); 14 | for (Argument a : theory) { 15 | if (!theory.isAttackedBy(a,a)) continue; 16 | for (Argument b : theory) { 17 | if (a.equals(b)) continue; 18 | if (theory.isAttackedBy(b, b)) { 19 | attacks.add(new Attack(a, b)); 20 | } 21 | for (Argument c : theory) { 22 | if (c.equals(a)) continue; 23 | if (theory.isAttackedBy(a, b) && theory.isAttackedBy(b, c)) { 24 | attacks.add(new Attack(a, b)); 25 | break; 26 | } 27 | } 28 | } 29 | } 30 | //System.out.println(attacks); 31 | return attacks; 32 | } 33 | } 34 | 35 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/src/main/java/org/tweetyproject/logics/commons/syntax/interfaces/ProbabilityAware.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.commons.syntax.interfaces; 20 | 21 | import org.tweetyproject.math.probability.Probability; 22 | 23 | /** 24 | * 25 | * @author Tim Janus 26 | */ 27 | public interface ProbabilityAware { 28 | 29 | /** @return this formula's probability in the uniform distribution. */ 30 | public Probability getUniformProbability(); 31 | } 32 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/Operation.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.preferences; 20 | 21 | /** 22 | * This enumeration lists the possible operations used in 23 | * dynamic preference aggregation updates. 24 | * 25 | * 26 | *

Authors: Bastian Wolf

27 | */ 28 | public enum Operation { 29 | /** Operation to weaken a preference. */ 30 | WEAKEN, 31 | 32 | /** Operation to strengthen a preference. */ 33 | STRENGTHEN 34 | } -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/src/main/java/org/tweetyproject/logics/commons/syntax/interfaces/Invertable.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.commons.syntax.interfaces; 20 | 21 | /** 22 | * Formulas implementing this interface have a 23 | * complement 24 | * 25 | * @author Tim Janus 26 | */ 27 | public interface Invertable extends SimpleLogicalFormula { 28 | 29 | /** 30 | * @return the complement of this formula. 31 | */ 32 | public Invertable complement(); 33 | } 34 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-social/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | social 10 | 11 | TweetyProject (Social Abstract Argumentation Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | org.junit.jupiter 22 | junit-jupiter 23 | 5.8.2 24 | 25 | 26 | org.tweetyproject 27 | commons 28 | 1.29-SNAPSHOT 29 | 30 | 31 | org.tweetyproject 32 | graphs 33 | 1.29-SNAPSHOT 34 | 35 | 36 | org.tweetyproject.arg 37 | dung 38 | 1.29-SNAPSHOT 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /org-tweetyproject-machinelearning/src/main/java/org/tweetyproject/machinelearning/Classifier.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.machinelearning; 20 | 21 | /** 22 | * A classifier classifies observations into categories. 23 | * @author Matthias Thimm 24 | */ 25 | public interface Classifier { 26 | 27 | /** 28 | * Classifies the given observation. 29 | * @param obs some observation. 30 | * @return The category of the observation. 31 | */ 32 | public Category classify(Observation obs); 33 | 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/test/java/org/tweetyproject/arg/dung/equivalence/StrongEquivalenceTest.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.dung.equivalence; 2 | 3 | import org.junit.Assert; 4 | import org.junit.jupiter.api.Test; 5 | import org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel; 6 | import org.tweetyproject.arg.dung.syntax.*; 7 | 8 | class StrongEquivalenceTest { 9 | 10 | @Test 11 | void testIsEquivalentDungTheoryDungTheory() { 12 | //Arrange 13 | var af1 = new DungTheory(); 14 | var a1 = new Argument("a1"); 15 | var a2 = new Argument("a2"); 16 | var a3 = new Argument("a3"); 17 | af1.add(a1); 18 | af1.add(a2); 19 | af1.add(a3); 20 | af1.add(new Attack(a2, a2)); 21 | af1.add(new Attack(a3, a2)); 22 | 23 | var af2 = new DungTheory(); 24 | var a4 = new Argument("a1"); 25 | var a5 = new Argument("a2"); 26 | var a6 = new Argument("a3"); 27 | af2.add(a4); 28 | af2.add(a5); 29 | af2.add(a6); 30 | af2.add(new Attack(a5, a5)); 31 | af2.add(new Attack(a5, a6)); 32 | af2.add(new Attack(a6, a5)); 33 | 34 | var kernel = EquivalenceKernel.ADMISSIBLE; 35 | var strongEQ = new StrongEquivalence(EquivalenceKernel.ADMISSIBLE); 36 | 37 | //Act 38 | var k1 = kernel.getKernel(af1); 39 | var k2 = kernel.getKernel(af2); 40 | 41 | //Assert 42 | Assert.assertTrue(k1.equals(k2)); 43 | Assert.assertTrue(strongEQ.isEquivalent(af1, af2)); 44 | 45 | } 46 | 47 | } 48 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/aggregation/WeightVector.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.preferences.aggregation; 20 | 21 | /** 22 | * This interface is used for 23 | * @author Bastian Wolf 24 | * 25 | */ 26 | public interface WeightVector { 27 | 28 | /** 29 | * returns the weight of an 30 | * @param n the given parameter to compare with 31 | * @return the weight for the given parameter 32 | */ 33 | public int getWeight(int n); 34 | 35 | } 36 | -------------------------------------------------------------------------------- /org-tweetyproject-agents-dialogues/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.agents 9 | dialogues 10 | 11 | TweetyProject (Dialogue Systems Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | 22 | org.junit.jupiter 23 | junit-jupiter 24 | 5.8.2 25 | 26 | 27 | org.tweetyproject 28 | agents 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject.arg 33 | saf 34 | 1.29-SNAPSHOT 35 | 36 | 37 | org.tweetyproject.arg 38 | prob 39 | 1.29-SNAPSHOT 40 | 41 | 42 | 43 | 44 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-bipolar/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | bipolar 10 | 11 | TweetyProject (Bipolar Argumentation Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | 22 | junit 23 | junit 24 | 4.13.1 25 | test 26 | 27 | 28 | org.tweetyproject.arg 29 | dung 30 | 1.29-SNAPSHOT 31 | 32 | 33 | org.tweetyproject 34 | commons 35 | 1.29-SNAPSHOT 36 | 37 | 38 | org.tweetyproject 39 | graphs 40 | 1.29-SNAPSHOT 41 | 42 | 43 | 44 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-deductive/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | deductive 10 | 11 | TweetyProject (Deductive Argumentation Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject.logics 28 | pl 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | graphs 34 | 1.29-SNAPSHOT 35 | 36 | 37 | org.tweetyproject.arg 38 | dung 39 | 1.29-SNAPSHOT 40 | 41 | 42 | 43 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/java/org/tweetyproject/graphs/WeightedEdge.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.graphs; 20 | 21 | /** 22 | * Interface for weighted edges. 23 | * 24 | * @author Matthias Thimm 25 | * @param The type of node this edge connects 26 | * @param The type of weight 27 | */ 28 | public interface WeightedEdge { 29 | 30 | /** 31 | * Returns the weight of this edge. 32 | * @return the weight of this edge. 33 | */ 34 | public T getWeight(); 35 | } 36 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/transform/processor/Processor.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2019 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.adf.transform.processor; 20 | 21 | /** 22 | * Processor interface 23 | * @author Mathias Hofer 24 | * 25 | * @param the input 26 | * @param the output 27 | */ 28 | @FunctionalInterface 29 | public interface Processor { 30 | 31 | /** 32 | * Process 33 | * @param in input 34 | * @return output 35 | */ 36 | O process(I in); 37 | 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.logics 9 | commons 10 | jar 11 | 12 | TweetyProject (Commons Logic) 13 | http://maven.apache.org 14 | 15 | 16 | UTF-8 17 | 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject 28 | commons 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | math 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | org.tweetyproject 39 | parent-pom 40 | 1.29-SNAPSHOT 41 | .. 42 | 43 | 44 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/TaskType.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | /** 22 | * Possible types of tasks in a BPMN model 23 | * @author Benedikt Knopp 24 | */ 25 | public enum TaskType { 26 | /**Send*/ 27 | Send, 28 | /**Receive*/ 29 | Receive, 30 | /**User*/ 31 | User, 32 | /**Manual*/ 33 | Manual, 34 | /**BusinessRule*/ 35 | BusinessRule, 36 | /**Service*/ 37 | Service, 38 | /**Script*/ 39 | Script 40 | } 41 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/Relation.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.preferences; 20 | 21 | /** 22 | * This enumeration lists the possible relations between two elements 23 | * in preference orders. 24 | * 25 | *

Authors: Bastian Wolf

26 | */ 27 | public enum Relation { 28 | /** Indicates that one element is strictly less preferred than another. */ 29 | LESS, 30 | 31 | /** Indicates that one element is less than or equally preferred to another. */ 32 | LESS_EQUAL 33 | } 34 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/func/SimpleRealValuedFunction.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math.func; 20 | 21 | import java.util.Vector; 22 | 23 | import org.tweetyproject.math.term.Term; 24 | 25 | /** 26 | * A real-valued function. 27 | * 28 | * @author Matthias Thimm 29 | * 30 | */ 31 | public interface SimpleRealValuedFunction extends SimpleFunction,Double>{ 32 | /** 33 | * getTerm 34 | * @param element elements 35 | * @return Term 36 | */ 37 | public Term getTerm(Vector element); 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-fol/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.logics 9 | fol 10 | jar 11 | 12 | TweetyProject (First-Order-Logic) 13 | https://github.com/TweetyProjectTeam/TweetyProject 14 | 15 | 16 | UTF-8 17 | 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject.logics 28 | commons 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | plugin 34 | 1.29-SNAPSHOT 35 | 36 | 37 | 38 | org.tweetyproject 39 | parent-pom 40 | 1.29-SNAPSHOT 41 | .. 42 | 43 | 44 | -------------------------------------------------------------------------------- /org-tweetyproject-machinelearning/src/main/java/org/tweetyproject/machinelearning/rl/mdp/Policy.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2022 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.machinelearning.rl.mdp; 20 | 21 | /** 22 | * A policy (map from states to actions) for Markov Decision Process 23 | * @author Matthias Thimm 24 | * 25 | * @param The type of states 26 | * @param The type of actions 27 | */ 28 | public interface Policy { 29 | /** 30 | * 31 | * Return a action 32 | * @param s state 33 | * @return action 34 | */ 35 | public A execute(S s); 36 | } 37 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/query/ConditionlessTaskStep.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2019 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.adf.reasoner.query; 20 | 21 | import org.tweetyproject.arg.adf.syntax.Argument; 22 | 23 | /** 24 | * ConditionlessTaskStep class 25 | * @author Mathias Hofer 26 | * 27 | */ 28 | public interface ConditionlessTaskStep extends TaskStep { 29 | 30 | /** 31 | * where 32 | * @param condition condition 33 | * @return where 34 | */ 35 | ConditionalTaskStep where(Argument condition); 36 | 37 | } 38 | -------------------------------------------------------------------------------- /org-tweetyproject-beliefdynamics/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | beliefdynamics 8 | TweetyProject (Belief Dynamics Library) 9 | 10 | org.tweetyproject 11 | parent-pom 12 | 1.29-SNAPSHOT 13 | 14 | 15 | 16 | org.junit.jupiter 17 | junit-jupiter 18 | 5.8.2 19 | 20 | 21 | org.tweetyproject 22 | agents 23 | 1.29-SNAPSHOT 24 | 25 | 26 | org.tweetyproject.arg 27 | deductive 28 | 1.29-SNAPSHOT 29 | 30 | 31 | org.tweetyproject.arg 32 | dung 33 | 1.29-SNAPSHOT 34 | 35 | 36 | org.tweetyproject 37 | comparator 38 | 1.29-SNAPSHOT 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/BpmnFormula.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | import org.tweetyproject.commons.Formula; 22 | import org.tweetyproject.commons.Signature; 23 | 24 | /** 25 | * A class to represent parts of a BPMN Model as a formula 26 | * @author Benedikt Knopp 27 | */ 28 | public class BpmnFormula implements Formula { 29 | 30 | @Override 31 | public Signature getSignature() { 32 | return null; 33 | } 34 | 35 | 36 | /** Default Constructor */ 37 | public BpmnFormula(){} 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/src/main/java/org/tweetyproject/arg/delp/parser/DelpParserConstants.java: -------------------------------------------------------------------------------- 1 | /* Generated By:JavaCC: Do not edit this line. DelpParserConstants.java */ 2 | package org.tweetyproject.arg.delp.parser; 3 | 4 | 5 | /** 6 | * This interface defines constants used by the `DelpParser` for token 7 | * identification and lexical states. These constants are generated by JavaCC 8 | * and represent the various tokens and lexical states used during parsing. 9 | * 10 | *

11 | * The interface includes both integer constants for token IDs and a 12 | * corresponding array of literal token values for easier reference and debugging. 13 | *

14 | * 15 | *

Note: This file is generated by JavaCC and should not be modified manually.

16 | */ 17 | public interface DelpParserConstants { 18 | 19 | /** End of File (EOF) token ID. */ 20 | int EOF = 0; 21 | 22 | /** RegularExpression ID for a name token. */ 23 | int NAME = 6; 24 | 25 | /** RegularExpression ID for a quoted string token. */ 26 | int QUOTED = 7; 27 | 28 | /** Default lexical state. */ 29 | int DEFAULT = 0; 30 | 31 | /** Literal token values for easy reference. */ 32 | String[] tokenImage = { 33 | "", 34 | "\" \"", 35 | "\"\\t\"", 36 | "\"\\n\"", 37 | "\"\\r\"", 38 | "", 39 | "", 40 | "", 41 | "\".\"", 42 | "\"<-\"", 43 | "\",\"", 44 | "\"-<\"", 45 | "\"~\"", 46 | "\"(\"", 47 | "\")\"", 48 | }; 49 | 50 | } -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/parser/ApxFilenameFilter.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.dung.parser; 20 | 21 | import java.io.File; 22 | import java.io.FilenameFilter; 23 | 24 | /** 25 | * Filename filter for APX files. 26 | * 27 | * @author Matthias Thimm 28 | */ 29 | public class ApxFilenameFilter implements FilenameFilter{ 30 | 31 | /* (non-Javadoc) 32 | * @see java.io.FilenameFilter#accept(java.io.File, java.lang.String) 33 | */ 34 | @Override 35 | public boolean accept(File dir, String name) { 36 | return name.endsWith(".apx"); 37 | } 38 | 39 | } -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/parser/TgfFilenameFilter.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2021 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.dung.parser; 20 | 21 | import java.io.File; 22 | import java.io.FilenameFilter; 23 | 24 | /** 25 | * Filename filter for TGF files. 26 | * 27 | * @author Matthias Thimm 28 | */ 29 | public class TgfFilenameFilter implements FilenameFilter{ 30 | 31 | /* (non-Javadoc) 32 | * @see java.io.FilenameFilter#accept(java.io.File, java.lang.String) 33 | */ 34 | @Override 35 | public boolean accept(File dir, String name) { 36 | return name.endsWith(".tgf"); 37 | } 38 | 39 | } -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/src/main/java/org/tweetyproject/logics/commons/syntax/interfaces/Disjunctable.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.commons.syntax.interfaces; 20 | 21 | /** 22 | * Formulas implementing this interface can be connected using 23 | * OR. 24 | * 25 | * @author Tim Janus 26 | */ 27 | public interface Disjunctable extends SimpleLogicalFormula { 28 | 29 | /** 30 | * @param f a formula to be combined with OR and this. 31 | * @return a disjunction of this and the given formula. 32 | */ 33 | public SimpleLogicalFormula combineWithOr(Disjunctable f); 34 | } 35 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/func/MaxFunction.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math.func; 20 | 21 | /** 22 | * The maximum function. 23 | * @author Matthias Thimm 24 | */ 25 | public class MaxFunction implements BinaryFunction{ 26 | 27 | 28 | /** Constructor */ 29 | public MaxFunction() { 30 | } 31 | 32 | 33 | /* (non-Javadoc) 34 | * @see org.tweetyproject.math.func.BinaryFunction#eval(java.lang.Object, java.lang.Object) 35 | */ 36 | @Override 37 | public Double eval(Double val1, Double val2) { 38 | return Math.max(val1, val2); 39 | } 40 | 41 | } 42 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/func/SimpleFunction.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math.func; 20 | 21 | /** 22 | * Encapsulates common methods of mathematical functions with a single parameter. 23 | * 24 | * @author Matthias Thimm 25 | * @param The type of the domain 26 | * @param The type of the co-domain 27 | */ 28 | public interface SimpleFunction { 29 | 30 | /** 31 | * Evaluates the function for the given element. 32 | * @param x some element 33 | * @return the value of the element. 34 | */ 35 | public S eval(T x); 36 | } 37 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/src/main/java/org/tweetyproject/logics/commons/syntax/interfaces/ClassicalFormula.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.commons.syntax.interfaces; 20 | 21 | 22 | 23 | /** 24 | * This interface models a classical formula, i.e. a formula that can be connected 25 | * to other classical formulas using AND and OR and where the complement is 26 | * well-defined. 27 | * 28 | * @author Matthias Thimm 29 | * @author Tim Janus 30 | */ 31 | public interface ClassicalFormula extends 32 | Disjunctable, 33 | Conjunctable, 34 | Invertable, 35 | ProbabilityAware { 36 | } 37 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-dl/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject 9 | parent-pom 10 | 1.29-SNAPSHOT 11 | 12 | dl 13 | 14 | 15 | org.tweetyproject 16 | math 17 | 1.29-SNAPSHOT 18 | 19 | 20 | org.tweetyproject.logics 21 | fol 22 | 1.29-SNAPSHOT 23 | 24 | 25 | org.tweetyproject.logics 26 | commons 27 | 1.29-SNAPSHOT 28 | 29 | 30 | junit 31 | junit 32 | 4.13.1 33 | test 34 | 35 | 36 | TweetyProject (Description Logics) 37 | https://github.com/TweetyProjectTeam/TweetyProject 38 | org.tweetyproject.logics 39 | 40 | UTF-8 41 | 42 | 43 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-adf/src/main/java/org/tweetyproject/arg/adf/reasoner/sat/decomposer/MostBipolarParentsDecomposer.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.arg.adf.reasoner.sat.decomposer; 2 | 3 | import java.util.Comparator; 4 | import java.util.Map; 5 | import java.util.Map.Entry; 6 | import java.util.Set; 7 | import java.util.stream.Collectors; 8 | 9 | import org.tweetyproject.arg.adf.semantics.link.Link; 10 | import org.tweetyproject.arg.adf.syntax.Argument; 11 | import org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework; 12 | 13 | /** 14 | * Takes the arguments with the most bipolar parents. 15 | * 16 | * @author Mathias Hofer 17 | * 18 | */ 19 | public class MostBipolarParentsDecomposer extends AbstractDecomposer { 20 | /** 21 | * 22 | * @param adf AbstractDialecticalFramework 23 | */ 24 | public MostBipolarParentsDecomposer(AbstractDialecticalFramework adf) { 25 | super(adf); 26 | } 27 | 28 | @Override 29 | Set partition(AbstractDialecticalFramework adf, int size) { 30 | Map outgoingDependent = adf.linksStream() 31 | .collect(Collectors.groupingBy(Link::getTo, Collectors.filtering(l -> l.getType().isBipolar(), Collectors.counting()))); 32 | 33 | Set mostDependents = outgoingDependent.entrySet().stream() 34 | .sorted(Comparator.comparing(Entry::getValue, Comparator.reverseOrder())) 35 | .limit(size) 36 | .map(Entry::getKey) 37 | .collect(Collectors.toSet()); 38 | 39 | return mostDependents; 40 | } 41 | 42 | } 43 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/resources/aiggraph/graph.template: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | Graph Editor 9 | 10 | 11 | 12 | 13 |
14 | 15 |
16 | 17 | 39 | 40 | 41 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-bpm/src/main/java/org/tweetyproject/logics/bpm/syntax/Association.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2020 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.bpm.syntax; 20 | 21 | import org.tweetyproject.graphs.UndirectedEdge; 22 | 23 | /** 24 | * A class to represent Associations in a BPMN Model 25 | * @author Benedikt Knopp 26 | */ 27 | public class Association extends UndirectedEdge{ 28 | 29 | /** 30 | * Create a new Association between two nodes 31 | * @param nodeA a node 32 | * @param nodeB a node 33 | */ 34 | public Association(BpmnNode nodeA, BpmnNode nodeB) { 35 | super(nodeA, nodeB); 36 | } 37 | 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/func/FractionSequenceFunction.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math.func; 20 | 21 | /** 22 | * The function 1/x. 23 | * 24 | * @author Matthias Thimm 25 | */ 26 | public class FractionSequenceFunction implements SimpleFunction{ 27 | 28 | /** Constructor */ 29 | public FractionSequenceFunction() { 30 | } 31 | 32 | 33 | /* (non-Javadoc) 34 | * @see org.tweetyproject.math.func.SimpleFunction#eval(java.lang.Object) 35 | */ 36 | @Override 37 | public Double eval(Double x) { 38 | if(x != 0) return 1/x; 39 | throw new RuntimeException("Division by zero"); 40 | } 41 | } -------------------------------------------------------------------------------- /org-tweetyproject-arg-aba/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | aba 10 | 11 | TweetyProject (ABA Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject 28 | commons 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | graphs 34 | 1.29-SNAPSHOT 35 | 36 | 37 | org.tweetyproject.arg 38 | dung 39 | 1.29-SNAPSHOT 40 | 41 | 42 | org.tweetyproject.arg 43 | aspic 44 | 1.29-SNAPSHOT 45 | 46 | 47 | 48 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-delp/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | org.tweetyproject.arg 8 | delp 9 | TweetyProject (Defeasible Logic Programming Library) 10 | 11 | 12 | org.tweetyproject 13 | parent-pom 14 | 1.29-SNAPSHOT 15 | .. 16 | 17 | 18 | 19 | 20 | org.tweetyproject.logics 21 | fol 22 | 1.29-SNAPSHOT 23 | 24 | 25 | org.tweetyproject.arg 26 | dung 27 | 1.29-SNAPSHOT 28 | 29 | 30 | args4j 31 | args4j 32 | 2.0.26 33 | 34 | 35 | junit 36 | junit 37 | 4.13.1 38 | test 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/src/main/java/org/tweetyproject/arg/dung/syntax/Claim.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2021 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.arg.dung.syntax; 20 | /** 21 | * a claim for an argument 22 | * @author Sebastian Franke 23 | * 24 | */ 25 | public class Claim{ 26 | /** 27 | * name 28 | */ 29 | String claim; 30 | /** 31 | * 32 | * @param claim the name 33 | */ 34 | public Claim(String claim) { 35 | this.claim = claim; 36 | } 37 | /** 38 | * 39 | * @return the claim 40 | */ 41 | public String getClaim() { 42 | return this.claim; 43 | } 44 | /** 45 | * return the name 46 | */ 47 | public String toString() { 48 | return claim; 49 | } 50 | } 51 | -------------------------------------------------------------------------------- /org-tweetyproject-graphs/src/main/java/org/tweetyproject/graphs/SimpleNode.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.graphs; 20 | 21 | /** 22 | * A simple node of a graph with a name. 23 | * 24 | * @author Matthias Thimm 25 | */ 26 | public class SimpleNode implements Node{ 27 | 28 | /** The name of the node */ 29 | private String name; 30 | 31 | /** 32 | * Creates a new node with the given name. 33 | * @param s some string. 34 | */ 35 | public SimpleNode(String s){ 36 | this.name = s; 37 | } 38 | 39 | /* (non-Javadoc) 40 | * @see java.lang.Object#toString() 41 | */ 42 | public String toString(){ 43 | return this.name; 44 | } 45 | 46 | } 47 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-aspic/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | aspic 10 | 11 | TweetyProject (ASPIC Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject 28 | commons 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | graphs 34 | 1.29-SNAPSHOT 35 | 36 | 37 | org.tweetyproject.arg 38 | dung 39 | 1.29-SNAPSHOT 40 | 41 | 42 | org.tweetyproject 43 | comparator 44 | 1.29-SNAPSHOT 45 | 46 | 47 | 48 | -------------------------------------------------------------------------------- /org-tweetyproject-arg-dung/pom.xml: -------------------------------------------------------------------------------- 1 | 6 | 4.0.0 7 | 8 | org.tweetyproject.arg 9 | dung 10 | 11 | TweetyProject (Dung Argumentation Library) 12 | 13 | 14 | org.tweetyproject 15 | parent-pom 16 | 1.29-SNAPSHOT 17 | .. 18 | 19 | 20 | 21 | junit 22 | junit 23 | 4.13.1 24 | test 25 | 26 | 27 | org.tweetyproject 28 | commons 29 | 1.29-SNAPSHOT 30 | 31 | 32 | org.tweetyproject 33 | graphs 34 | 1.29-SNAPSHOT 35 | 36 | 37 | org.tweetyproject 38 | math 39 | 1.29-SNAPSHOT 40 | 41 | 42 | org.tweetyproject.logics 43 | pl 44 | 1.29-SNAPSHOT 45 | 46 | 47 | 48 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/aggregation/DynamicVetoScoringPreferenceAggregator.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.preferences.aggregation; 20 | 21 | /** 22 | * Creates an dynamic aggregator for veto scoring 23 | * 24 | * @author Bastian Wolf 25 | * 26 | * @param generic preference order type 27 | */ 28 | 29 | public class DynamicVetoScoringPreferenceAggregator extends DynamicScoringPreferenceAggregator { 30 | 31 | /** 32 | * Constructor 33 | * @param min the minimum 34 | */ 35 | public DynamicVetoScoringPreferenceAggregator(int min) { 36 | super(new SingleValeWeightVector(min)); 37 | } 38 | 39 | } 40 | -------------------------------------------------------------------------------- /org-tweetyproject-agents/src/main/java/org/tweetyproject/agents/ProtocolTerminatedException.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.agents; 20 | 21 | /** 22 | * A ProtocolTerminatedException is thrown when 23 | * a protocol is asked to perform a step but has already terminated. 24 | * 25 | * @author Matthias Thimm 26 | */ 27 | public class ProtocolTerminatedException extends Exception { 28 | 29 | private static final long serialVersionUID = 1L; 30 | 31 | /** 32 | * Creates a new ProtocolTerminatedException. 33 | */ 34 | public ProtocolTerminatedException(){ 35 | super("No further step possible: protocol has already terminated."); 36 | } 37 | 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-logics-commons/src/main/java/org/tweetyproject/logics/commons/syntax/interfaces/Conjunctable.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.logics.commons.syntax.interfaces; 20 | 21 | /** 22 | * Formulas implementing this interface can be connected by using 23 | * AND. 24 | * 25 | * @author Tim Janus 26 | */ 27 | public interface Conjunctable extends SimpleLogicalFormula { 28 | 29 | /** 30 | * Returns a conjunction of this and the given formula. 31 | * @param f a formula to be combined with AND and this. 32 | * @return a conjunction of this and the given formula. 33 | */ 34 | public SimpleLogicalFormula combineWithAnd(Conjunctable f); 35 | } 36 | -------------------------------------------------------------------------------- /org-tweetyproject-agents/src/main/java/org/tweetyproject/agents/ProtocolListener.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.agents; 20 | 21 | /** 22 | * A protocol listener listens on a protocol and is notified whenever an action is executed. 23 | * 24 | * @author Matthias Thimm 25 | */ 26 | public interface ProtocolListener { 27 | 28 | /** 29 | * This method is called when an action has been performed in the given protocol. 30 | * @param actionEvent an action event. 31 | */ 32 | public void actionPerformed(ActionEvent actionEvent); 33 | 34 | /** 35 | * This method is called when the protocol terminates. 36 | */ 37 | public void protocolTerminated(); 38 | } 39 | -------------------------------------------------------------------------------- /org-tweetyproject-math/src/main/java/org/tweetyproject/math/term/BinaryVariable.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.math.term; 20 | 21 | /** 22 | * This class models a binary variable as a mathematical term. 23 | * @author Matthias Thimm 24 | */ 25 | public class BinaryVariable extends Variable{ 26 | 27 | /** 28 | * Creates a new binary variable with the given name. 29 | * @param name the name of the variable 30 | */ 31 | public BinaryVariable(String name) { 32 | super(name,0,1); 33 | } 34 | 35 | /* (non-Javadoc) 36 | * @see org.tweetyproject.math.term.Term#isInteger() 37 | */ 38 | @Override 39 | public boolean isInteger() { 40 | return true; 41 | } 42 | } 43 | 44 | -------------------------------------------------------------------------------- /org-tweetyproject-sat/src/main/java/org/tweetyproject/sat/picosat/Binding.java: -------------------------------------------------------------------------------- 1 | package org.tweetyproject.sat.picosat; 2 | 3 | final class Binding { 4 | 5 | static { 6 | String osName = System.getProperty("os.name").toLowerCase(); 7 | if (osName.contains("win")) { 8 | System.load(Binding.class.getResource("/picosat.dll").getPath()); 9 | } else if (osName.contains("nux")) { 10 | System.load(Binding.class.getResource("/picosat.so").getPath()); 11 | } 12 | } 13 | 14 | static final int NO_DECISION_LIMIT = -1; 15 | 16 | static native void addClause(long handle, int lit); 17 | 18 | static native void addClause(long handle, int lit1, int lit2); 19 | 20 | static native void addClause(long handle, int lit1, int lit2, int lit3); 21 | 22 | static native void addClause(long handle, int[] clause); 23 | 24 | /* 25 | * The following methods directly correspond to picosat calls as defined 26 | * in picosat.h 27 | */ 28 | static native long init(); 29 | 30 | static native void reset(long handle); 31 | 32 | static native void add(long handle, int lit); 33 | 34 | static native void addAdoLit(long handle, int lit); 35 | 36 | static native void assume(long handle, int lit); 37 | 38 | static native void setPropagationLimit(long handle, long limit); 39 | 40 | static native boolean sat(long handle, long limit); 41 | 42 | static native boolean deref(long handle, int lit); 43 | 44 | static native boolean derefPartial(long handle, int lit); 45 | 46 | static native boolean inconsistent(long handle); 47 | 48 | } 49 | -------------------------------------------------------------------------------- /org-tweetyproject-preferences/src/main/java/org/tweetyproject/preferences/events/UpdateListener.java: -------------------------------------------------------------------------------- 1 | /* 2 | * This file is part of "TweetyProject", a collection of Java libraries for 3 | * logical aspects of artificial intelligence and knowledge representation. 4 | * 5 | * TweetyProject is free software: you can redistribute it and/or modify 6 | * it under the terms of the GNU Lesser General Public License version 3 as 7 | * published by the Free Software Foundation. 8 | * 9 | * This program is distributed in the hope that it will be useful, 10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 | * GNU Lesser General Public License for more details. 13 | * 14 | * You should have received a copy of the GNU Lesser General Public License 15 | * along with this program. If not, see . 16 | * 17 | * Copyright 2016 The TweetyProject Team 18 | */ 19 | package org.tweetyproject.preferences.events; 20 | 21 | import java.util.EventListener; 22 | //Event-Listener 23 | 24 | /** 25 | * The interface for UpdateListener used for dynamic preference aggregation 26 | * 27 | * @author Bastian Wolf 28 | * 29 | * @param the generic element's type 30 | */ 31 | 32 | public interface UpdateListener extends EventListener { 33 | 34 | /** 35 | * UpdateListener is informed as soon as an update occurs 36 | * @param e the update event observed by the listener 37 | */ 38 | void eventOccurred(UpdateEvent e); 39 | 40 | } 41 | -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/aba/styles.css: -------------------------------------------------------------------------------- 1 | li{ 2 | margin-bottom: 4px; 3 | } 4 | 5 | a{ 6 | color: black; 7 | } 8 | 9 | a:hover{ 10 | text-decoration: none; 11 | } 12 | 13 | #overlay { 14 | position: fixed; 15 | z-index:199; 16 | top: 0px; 17 | left: 0px; 18 | height:100%; 19 | width:100%; 20 | } 21 | 22 | * html #overlay { /* ie6 */ 23 | position: absolute; 24 | height: expression(document.body.scrollHeight > document.body. 25 | offsetHeight ? document.body.scrollHeight : document.body. 26 | offsetHeight + 'px'); 27 | } 28 | 29 | .overlayBG { 30 | background-color:#000; 31 | -ms-filter: "Alpha(Opacity=60)"; /* IE 8 */ 32 | filter:alpha(opacity=60); /* IE5-7 */ 33 | -moz-opacity: 0.6; /* Mozilla */ 34 | opacity: 0.6; 35 | } 36 | 37 | #lightBox { 38 | position:fixed; 39 | left:50%; 40 | top:200px; 41 | margin-left:-375px; 42 | z-index:200; 43 | width:750px; 44 | background-color:#fff; 45 | visibility:hidden; 46 | -moz-border-radius: 8px; 47 | -webkit-border-radius: 8px; 48 | border-radius: 8px; 49 | border: 1px solid black; 50 | padding:5px; 51 | text-align: left; 52 | } 53 | 54 | * html #lightBox { /* ie6 */ 55 | position: absolute; 56 | margin-top: expression(0 - parseInt(this.offsetHeight / 2) + 57 | (TBWindowMargin = document.documentElement && 58 | document.documentElement.scrollTop || 59 | document.body.scrollTop) + 'px'); 60 | } 61 | 62 | span .latex{ 63 | vertical-align: middle; 64 | } 65 | 66 | p .latex{ 67 | vertical-align: middle; 68 | } 69 | 70 | li .latex{ 71 | vertical-align: middle; 72 | } 73 | 74 | 75 | .measure_div{ 76 | font-size: 10pt; 77 | } -------------------------------------------------------------------------------- /org-tweetyproject-web/src/webapp/delp/styles.css: -------------------------------------------------------------------------------- 1 | li{ 2 | margin-bottom: 4px; 3 | } 4 | 5 | a{ 6 | color: black; 7 | } 8 | 9 | a:hover{ 10 | text-decoration: none; 11 | } 12 | 13 | #overlay { 14 | position: fixed; 15 | z-index:199; 16 | top: 0px; 17 | left: 0px; 18 | height:100%; 19 | width:100%; 20 | } 21 | 22 | * html #overlay { /* ie6 */ 23 | position: absolute; 24 | height: expression(document.body.scrollHeight > document.body. 25 | offsetHeight ? document.body.scrollHeight : document.body. 26 | offsetHeight + 'px'); 27 | } 28 | 29 | .overlayBG { 30 | background-color:#000; 31 | -ms-filter: "Alpha(Opacity=60)"; /* IE 8 */ 32 | filter:alpha(opacity=60); /* IE5-7 */ 33 | -moz-opacity: 0.6; /* Mozilla */ 34 | opacity: 0.6; 35 | } 36 | 37 | #lightBox { 38 | position:fixed; 39 | left:50%; 40 | top:200px; 41 | margin-left:-375px; 42 | z-index:200; 43 | width:750px; 44 | background-color:#fff; 45 | visibility:hidden; 46 | -moz-border-radius: 8px; 47 | -webkit-border-radius: 8px; 48 | border-radius: 8px; 49 | border: 1px solid black; 50 | padding:5px; 51 | text-align: left; 52 | } 53 | 54 | * html #lightBox { /* ie6 */ 55 | position: absolute; 56 | margin-top: expression(0 - parseInt(this.offsetHeight / 2) + 57 | (TBWindowMargin = document.documentElement && 58 | document.documentElement.scrollTop || 59 | document.body.scrollTop) + 'px'); 60 | } 61 | 62 | span .latex{ 63 | vertical-align: middle; 64 | } 65 | 66 | p .latex{ 67 | vertical-align: middle; 68 | } 69 | 70 | li .latex{ 71 | vertical-align: middle; 72 | } 73 | 74 | 75 | .measure_div{ 76 | font-size: 10pt; 77 | } --------------------------------------------------------------------------------