Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2001) Archives - AAAI https://aaai.org/proceeding/flairs-2001/ Association for the Advancement of Artificial Intelligence Mon, 16 Oct 2023 05:45:25 +0000 en-US hourly 1 https://wordpress.org/?v=6.7.1 https://aaai.org/wp-content/uploads/2022/12/cropped-white-logo-32x32.png Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2001) Archives - AAAI https://aaai.org/proceeding/flairs-2001/ 32 32 Generating Dependence Structure of Multiply Sectioned Bayesian Networks https://aaai.org/papers/flairs-2001-117/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-117/ The post Generating Dependence Structure of Multiply Sectioned Bayesian Networks appeared first on AAAI.

]]> A General Approach to Uncertainty Representation Using Fuzzy Measures https://aaai.org/papers/flairs-2001-118/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-118/ The post A General Approach to Uncertainty Representation Using Fuzzy Measures appeared first on AAAI.

]]> Secure Systems Development — The Evolving Integration of Validation and Verification https://aaai.org/papers/flairs-2001-120/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-120/ The post Secure Systems Development — The Evolving Integration of Validation and Verification appeared first on AAAI.

]]> A Quagmire of Terminology: Verification and Validation, Testing, and Evaluation https://aaai.org/papers/flairs-2001-119/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-119/ The post A Quagmire of Terminology: Verification and Validation, Testing, and Evaluation appeared first on AAAI.

]]> The Character of Human Behavior Representation and Its Impact on the Validation Issue https://aaai.org/papers/flairs-2001-121/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-121/ The post The Character of Human Behavior Representation and Its Impact on the Validation Issue appeared first on AAAI.

]]> Using Hybrid Automata to Express Realtime Properties in VSE-II https://aaai.org/papers/flairs-2001-122/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-122/ The post Using Hybrid Automata to Express Realtime Properties in VSE-II appeared first on AAAI.

]]> Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking https://aaai.org/papers/flairs-2001-123/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-123/ The post Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking appeared first on AAAI.

]]> Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method https://aaai.org/papers/flairs-2001-124/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-124/ The post Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method appeared first on AAAI.

]]> FLAIRS-2001 Organization https://aaai.org/papers/flairs-2001-126/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-126/ The post FLAIRS-2001 Organization appeared first on AAAI.

]]> Improving Knowledge-Based System Performance by Reordering Rule Sequences https://aaai.org/papers/flairs-2001-125/ Fri, 30 Jun 2023 17:55:38 +0000 https://aaai.org/papers/flairs-2001-125/ The post Improving Knowledge-Based System Performance by Reordering Rule Sequences appeared first on AAAI.

]]>