Keyphrases
- constraint handling rules
- logic programming
- formal semantics
- real time
- neural network
- machine learning
- web services
- knowledge representation
- semantic information
- data sets
- deductive reasoning
- nonmonotonic logics
- operational semantics
- case study
- default reasoning
- inductive logic programming
- model checking
- transformation rules
- multi agent systems
- argumentation semantics
- update semantics
- information systems