Be the first to post a text review of ArgKit. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• argkit argkit.0-2-2 file released: argkit.0-2-2.zip

  feature: Add ability to load a file into GUI (2799214)

  posted 220 days ago

• File released: /argkit/argkit.0-2-2/argkit.0-2-2.zip

  posted 220 days ago

• argkit version 0-2-1 file released: argkit.0-2-1.zip

  posted 570 days ago

• File released: /argkit/version 0-2-1/argkit.0-2-1.zip

  posted 570 days ago

• argkit version 0-2 file released: argkit.0-2.zip

  FEATURE: Includes PreferredCredulousReasoner + extended test suite FIX: graphs were drawn to a different layout size than their canvas in ScratchPad and TestViewer FIX: problem with grounded reasoner. Test "Repetition (PRO wins)" was incorrectly annotated. Correction of annotatation revealed subtle issue. This same issue affected test "PV Ex 7 - repetition from different lines". REFACTOR: Reasoner's return a Dialogue object that captures the whole reasoning dialogue, and allows the justification of a particular argument's status to be drawn. Reasoners and their log messages completed re-written. FEATURE: Scratchpad and TestViewer show proof for each argument's status as well. The argument graph is now shown in a tabbed pane, in the front "all" pane. By right clicking on a node, a tab is opened with the argument name as it's label and the proof in the tab. FEATURE: Update Scratchpad and TestViewer to select reasoner REFACTOR: core package name changed from org.argument to org.argkit REFACTOR: DungEngine's name changed to Dungine REFACTOR: ReasonerPair's name changed to Branch REFACTOR: Proof's name changed to Dialogue REFACTOR: Some swing classes moved to org.argkit.dung.swing package FIX: TestViewer didnt work in the bundled jar due to missing classes in the bundle.

  posted 724 days ago

• File released: /argkit/version 0-2/argkit.0-2.zip

  posted 724 days ago