Sciweavers

1360 search results - page 91 / 272
» Reasoning on Workflow Executions
Sort
View
105
Voted
FLAIRS
2008
15 years 5 months ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie
146
Voted
FOIKS
2008
Springer
15 years 5 months ago
Defeasible Reasoning and Partial Order Planning
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
Diego R. García, Alejandro Javier Garc&iacu...
133
Voted
FLAIRS
2006
15 years 4 months ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton
170
Voted
CSSE
2008
IEEE
15 years 10 months ago
Web Services Composition Method Based on OWL
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
Jike Ge, Yuhui Qiu, Shiqun Yin
155
Voted
APAQS
2001
IEEE
15 years 7 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen