Wednesday, 1 October 2003
Tuesday, 30 September 2003
- Fwd: Re: DAML-S ws composition: Is the cycle complete?
- Re: Incomplete descriptions (was Re: Multiple inputs and multiple outputs)
- Re: DAML-S ws composition: Is the cycle complete?
Monday, 29 September 2003
- DAML-S ws composition: Is the cycle complete?
- Incomplete descriptions (was Re: Multiple inputs and multiple outputs)
- Re: Multiple inputs and multiple outputs
- Re: Multiple inputs and multiple outputs
- Re: Multiple inputs and multiple outputs
- Re: Multiple inputs and multiple outputs
- Re: Multiple inputs and multiple outputs
Sunday, 28 September 2003
Saturday, 27 September 2003
Friday, 26 September 2003
- Re: A question of Composite Web Service Verification
- Re: A question of Composite Web Service Verification
Sunday, 12 October 2003
- Re: A question of Composite Web Service Verification
- Re: A question of Composite Web Service Verification
Thursday, 25 September 2003
- Re: A question of Composite Web Service Verification
- Re: A question of Composite Web Service Verification
- RE: A question of Composite Web Service Verification
- A question of Composite Web Service Verification
Wednesday, 24 September 2003
- Re: Process instantiation puzzle
- [ANN] sw-announce mailing list
- [OWL-S]: simple process coordination
Monday, 22 September 2003
- Re: Model of Concurrency in DAML-S -Reposted
- Re: PowerSet in DAML-S 0.9
- Re: Model of Concurrency in DAML-S
- Re: PowerSet in DAML-S 0.9
- [Fwd: Re: Model of Concurrency in DAML-S -Reposted]
- Model of Concurrency in DAML-S
Sunday, 21 September 2003
Saturday, 20 September 2003
- Re: what is the "semantic core" of DAML-S?
- Re: what is the "semantic core" of DAML-S?
- Re: Grounding puzzle
- Re: what is the "semantic core" of DAML-S?
- Re: Process instantiation puzzle
- Re: Grounding puzzle
- Re: Process instantiation puzzle
- what is the "semantic core" of DAML-S?
- Re: Grounding puzzle
- Re: Process instantiation puzzle
- Re: Process instantiation puzzle
- Re: Grounding puzzle
Friday, 19 September 2003
- Re: Grounding puzzle
- Re: Process instantiation puzzle
- Re: Grounding puzzle
- Re: Process instantiation puzzle
- Re: Grounding puzzle
- Re: Process instantiation puzzle
- RE: Process instantiation puzzle
- Re: Grounding puzzle
- Grounding puzzle
- Re: Process instantiation puzzle
- Re: Process instantiation puzzle
- Fwd: Re: Process instantiation puzzle
Thursday, 18 September 2003
Wednesday, 17 September 2003
- Re: DAML-S formal semantics
- [SWSL] Richard Hull talk
- Binding to use for an activity
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
Tuesday, 16 September 2003
- Re: DAML-S formal semantics
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: [OWL-S] arguments for PAI and PAC
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
Monday, 15 September 2003
- Re: [OWL-S] arguments for PAI and PAC
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- CALL FOR PAPERS: Semantic Web Services - 2004 AAAI Spring Symposium Series
- RE: Preconditions /effects vs Preconditions/Postconditions
- Re: [OWL-S] arguments for PAI and PAC
- 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
- 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
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
Saturday, 13 September 2003
Friday, 12 September 2003
- RE: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- RE: Preconditions /effects vs Preconditions/Postconditions
- {SPAM ?} Re: FW: Semantics of Preconditions and Effects
- Re: FW: Semantics of Preconditions and Effects
Thursday, 11 September 2003
- Re: Conditional in DAML-S
- Re: Conditional in DAML-S
- Re: Preconditions /effects vs Preconditions/Postconditions
- Re: Preconditions /effects vs Preconditions/Postconditions
- Preconditions /effects vs Preconditions/Postconditions
Wednesday, 10 September 2003
- RE: FW: Semantics of Preconditions and Effects
- Conditional in DAML-S
- ProcesModel hasProcess ProcessPowerSet
- pdf version of DAML-S surface syntax/formal semantics
Tuesday, 9 September 2003
- Re: Bottom up approach to web services
- Re: Bottom up approach to web services
- Re: Bottom up approach to web services
- Revised DAML-S-PAI syntax & semantics
Monday, 8 September 2003
- Re: Bottom up approach to web services
- Bottom up approach to web services
- Re: why can't describe the semantic of DAML-S by Description Logic
Sunday, 7 September 2003
Saturday, 6 September 2003
Thursday, 4 September 2003
Wednesday, 3 September 2003
- RE: FW: Semantics of Preconditions and Effects
- RE: FW: Semantics of Preconditions and Effects
- Re: FW: Semantics of Preconditions and Effects
- FW: Semantics of Preconditions and Effects
Tuesday, 2 September 2003
- Re: 答复: why can't describe the semantic of DAML-S by Description Logic
- 答复: 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
- Your details
- Guilty? You Decide!
- Re: why can't describe the semantic of DAML-S by Description Logic
- why can't describe the semantic of DAML-S by Description Logic
- Re: Congo Example, Preconditions and refersTo