Decision Procedure for Entailment of Symbolic Heaps with Arrays.
Daisuke KimuraMakoto TatsutaPublished in: APLAS (2017)
Keyphrases
- decision making
- natural language processing
- decision makers
- decision rules
- decision problems
- information systems
- data sets
- connectionist models
- artificial neural networks
- decision processes
- recognizing textual entailment
- iterative procedure
- search procedure
- np complete
- logic programming
- probabilistic model
- expert systems
- clustering algorithm