Releases: tuProlog/arg2p-kt
0.3.0
CHANGELOG
1b738d6 doc
122d66f pipeline and changelog
c44f223 bp negation
b9ec4ad free var fix
c7af9a6 gitignore
0a6c067 meta bp
7d9731a grounded bp semantic [ICAIL]
9f607a1 meta bp
d24e4b8 bp inversion
cbd0801 argumentation on bp
623f39a bp meta argument
9836401 bp redefinition V
7c5182d bp redefinition IV
ab20ba2 bp redefinition III
24280cc bp redefinition II
999bc6d bp redefinition
0.2.5
0.2.4
CHANGELOG
011a59a dependencies update
2ceda09 release info
1eae544 structured rationality test
48b0a01 buffered structured resolution
9e18e70 new ide defaults fix
1575321 new ide defaults
7fb6d09 rebut restriction refactor propagated to structured mode
b1ddb85 rationality test abstract mode
10eed9b contrary rebut/undermine test fixed
02cc8a5 rebut restriction redefinition (abstract mode)
0dfe648 attacks testing
ef881df answerQuery/4 fix
c61dc2f case study test & answerQuery/4 fix
6e8115d style fix
10439a0 performances testing
6eb4e22 preferences unit
4348824 ruleTranslation unit
0.2.3
0.2.2
0.2.1
0.2.0
0.1.0
initial release