Login / Signup
Propositional Contingentism.
Peter Fritz
Published in:
Rev. Symb. Log. (2016)
Keyphrases
</>
propositional logic
first order logic
databases
satisfiability testing
probabilistic model
social networks
learning algorithm
default logic
probabilistic logic
real time
propositional knowledge base
case study
knowledge representation
boolean functions
real world
horn clauses
statistical relational learning