Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge.
Arpit SharmaPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- answer set programming
- commonsense reasoning
- logic programming
- nonmonotonic reasoning
- knowledge representation
- event calculus
- reasoning tasks
- logic programs
- answer sets
- classical logic
- autoepistemic logic
- incomplete information
- stable models
- default theories
- deductive databases
- databases
- data model
- answer set programs
- database schema
- database
- object oriented
- default logic
- programming language
- knowledge representation and reasoning
- expert systems
- inductive logic programming
- default reasoning
- xml data
- description logics
- missing information
- database systems
- artificial intelligence
- data mining
- declarative programming