An Expert System to Detect Burglars using a Logic Language and a Relational Database.
R. LucasPublished in: BNCOD (1986)
Keyphrases
- relational databases
- databases
- expert systems
- relational structures
- database language
- programming language
- formal language
- operational semantics
- predicate calculus
- formal theory
- modal logic
- dynamic logic
- language learning
- detection method
- detection algorithm
- highly expressive
- model theoretic
- linear temporal logic
- order sorted
- inference engine
- natural language
- propositional dynamic logic
- intuitionistic logic
- xml databases
- sql queries
- proof theory
- keyword search
- sql statements
- database
- database applications
- relational data
- classical logic
- modal operators
- relational database systems
- conditional logic
- multi valued
- data dependencies