DOM: Specification and Client Reasoning.
Azalea RaadJosé Fragoso SantosPhilippa GardnerPublished in: APLAS (2016)
Keyphrases
- knowledge base
- client server
- reasoning systems
- qualitative reasoning
- case based reasoning
- reasoning tasks
- qualitative simulation
- xml documents
- high level
- website
- knowledge representation
- model based reasoning
- legal reasoning
- web pages
- automated reasoning
- central server
- formal verification
- databases
- spatial reasoning
- default reasoning
- probabilistic reasoning
- formal specification
- conceptual model
- web documents
- object oriented
- relational databases
- artificial intelligence