First-order logics: some characterizations and closure properties.
Christian ChoffrutAndreas MalcherCarlo MereghettiBeatrice PalanoPublished in: Acta Informatica (2012)
Keyphrases
- closure properties
- expressive power
- first order logic
- conditional logic
- knowledge representation
- query language
- tree automata
- context free
- context free grammars
- modal logic
- conjunctive queries
- structural properties
- incomplete information
- knowledge based systems
- valued logic
- inductive logic programming
- metadata
- regular expressions
- query processing
- expert systems
- natural language