Modeling and Verication Analysis of Ecological Systems via a First Order Logic Approach.

Zvi Retchkiman Königsberg

Published in: Computación y Sistemas (2021)

Keyphrases

first order logic
expressive power
probabilistic reasoning
knowledge representation
representation language
theorem proving
inference rules
theorem prover
artificial intelligence
transitive closure
constraint databases
quantifier elimination