Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
Marcello BalducciniMichael GelfondPublished in: CoRR (2013)
Keyphrases
- natural language
- function free horn
- rewriting rules
- rule language
- rewrite rules
- programming language
- web applications
- answer set programming
- syntactic categories
- language learning
- linguistic expressions
- arithmetic operations
- rule sets
- background knowledge
- association rule mining
- decision rules
- neural network
- specification language
- query language
- highly expressive
- data mining
- business rules
- linguistic knowledge
- semantic constraints
- grammar rules
- natural language processing
- facial expressions
- relational databases
- association rules