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

Index

acceptableLanguage.Carneades.CarneadesDSL
acceptablePropsLanguage.Carneades.CarneadesDSL
addArgumentLanguage.Carneades.CarneadesDSL
addArgument'Language.Carneades.CarneadesDSL
addEdgesLanguage.Carneades.CarneadesDSL
addEdges'Language.Carneades.CarneadesDSL
addNodeLanguage.Carneades.CarneadesDSL
addToContextLanguage.Carneades.CarneadesDSL
AGraphLanguage.Carneades.CarneadesDSL
alphaLanguage.Carneades.CarneadesDSL
applicableLanguage.Carneades.CarneadesDSL
applicableArgsLanguage.Carneades.CarneadesDSL
ArgLanguage.Carneades.CarneadesDSL
arg1Language.Carneades.ExampleCAES
arg2Language.Carneades.ExampleCAES
arg3Language.Carneades.ExampleCAES
ArgSetLanguage.Carneades.CarneadesDSL
argSetLanguage.Carneades.ExampleCAES
ArgumentLanguage.Carneades.CarneadesDSL
ArgWeightLanguage.Carneades.CarneadesDSL
AssociatedGraphLanguage.Carneades.CarneadesDSL
AssumptionsLanguage.Carneades.CarneadesDSL
assumptionsLanguage.Carneades.ExampleCAES
AudienceLanguage.Carneades.CarneadesDSL
audienceLanguage.Carneades.ExampleCAES
betaLanguage.Carneades.CarneadesDSL
BeyondReasonableDoubtLanguage.Carneades.CarneadesDSL
beyond_reasonable_doubtLanguage.Carneades.CarneadesDSL
CAES 
1 (Type/Class)Language.Carneades.CarneadesDSL
2 (Data Constructor)Language.Carneades.CarneadesDSL
caesLanguage.Carneades.ExampleCAES
checkCycleLanguage.Carneades.CarneadesDSL
ClearAndConvincingLanguage.Carneades.CarneadesDSL
clear_and_convincingLanguage.Carneades.CarneadesDSL
contextPLanguage.Carneades.CarneadesDSL
cyclicLanguage.Carneades.Cyclic
DialecticalValidityLanguage.Carneades.CarneadesDSL
dialectical_validityLanguage.Carneades.CarneadesDSL
gammaLanguage.Carneades.CarneadesDSL
getAllArgsLanguage.Carneades.CarneadesDSL
getArgsLanguage.Carneades.CarneadesDSL
getPropsLanguage.Carneades.CarneadesDSL
maxWeightApplicableLanguage.Carneades.CarneadesDSL
maxWeightConLanguage.Carneades.CarneadesDSL
maxWeightProLanguage.Carneades.CarneadesDSL
mkArgLanguage.Carneades.CarneadesDSL
mkArgGraphLanguage.Carneades.CarneadesDSL
mkArgSetLanguage.Carneades.CarneadesDSL
mkAssumptionsLanguage.Carneades.CarneadesDSL
mkPropLanguage.Carneades.CarneadesDSL
negateLanguage.Carneades.CarneadesDSL
nonAcceptablePropsLanguage.Carneades.CarneadesDSL
nonApplicableArgsLanguage.Carneades.CarneadesDSL
PLanguage.Carneades.CarneadesDSL
PreponderanceLanguage.Carneades.CarneadesDSL
preponderanceLanguage.Carneades.CarneadesDSL
ProofStandardLanguage.Carneades.CarneadesDSL
ProofStandardNamedLanguage.Carneades.CarneadesDSL
PropLiteralLanguage.Carneades.CarneadesDSL
PropNodeLanguage.Carneades.CarneadesDSL
PropStandardLanguage.Carneades.CarneadesDSL
propsToNodesLanguage.Carneades.CarneadesDSL
psMapLanguage.Carneades.CarneadesDSL
PSNameLanguage.Carneades.CarneadesDSL
ScintillaLanguage.Carneades.CarneadesDSL
scintillaLanguage.Carneades.CarneadesDSL
showPropLanguage.Carneades.CarneadesDSL
standardLanguage.Carneades.ExampleCAES
testAppIntentLanguage.Carneades.ExampleCAES
testAppMurderLanguage.Carneades.ExampleCAES
testAppNotIntentLanguage.Carneades.ExampleCAES
testAppNotMurderLanguage.Carneades.ExampleCAES
testMurderLanguage.Carneades.ExampleCAES
testNotMurderLanguage.Carneades.ExampleCAES
unsafeMatchLanguage.Carneades.CarneadesDSL
WeightLanguage.Carneades.CarneadesDSL
weightLanguage.Carneades.ExampleCAES