Ergebnisse für: reasoning techniques
Hier findest Du Bücher, die sich mit reasoning techniques beschäftigen.
Linked Data publishing has brought about a novel “Web of Data”: a wealth of diverse, interlinked, structured data published on the Web. These Linked Datasets are described using the Semantic Web standards and are openly available to all, produced by governments, businesses, communities and acade...
The manual construction of formal domain conceptualizations (ontologies) is labor-intensive. Ontology learning, by contrast, provides (semi-)automatic ontology generation from input data such as domain text. This thesis proposes a novel approach for learning labels of non-taxonomic ontology relation...
This book mainly introduces some techniques of decision-making, uncertain reasoning and regression analysis under the hesitant fuzzy environment and expands the applications of hesitant fuzzy sets in solving practical problems. The book pursues three major objectives: (1) to introduce some technique...
This book puts forward interlegal reasoning as a means of coping with normative legal pluralism, that is, with conflicts between competing legal systems, such as national law, European law, international law, and indigenous law. It introduces interlegal reasoning as a distinct conceptual category, b...
Reasoning with Complex Cases emphasizes case retrieval methods based on structured cases as they are relevant for planning, configuration, and design, and provides a systematic view of the case reuse phase, centering on complex situations. So far, books on case-based reasoning considered compara...
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuit...
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as...
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as...
This book mainly introduces some techniques of decision-making, uncertain reasoning and regression analysis under the hesitant fuzzy environment and expands the applications of hesitant fuzzy sets in solving practical problems. The book pursues three major objectives: (1) to introduce some technique...
This book mainly introduces some techniques of decision-making, uncertain reasoning and regression analysis under the hesitant fuzzy environment and expands the applications of hesitant fuzzy sets in solving practical problems. The book pursues three major objectives: (1) to introduce some technique...
This book puts forward interlegal reasoning as a means of coping with normative legal pluralism, that is, with conflicts between competing legal systems, such as national law, European law, international law, and indigenous law. It introduces interlegal reasoning as a distinct conceptual category, b...
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the confere...
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the confere...
Reasoning with Complex Cases emphasizes case retrieval methods based on structured cases as they are relevant for planning, configuration, and design, and provides a systematic view of the case reuse phase, centering on complex situations. So far, books on case-based reasoning considered compara...
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuit...
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuit...
Reasoning with Complex Cases emphasizes case retrieval methods based on structured cases as they are relevant for planning, configuration, and design, and provides a systematic view of the case reuse phase, centering on complex situations. So far, books on case-based reasoning considered compara...
With the rapid expansion of the Internet over the last 20 years, event-based distributed systems are playing an increasingly important role in a broad range of application domains, including enterprise management, environmental monitoring, information dissemination, finance, pervasive systems, auton...
The manual construction of formal domain conceptualizations (ontologies) is labor-intensive. Ontology learning, by contrast, provides (semi-)automatic ontology generation from input data such as domain text. This thesis proposes a novel approach for learning labels of non-taxonomic ontology relation...