Massively Parallel Reasoning about Actions.
Sven-Erik BornscheuerTorsten SeilerPublished in: KI (1996)
Keyphrases
- massively parallel
- reasoning about actions
- situation calculus
- logic programming
- action language
- fine grained
- parallel computing
- dynamic logic
- high performance computing
- fluent calculus
- action theories
- indirect effects
- parallel machines
- mesh connected
- general purpose
- parallel computers
- parallel architectures
- expert systems
- natural language
- information systems
- machine learning