Group: SF Tweety Logics
2.Tweety (Propositional Logic)8 usages
net.sf.tweety.logics » pl GPL
Tweety (Propositional Logic)
Last Release on Jul 14, 2020
3.Tweety (Commons Logic)7 usages
net.sf.tweety.logics » commons GPL
Tweety (Commons Logic)
Last Release on Jul 14, 2020
4.Tweety (Conditional)4 usages
net.sf.tweety.logics » cl GPL
Tweety (Conditional)
Last Release on Jul 14, 2020
5.Tweety (Probabilistic Conditional Logic Library)4 usages
net.sf.tweety.logics » pcl GPL
Tweety (Probabilistic Conditional Logic Library)
Last Release on Jul 14, 2020
6.Tweety (Relational Conditional Logic Library)2 usages
net.sf.tweety.logics » rcl GPL
Tweety (Relational Conditional Logic Library)
Last Release on Jul 14, 2020
7.Tweety (Relational Probabilistic Conditional Logic Library)2 usages
net.sf.tweety.logics » rpcl GPL
Tweety (Relational Probabilistic Conditional Logic Library)
Last Release on Jul 14, 2020
10.Tweety (Epistemic Logic Library)1 usages
net.sf.tweety.logics » el GPL
Tweety (Epistemic Logic Library)
Last Release on Jan 16, 2018
11.Tweety (Modal Logic Library)1 usages
net.sf.tweety.logics » ml GPL
Tweety (Modal Logic Library)
Last Release on Jul 14, 2020
12.Tweety (Markov Logic Networks Library)1 usages
net.sf.tweety.logics » mln GPL
Tweety (Markov Logic Networks Library)
Last Release on Jul 14, 2020
13.Tweety (Quantified Boolean Formulas)1 usages
net.sf.tweety.logics » qbf GPL
Tweety (Quantified Boolean Formulas)
Last Release on Jul 14, 2020
14.Tweety (Reiter's Default Logic Library)1 usages
net.sf.tweety.logics » rdl GPL
Tweety (Reiter's Default Logic Library)
Last Release on Jul 14, 2020
15.Tweety (Translators Library)1 usages
net.sf.tweety.logics » translators GPL
Tweety (Translators Library)
Last Release on Jul 14, 2020