Fluent Calculus Based Web Service Composition.

Viorica R. Chifu Ioan Salomie Simona Manole

Published in: RR (2008)

Keyphrases

fluent calculus
situation calculus
reasoning about actions
programming language
predicate logic
modal logic
logic programming
computational linguistics
database
machine learning
information retrieval
artificial intelligence
web pages
semi automatic