Knowledge representation and reasoning using interconnected uncertain rules for describing workflows in complex systems
D. Popescu, Ioan Dumitrache
Topics & Concepts
Computer scienceProbabilistic logicKnowledge representation and reasoningFormalism (music)WorkflowMathematical proofInferenceRepresentation (politics)Logical frameworkTheoretical computer scienceAutomated reasoningArtificial intelligenceProgramming languageMathematicsPoliticsVisual artsLawGeometryPolitical scienceDatabaseArtMusicalLogic, Reasoning, and KnowledgeSemantic Web and OntologiesBayesian Modeling and Causal Inference