Reasoning with First Order Nondeterministic Specifications.
Beata KonikowskaMarcin BialasikPublished in: Acta Informatica (1999)
Keyphrases
- logical formulas
- probabilistic logic
- higher order
- high level
- reasoning process
- knowledge base
- first order logic
- finite state
- knowledge representation
- functional requirements
- knowledge representation and reasoning
- computational properties
- horn clauses
- automated reasoning
- neural network
- control flow
- uncertain information
- formal specification
- markov chain
- stochastic dominance