Some Universal Algebraic and Model Theoretic Results in Computer Science.
Hajnal AndrékaIstván NémetiPublished in: FCT (1981)
Keyphrases
- model theoretic
- computer science
- deductive databases
- description logics
- operational semantics
- logic programs
- decision procedures
- fixpoint
- proof theoretic
- default reasoning
- probabilistic reasoning
- artificial intelligence
- presburger arithmetic
- data mining
- logic programming
- algebraic structure
- integrity constraints
- probabilistic model
- query language
- data model
- inductive logic programming
- modal logic
- query evaluation
- theorem proving
- finite state machines
- first order logic
- formal semantics
- dynamic environments
- natural language