Fwd: Re: DAML-S ws composition: Is the cycle complete?
DAML-S ws composition: Is the cycle complete?
Legally relevant events
A question of Composite Web Service Verification
- RE: A question of Composite Web Service Verification
- Re: A question of Composite Web Service Verification
- Re: A question of Composite Web Service Verification
[ANN] sw-announce mailing list
[OWL-S]: simple process coordination
Re: Model of Concurrency in DAML-S -Reposted
[Fwd: Re: Model of Concurrency in DAML-S -Reposted]
Model of Concurrency in DAML-S
RDF Forms
PowerSet in DAML-S 0.9
- Re: PowerSet in DAML-S 0.9
what is the "semantic core" of DAML-S?
Grounding puzzle
Fwd: Re: Process instantiation puzzle
[bparsia@isr.umd.edu: Re: Process instantiation puzzle]
Process instantiation puzzle
- RE: Process instantiation puzzle
- Re: Process instantiation puzzle
- Re: Process instantiation puzzle
- Re: Process instantiation puzzle
[SWSL] Richard Hull talk
Binding to use for an activity
CALL FOR PAPERS: Semantic Web Services - 2004 AAAI Spring Symposium Series
Re: [OWL-S] arguments for PAI and PAC
Some comments on DAML-S 0.9
Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- RE: Preconditions /effects vs Preconditions/Postconditions
- RE: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- RE: Preconditions /effects vs Preconditions/Postconditions
- RE: Preconditions /effects vs Preconditions/Postconditions
Conditional in DAML-S
ProcesModel hasProcess ProcessPowerSet
pdf version of DAML-S surface syntax/formal semantics
Revised DAML-S-PAI syntax & semantics
Bottom up approach to web services
DAML-S formal semantics
FW: Semantics of Preconditions and Effects
- Re: FW: Semantics of Preconditions and Effects
- RE: FW: Semantics of Preconditions and Effects
- RE: FW: Semantics of Preconditions and Effects
- RE: FW: Semantics of Preconditions and Effects
Your details
Guilty? You Decide!
why can't describe the semantic of DAML-S by Description Logic
- Re: why can't describe the semantic of DAML-S by Description Logic
- Re: why can't describe the semantic of DAML-S by Description Logic