A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.

Alessio Lomuscio Bozena Wozna

Published in: DEON (2006)

Keyphrases

neural network
query processing
management system
distributed systems
computer systems
building blocks
complex systems
inference rules
databases
genetic algorithm
search engine
knowledge base
multimedia
expert systems
intelligent systems