Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M.B. Doumbouya
Graph-Based Ontology Reasoning for Formal Verification of BREEAM Rules
Cognitive Systems Research
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Related publications
Ontology-Based Fuzzy-Syllogistic Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Ontology-Based Similarity Measurement for Problem-Based Case Reasoning
Expert Systems with Applications
Engineering
Computer Science Applications
Artificial Intelligence
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
A Reasoning-Based Support Tool for Ontology Mapping Evaluation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Graph-Based Ontology Construction From Heterogenous Evidences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved Graph Based Method for Extracting Association Rules
International Journal of Software Engineering & Applications
Formal Based Verification to Build Safer Cars
International Journal of Computer Applications
