Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.
Patrick CousotRadhia CousotPublished in: CAV (1995)
Keyphrases
- game theoretic
- fixpoint
- game theory
- horn clauses
- logic programs
- deductive databases
- decision problems
- inductive logic programming
- semantics of logic programs
- finite state machines
- truth values
- natural language
- nash equilibria
- nash equilibrium
- theorem proving
- databases
- minority game
- datalog programs
- machine learning
- high level
- nonmonotonic reasoning
- trust model
- multi agent systems
- bayesian networks
- expert systems
- logic programming
- integrity constraints
- domain ontology