A Logical Framework of Bargaining with Integrity Constraints.
Xiaoxin JingDongmo ZhangXudong LuoPublished in: Australasian Conference on Artificial Intelligence (2013)
Keyphrases
- logical framework
- integrity constraints
- inference rules
- incomplete information
- deductive databases
- game theory
- belief revision
- functional dependencies
- integrity checking
- database integrity
- reasoning tasks
- conjunctive queries
- xml documents
- inclusion dependencies
- constraint checking
- query answering
- utility function
- database transactions
- linear logic
- null values
- database
- expert systems
- consistent query answering