Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach.

Zvi Retchkiman Königsberg

Published in: ICSI (1) (2017)

Keyphrases

first order logic
expressive power
knowledge representation
predator prey
theorem proving
representation language
inference rules
markov networks
probabilistic reasoning
cellular automata
transitive closure
data analysis
inductive logic programming
markov logic