issues
search
normativeai
/
frontend
GNU General Public License v3.0
5
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Annotations do not work as expected
#72
shaolintl
closed
4 years ago
1
Support defeasibility in the editor
#71
shaolintl
opened
5 years ago
1
Formalized sentences in the Demo account
#70
matteo-si
opened
5 years ago
1
Link to the guide
#69
matteo-si
opened
5 years ago
0
change terminology
#68
matteo-si
opened
5 years ago
3
Remove trivial theories
#67
matteo-si
opened
5 years ago
3
Comments panel, collapsible sidebar, and sorting.
#66
gjgoerke
closed
5 years ago
0
Capability to reorder queries
#65
shaolintl
opened
5 years ago
0
Sorting feature for queries and theories on dashboard.
#64
gjgoerke
closed
5 years ago
1
Next generation annotator
#63
shaolintl
opened
5 years ago
2
Default term name and undo redo buttons.
#62
gjgoerke
closed
5 years ago
0
Unnamed terms.
#61
gjgoerke
closed
5 years ago
3
Navbar-brand on mobile.
#60
gjgoerke
closed
5 years ago
0
Added tooltips to connectives drop down menu.
#59
gjgoerke
closed
5 years ago
1
Add tooltips to connectives with description
#58
shaolintl
closed
5 years ago
0
"only if" doesn't intuitively express idealized deontic modes
#57
Gauntlet173
opened
5 years ago
7
Adding newlines in annotator sometimes causes new "highlighted area" to appear.
#56
Gauntlet173
opened
5 years ago
0
Editing terms inside goals doesn't work
#54
Gauntlet173
opened
5 years ago
3
Show formalization and vocabulary on annotation page
#52
Gauntlet173
opened
5 years ago
1
Force Users to Name Legislation/Query
#51
Gauntlet173
opened
5 years ago
1
clicking outside the editor causes selection to be lost
#50
Gauntlet173
opened
5 years ago
1
Ability To Edit the Start/End of Boxes
#49
Gauntlet173
opened
5 years ago
1
Undo Function in Annotator
#48
Gauntlet173
opened
5 years ago
1
"Connective"-like interface to defined predicates
#47
Gauntlet173
opened
5 years ago
2
Different Interface for Existential Terms
#46
Gauntlet173
opened
5 years ago
3
Is conjunction working properly?
#45
matteo-si
closed
5 years ago
1
We should remove all legislations and queries that are not used
#44
matteo-si
closed
5 years ago
1
Change the example in the Demo account
#43
matteo-si
opened
5 years ago
6
Running queries does not show the "in-process" animated gif
#42
shaolintl
closed
5 years ago
0
Error message on Theory formalization tab when clicking consistency check is not informative
#40
shaolintl
closed
5 years ago
2
Annotating content not directly expressed by a natural language sentence
#39
matteo-si
opened
5 years ago
3
Use of the same propositional symbol for linguistically different sentences
#38
matteo-si
closed
5 years ago
2
Operator "Permission if"
#37
matteo-si
opened
5 years ago
8
Queries consistency and execute do not work
#36
shaolintl
closed
5 years ago
1
Running consistency check error in annotated version
#34
terezanovot
closed
5 years ago
1
Color highlighting inconsistent
#33
lex-lex
closed
5 years ago
1
Improved error message on server crash
#32
shaolintl
opened
5 years ago
0
Assigning legislations to queries stopped working
#31
shaolintl
closed
5 years ago
2
Adding new vocabulary in queries
#30
shaolintl
closed
5 years ago
5
Calling independence check twice fails with Error: undefined
#29
shaolintl
closed
5 years ago
4
Tool tipping annotations
#28
shaolintl
closed
5 years ago
1
Editing names of terms
#27
terezanovot
opened
5 years ago
0
Impossible to register a new account
#26
terezanovot
closed
5 years ago
4
Annotated goal does not show the associated formula but text only
#25
shaolintl
closed
5 years ago
0
Choosing from existing vocabulary doesnt support arguments
#24
shaolintl
closed
5 years ago
2
Connectives work only when formalizing from outside to inside
#23
terezanovot
opened
5 years ago
2
Toggle edit button to formalization
#22
terezanovot
closed
5 years ago
5
Manual formalization in advanced should be empty by default
#20
shaolintl
closed
5 years ago
0
Description texts
#19
lex-lex
closed
5 years ago
6
Support for asynchronous queries
#18
shaolintl
opened
5 years ago
0
Next