Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Monotone precision and recall measures for comparing executions and specifications of dynamic systems
The behavioural comparison of systems is an important concern of software engineering
research. For example, the areas of specification discovery and specification mining are …
research. For example, the areas of specification discovery and specification mining are …
Goal-oriented end-user programming of robots
End-user programming (EUP) tools must balance user control with the robot's ability to plan
and act autonomously. Many existing task-oriented EUP tools enforce a specific level of …
and act autonomously. Many existing task-oriented EUP tools enforce a specific level of …
Towards a unified view of AI planning and reactive synthesis
Automated planning and reactive synthesis are well-established techniques for sequential
decision making. In this paper we examine a collection of AI planning problems with …
decision making. In this paper we examine a collection of AI planning problems with …
Multi-tier automated planning for adaptive behavior
A planning domain, as any model, is never “complete” and inevitably makes assumptions on
the environment's dynamic. By allowing the specification of just one domain model, the …
the environment's dynamic. By allowing the specification of just one domain model, the …
On the reversibility of actions in planning
Checking whether action effects can be undone is an important question for determining, for
instance, whether a planning task has dead-ends. In this paper, we investigate the …
instance, whether a planning task has dead-ends. In this paper, we investigate the …
Knowledge-based programs as building blocks for planning
Abstract Knowledge-based programs contain both world-altering actions, which upon
execution change the state of the world, and sensing actions, which upon execution change …
execution change the state of the world, and sensing actions, which upon execution change …
Service composition in stochastic settings
With the growth of the Internet-of-Things and online Web services, more services with more
capabilities are available to us. The ability to generate new, more useful services from …
capabilities are available to us. The ability to generate new, more useful services from …
AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics
Acting in robotics is driven by reactive and deliberative reasonings which take place in the
competition between execution and planning processes. Properly balancing reactivity and …
competition between execution and planning processes. Properly balancing reactivity and …
Automatic web services composition for phylotastic
This paper describes an automatic web service composition framework for Phylotastic, a
platform for extracting and reusing phylogenetic trees. The paper begins with a short review …
platform for extracting and reusing phylogenetic trees. The paper begins with a short review …
Determining action reversibility in strips using answer set and epistemic logic programming
In the context of planning and reasoning about actions and change, we call an action
reversible when its effects can be reverted by applying other actions, returning to the original …
reversible when its effects can be reverted by applying other actions, returning to the original …