Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Logic-based technologies for multi-agent systems: a systematic literature review
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …
them be identified with the whole AI by many non-computer-scientists and non-technical …
Characteristics of Students' Abductive Reasoning in Solving Algebra Problems.
When students solve an algebra problem, students try to deduce the facts in the problem.
This step is imperative, students can draw conclusions from the facts and devise a plan to …
This step is imperative, students can draw conclusions from the facts and devise a plan to …
Elaborating requirements using model checking and inductive learning
The process of Requirements Engineering (RE) includes many activities, from goal
elicitation to requirements specification. The aim is to develop an operational requirements …
elicitation to requirements specification. The aim is to develop an operational requirements …
SAGE: a logical agent-based environment monitoring and control system
We propose SAGE, an agent-based environment monitoring and control system based on
computation logic. SAGE uses forward chaining deductive inference to map low level sensor …
computation logic. SAGE uses forward chaining deductive inference to map low level sensor …
Learning rules from user behaviour
Pervasive computing requires infrastructures that adapt to changes in user behaviour while
minimising user interactions. Policy-based approaches have been proposed as a means of …
minimising user interactions. Policy-based approaches have been proposed as a means of …
Supporting agile user fusion analytics through human-agent knowledge fusion
For many types of data and information fusion, input from human users is essential, both in
terms of defining or adjusting the processing steps, as well as in interacting with …
terms of defining or adjusting the processing steps, as well as in interacting with …
[PDF][PDF] Communication of sustainability information and assessment within BIM-enabled collaborative environment
MA Zanni - 2017 - core.ac.uk
Sustainable performance of buildings has become a major concern among construction
industry professionals. However, sustainability considerations are often treated as an add …
industry professionals. However, sustainability considerations are often treated as an add …
Engineering policy-based ubiquitous systems
The advent of miniaturized sensors that can be carried on the body or embedded in the
environment, together with ubiquitous 'smartphones' with various sensors means that …
environment, together with ubiquitous 'smartphones' with various sensors means that …
Federating policy-driven autonomous systems: Interaction specification and management patterns
Ubiquitous systems and applications involve interactions between multiple autonomous
entities—for example, robots in a mobile ad-hoc network collaborating to achieve a goal …
entities—for example, robots in a mobile ad-hoc network collaborating to achieve a goal …
Speculative abductive reasoning for hierarchical agent systems
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate
towards achieving a global goal. However exogenous knowledge of the world can influence …
towards achieving a global goal. However exogenous knowledge of the world can influence …