Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely.
Thomas Martin GawlitzaHelmut SeidlPublished in: SAS (2010)
Keyphrases
- machine learning
- genetic algorithm
- formal semantics
- semantic information
- objective function
- logic programming
- database
- pairwise
- computational complexity
- propositional dynamic logic
- transformation rules
- semantic relationships
- low level
- domain knowledge
- optimal solution
- high level
- case study
- website
- real world
- databases