Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk).
Peter SewellPublished in: CPP (2021)
Keyphrases
- invited talk
- reasoning tasks
- proof theory
- open world
- reasoning mechanisms
- default rules
- knowledge base
- default reasoning
- formal semantics
- selected papers
- knowledge discovery and data mining
- computational properties
- abstract argumentation
- proof theoretic
- reasoning mechanism
- fuzzy description logics
- artificial intelligence
- logical framework
- logic programming
- automated reasoning
- uncertain information
- owl dl
- logical rules
- vague concepts
- australasian database conference
- graphical representation
- production system
- knowledge representation
- program committee
- closed world
- description logics
- information systems
- data mining