Multi-Domain Logic and its Applications to SAT.
Tudor JebeleanGábor KusperPublished in: SYNASC (2008)
Keyphrases
- multi domain
- cross domain
- spoken dialogue systems
- search computing
- domain specific
- automated reasoning
- propositional satisfiability
- search algorithm
- logic programming
- neural network
- role based access control
- satisfiability problem
- general purpose
- heterogeneous networks
- rbac model
- sat problem
- sat solvers
- information technology
- learning algorithm