Web Service Contracting: Specification and Reasoning with SCIFF.
Marco AlbertiFederico ChesaniMarco GavanelliEvelina LammaPaola MelloMarco MontaliPaolo TorroniPublished in: ESWC (2007)
Keyphrases
- abductive logic programming
- proof procedure
- web services
- logic programs
- service discovery
- theorem proving
- propositional logic
- first order logic
- knowledge base
- active rules
- high level
- semantic web services
- answer set semantics
- reasoning systems
- service oriented architecture
- description language
- reasoning tasks
- search space
- propositional satisfiability
- predicate calculus
- service composition
- inference rules
- programming language