carneades/carneades-4 issues and pull requests

#47 - AIF import is broken

Issue - State: open - Opened by tfgordon over 2 years ago

#46 - Colouration Problem in SVG

Issue - State: open - Opened by Gauntlet173 about 4 years ago - 1 comment

#45 - Create basic_event_calculus.yml

Pull Request - State: closed - Opened by Gauntlet173 about 4 years ago - 1 comment

#44 - build stops

Issue - State: closed - Opened by Bazmundi over 7 years ago - 2 comments

#43 - lighten colors used in argument diagrams

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: enhancement

#42 - check that IDs are ground atomic formula

Issue - State: open - Opened by Torjas almost 8 years ago

#41 - Extend argumentation schemes to allow new variables in exceptions

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: enhancement

#40 - cause_to_effect scheme definition

Issue - State: closed - Opened by pallix almost 8 years ago - 1 comment

#39 - Redefine the constant weighing function

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: bug

#38 - Validator: check for unknown keys in the map

Issue - State: open - Opened by tfgordon almost 8 years ago - 2 comments
Labels: enhancement

#37 - Proof Standards for Issue Schemes

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: enhancement

#36 - Defining issues for compound terms

Issue - State: closed - Opened by pallix almost 8 years ago - 3 comments

#35 - Error when having a composed statement in the tests key

Issue - State: closed - Opened by pallix almost 8 years ago - 2 comments
Labels: bug

#34 - Duplicate Arguments

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: bug

#33 - Check that predicates of statements and assumptions have been declared.

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: enhancement

#32 - Generating rules from arguments

Issue - State: closed - Opened by tfgordon almost 8 years ago - 1 comment
Labels: enhancement

#31 - Extend validator to check for new variables in exceptions, conclusions and assumptions of schemes.

Issue - State: closed - Opened by tfgordon almost 8 years ago
Labels: enhancement

#30 - Binding of variables not working correctly for exceptions

Issue - State: open - Opened by pallix almost 8 years ago - 3 comments

#29 - Assumption not appearing in the evaluated graph

Issue - State: closed - Opened by pallix almost 8 years ago - 1 comment

#28 - Deducting the premise of a scheme from a conclusion prevent its instantiation

Issue - State: closed - Opened by pallix almost 8 years ago - 4 comments

#27 - Argument from scheme not generated when adding an assumption

Issue - State: closed - Opened by pallix almost 8 years ago - 3 comments

#26 - Unused variables in argument schemes

Issue - State: closed - Opened by tfgordon almost 8 years ago
Labels: enhancement

#25 - Schemes with conclusion being a variable cause problems during instantiation

Issue - State: closed - Opened by pallix almost 8 years ago - 5 comments

#24 - Show the Git Commit Hash

Issue - State: open - Opened by tfgordon almost 8 years ago
Labels: enhancement

#23 - Problem evaluating walton.yml example

Issue - State: closed - Opened by jmatsushita almost 8 years ago - 5 comments

#22 - Harmonize error messages

Issue - State: open - Opened by tfgordon almost 8 years ago

#21 - Multiple Conclusions of Arguments

Issue - State: open - Opened by tfgordon about 8 years ago

#20 - Premise order in Scheme not preserved

Issue - State: closed - Opened by tfgordon over 8 years ago

#19 - JSON import and export out of date

Issue - State: closed - Opened by tfgordon over 8 years ago - 1 comment

#18 - Visualising proof by cases.

Issue - State: closed - Opened by PanBartosz over 8 years ago - 3 comments

#17 - Nullary predicates are not shown in argument maps

Issue - State: closed - Opened by tfgordon almost 9 years ago - 2 comments

#16 - rename "labels" to "tests" in the YAML representation of argument graphs

Issue - State: closed - Opened by tfgordon almost 9 years ago

#15 - Enable ¬ as prefix operator in the term parser

Issue - State: closed - Opened by tfgordon almost 9 years ago - 1 comment

#14 - YAML Parser: Allow premises to be lists as well as maps

Issue - State: closed - Opened by tfgordon about 9 years ago - 2 comments

#13 - Visualizing Empty Argument Graphs

Issue - State: open - Opened by tfgordon about 9 years ago
Labels: enhancement

#12 - Defunct SWI Prolog Processes

Issue - State: closed - Opened by tfgordon about 9 years ago - 1 comment
Labels: bug

#11 - JSON Import Tests Broken

Issue - State: closed - Opened by tfgordon about 9 years ago
Labels: bug

#10 - Test the Import Translators

Issue - State: closed - Opened by tfgordon about 9 years ago

#9 - Argument weights need to be displayed with greater precision

Issue - State: closed - Opened by tfgordon over 9 years ago - 2 comments
Labels: bug

#8 - YAML Export: structured values not exported correctly

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: bug

#7 - Formatting statements in argument maps

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: enhancement

#6 - Simple web service and user interface

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: enhancement

#5 - DOT export for abstract argumentation frameworks

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: enhancement

#4 - CAF Importer

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: enhancement

#3 - YAML exported from LKIF cannot be imported

Issue - State: closed - Opened by tfgordon over 9 years ago - 1 comment
Labels: bug

#2 - LKIF Import Problem

Issue - State: open - Opened by tfgordon over 9 years ago
Labels: bug

#1 - Added GopherJS bindings

Pull Request - State: closed - Opened by th0br0 over 9 years ago

GitHub / carneades/carneades-4 issues and pull requests