ravel-net.org - Knowledge, Reasoning, and Networking

Description: Knowledge, Reasoning, and Networking

Example domain paragraphs

In the battle with system complexity, if knowledge representation and logic reasoning give a deep answer, does networking make a profitable problem? This project (supported by the National Science Foundation Award CNS-1909450 and CNS 1657285 ) explores the pain points in today’s network analysis — such as unavailable information, uncertain environments, and non-monotonic dynamic behaviors — to motivate our initial conjectures to this question. For more information, please contact [email protected] .

Download the Ravel VM or install from source from our GitHub repository . Then try the Walkthrough .

Or develop your own applications. Read our Developer Guide and browse through the API .

Links to ravel-net.org (3)

anduowang.github.io adw homepage
ravel-net.github.io Knowledge, Reasoning, and Networking
jasoncroft.info Jason Croft