A Description Language for Similarity, Belief Change and Trust.

Published in: ICAART (3) (2024)

Keyphrases

description language
belief change
belief revision
software architecture
web services
prime implicates
propositional logic
action language
belief update
description languages
web service composition
minimal change
belief set
knowledge base
machine learning
domain knowledge