ServLog: A unifying logical framework for service modeling and contracting.

Dumitru Roman Michael Kifer

Published in: Semantic Web (2018)

Keyphrases

logical framework
inference rules
service discovery
reasoning tasks
belief revision
web services
epistemic logic
spatial information
machine learning
video sequences
first order logic
situation calculus
possibilistic logic
normative systems