CarneadesDSL-1.3: An implementation and DSL for the Carneades argumentation model. (Index)

CarneadesDSL-1.3: An implementation and DSL for the Carneades argumentation model.

Index

acceptable	Language.Carneades.CarneadesDSL
acceptableProps	Language.Carneades.CarneadesDSL
addArgument	Language.Carneades.CarneadesDSL
addArgument'	Language.Carneades.CarneadesDSL
addEdges	Language.Carneades.CarneadesDSL
addEdges'	Language.Carneades.CarneadesDSL
addNode	Language.Carneades.CarneadesDSL
addToContext	Language.Carneades.CarneadesDSL
AGraph	Language.Carneades.CarneadesDSL
alpha	Language.Carneades.CarneadesDSL
applicable	Language.Carneades.CarneadesDSL
applicableArgs	Language.Carneades.CarneadesDSL
Arg	Language.Carneades.CarneadesDSL
arg1	Language.Carneades.ExampleCAES
arg2	Language.Carneades.ExampleCAES
arg3	Language.Carneades.ExampleCAES
ArgSet	Language.Carneades.CarneadesDSL
argSet	Language.Carneades.ExampleCAES
Argument	Language.Carneades.CarneadesDSL
ArgWeight	Language.Carneades.CarneadesDSL
AssociatedGraph	Language.Carneades.CarneadesDSL
Assumptions	Language.Carneades.CarneadesDSL
assumptions	Language.Carneades.ExampleCAES
Audience	Language.Carneades.CarneadesDSL
audience	Language.Carneades.ExampleCAES
beta	Language.Carneades.CarneadesDSL
BeyondReasonableDoubt	Language.Carneades.CarneadesDSL
beyond_reasonable_doubt	Language.Carneades.CarneadesDSL
CAES
1 (Type/Class)	Language.Carneades.CarneadesDSL
2 (Data Constructor)	Language.Carneades.CarneadesDSL
caes	Language.Carneades.ExampleCAES
checkCycle	Language.Carneades.CarneadesDSL
ClearAndConvincing	Language.Carneades.CarneadesDSL
clear_and_convincing	Language.Carneades.CarneadesDSL
contextP	Language.Carneades.CarneadesDSL
cyclic	Language.Carneades.Cyclic
DialecticalValidity	Language.Carneades.CarneadesDSL
dialectical_validity	Language.Carneades.CarneadesDSL
gamma	Language.Carneades.CarneadesDSL
getAllArgs	Language.Carneades.CarneadesDSL
getArgs	Language.Carneades.CarneadesDSL
getProps	Language.Carneades.CarneadesDSL
maxWeightApplicable	Language.Carneades.CarneadesDSL
maxWeightCon	Language.Carneades.CarneadesDSL
maxWeightPro	Language.Carneades.CarneadesDSL
mkArg	Language.Carneades.CarneadesDSL
mkArgGraph	Language.Carneades.CarneadesDSL
mkArgSet	Language.Carneades.CarneadesDSL
mkAssumptions	Language.Carneades.CarneadesDSL
mkProp	Language.Carneades.CarneadesDSL
negate	Language.Carneades.CarneadesDSL
nonAcceptableProps	Language.Carneades.CarneadesDSL
nonApplicableArgs	Language.Carneades.CarneadesDSL
P	Language.Carneades.CarneadesDSL
parse	Language.Carneades.ExampleCAES
parseCAES	Language.Carneades.Input
pCAES	Language.Carneades.Input
Preponderance	Language.Carneades.CarneadesDSL
preponderance	Language.Carneades.CarneadesDSL
ProofStandard	Language.Carneades.CarneadesDSL
ProofStandardNamed	Language.Carneades.CarneadesDSL
PropLiteral	Language.Carneades.CarneadesDSL
PropNode	Language.Carneades.CarneadesDSL
PropStandard	Language.Carneades.CarneadesDSL
propsToNodes	Language.Carneades.CarneadesDSL
psMap	Language.Carneades.CarneadesDSL
PSName	Language.Carneades.CarneadesDSL
Scintilla	Language.Carneades.CarneadesDSL
scintilla	Language.Carneades.CarneadesDSL
showProp	Language.Carneades.CarneadesDSL
standard	Language.Carneades.ExampleCAES
testAppIntent	Language.Carneades.ExampleCAES
testAppMurder	Language.Carneades.ExampleCAES
testAppNotIntent	Language.Carneades.ExampleCAES
testAppNotMurder	Language.Carneades.ExampleCAES
testMurder	Language.Carneades.ExampleCAES
testNotMurder	Language.Carneades.ExampleCAES
unsafeMatch	Language.Carneades.CarneadesDSL
Weight	Language.Carneades.CarneadesDSL
weight	Language.Carneades.ExampleCAES