Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Automatic Reasoning"”.
-
Symbolic reachability analysis for rewrite theories
… presents a significant step forward in automatic and semi-automatic reasoning for reachability properties of rewriting logic specifications, a major research goal in the current state of the art. In particular, this work develops deductive techniques for reasoning symbolically about …
-
Security information management with frame-based attack presentation and first-order reasoning
… Attack Representation and First-order logic Automatic Reasoning (FAR-FAR) using linguistics and First-order Logic (FOL) based approaches. Techniques based on linguistics can provide efficient solutions to acquire semantic information from alert contexts, while FOL can tackle a wide variety of …
-
Semantic-based management of federated infrastructures for future internet experimentation
… use of semantically annotated graphs allows for automatic reasoning, linking, querying and validation of heterogeneous data. The main contributions of the research conducted for this thesis are the definition of an ontology for the life cycle management of resources in federated infrastructures, …
-
Integrating Ontology-Based Information Extraction Systems and Spatial Modeling for Land Use Analysis and Simulation
Information Extraction (IE) is defined as the automatic identification and extraction of a predefined set of concepts, relevant to a specific domain of knowledge, ignoring irrelevant information. IE converts unstructured text into structured data and extracts the required information. IE is to some …