From Policy-Making Statements to First-Order Logic.
Adam Z. WynerTom M. van EngersKiavash BahreiniPublished in: EGOVIS (2010)
Keyphrases
- first order logic
- policy making
- expressive power
- decision making
- information integration
- inference rules
- public sector
- propositional logic
- theorem proving
- knowledge representation
- probabilistic reasoning
- theorem prover
- representation language
- inductive logic programming
- natural language
- probabilistic graphical models
- markov networks
- policy makers
- public administration
- horn clauses
- markov logic networks
- truth values
- transitive closure
- e government
- databases
- logical rules
- bayesian networks
- machine learning