A Case Study in Using Preference Logic Grammars for Knowledge Representations.
Baoqiu CuiTerrance SwiftDavid Scott WarrenPublished in: LPNMR (1999)
Keyphrases
- case study
- test bed
- natural language
- logic programming
- modal logic
- formal language
- classical logic
- context free grammars
- soft constraints
- defeasible logic
- user preferences
- predicate logic
- multi valued
- multi criteria
- computational properties
- epistemic logic
- deontic logic
- finite state automata
- proof theory
- visual languages