carneades carneades-4 issues

carneades / carneades-4

Version 4 of Carneades, implemented in Go

https://carneades.github.io/

Other

48 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Packaging carneades

#49 mgttlinger opened 1 week ago
5
Fixed typos

#48 mgttlinger closed 1 week ago
1
AIF import is broken

#47 tfgordon opened 1 year ago
0
Colouration Problem in SVG

#46 Gauntlet173 opened 3 years ago
1
Create basic_event_calculus.yml

#45 Gauntlet173 closed 3 years ago
1
build stops

#44 Bazmundi closed 6 years ago
2
lighten colors used in argument diagrams

#43 tfgordon opened 7 years ago
0
check that IDs are ground atomic formula

#42 Torjas opened 7 years ago
0
Extend argumentation schemes to allow new variables in exceptions

#41 tfgordon opened 7 years ago
0
cause_to_effect scheme definition

#40 pallix closed 7 years ago
1
Redefine the constant weighing function

#39 tfgordon opened 7 years ago
0
Validator: check for unknown keys in the map

#38 tfgordon opened 7 years ago
2
Proof Standards for Issue Schemes

#37 tfgordon opened 7 years ago
0
Defining issues for compound terms

#36 pallix closed 7 years ago
3
Error when having a composed statement in the tests key

#35 pallix closed 7 years ago
2
Duplicate Arguments

#34 tfgordon opened 7 years ago
0
Check that predicates of statements and assumptions have been declared.

#33 tfgordon opened 7 years ago
0
Generating rules from arguments

#32 tfgordon closed 7 years ago
1
Extend validator to check for new variables in exceptions, conclusions and assumptions of schemes.

#31 tfgordon closed 7 years ago
0
Binding of variables not working correctly for exceptions

#30 pallix opened 7 years ago
3
Assumption not appearing in the evaluated graph

#29 pallix closed 7 years ago
1
Deducting the premise of a scheme from a conclusion prevent its instantiation

#28 pallix closed 7 years ago
4
Argument from scheme not generated when adding an assumption

#27 pallix closed 7 years ago
3
Unused variables in argument schemes

#26 tfgordon closed 7 years ago
0
Schemes with conclusion being a variable cause problems during instantiation

#25 pallix closed 7 years ago
5
Show the Git Commit Hash

#24 tfgordon opened 7 years ago
0
Problem evaluating walton.yml example

#23 jmatsushita closed 7 years ago
5
Harmonize error messages

#22 tfgordon opened 7 years ago
0
Multiple Conclusions of Arguments

#21 tfgordon opened 7 years ago
0
Premise order in Scheme not preserved

#20 tfgordon closed 7 years ago
0
JSON import and export out of date

#19 tfgordon closed 7 years ago
1
Visualising proof by cases.

#18 PanBartosz closed 7 years ago
3
Nullary predicates are not shown in argument maps

#17 tfgordon closed 7 years ago
2
rename "labels" to "tests" in the YAML representation of argument graphs

#16 tfgordon closed 8 years ago
0
Enable ¬ as prefix operator in the term parser

#15 tfgordon closed 8 years ago
1
YAML Parser: Allow premises to be lists as well as maps

#14 tfgordon closed 8 years ago
2
Visualizing Empty Argument Graphs

#13 tfgordon opened 8 years ago
0
Defunct SWI Prolog Processes

#12 tfgordon closed 8 years ago
1
JSON Import Tests Broken

#11 tfgordon closed 8 years ago
0
Test the Import Translators

#10 tfgordon closed 8 years ago
0
Argument weights need to be displayed with greater precision

#9 tfgordon closed 8 years ago
2
YAML Export: structured values not exported correctly

#8 tfgordon closed 8 years ago
1
Formatting statements in argument maps

#7 tfgordon closed 8 years ago
1
Simple web service and user interface

#6 tfgordon closed 8 years ago
1
DOT export for abstract argumentation frameworks

#5 tfgordon closed 8 years ago
1
CAF Importer

#4 tfgordon closed 8 years ago
1
YAML exported from LKIF cannot be imported

#3 tfgordon closed 8 years ago
1
LKIF Import Problem

#2 tfgordon opened 8 years ago
0
Added GopherJS bindings

#1 th0br0 closed 8 years ago
0