Login / Signup
Detecting Vicious Cycles in Urban Problem Knowledge Graph using Inference Rules.
Shusaku Egami
Takahiro Kawamura
Kouji Kozaki
Akihiko Ohsuga
Published in:
Data Intell. (2022)
Keyphrases
</>
inference rules
probabilistic knowledge
theorem proving
knowledge management
knowledge representation
first order logic
modal logic
theorem prover
expert systems
prior knowledge
small number
logical framework
logic programming language
feature space