Logic-based technologies for multi-agent systems: a systematic literature review

R Calegari, G Ciatto, V Mascardi, A Omicini - Autonomous Agents and …, 2021 - Springer
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 …

Characteristics of Students' Abductive Reasoning in Solving Algebra Problems.

IN Hidayah, C Sa'dijah - Journal on Mathematics Education, 2020 - ERIC
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 …

Elaborating requirements using model checking and inductive learning

D Alrajeh, J Kramer, A Russo… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
The process of Requirements Engineering (RE) includes many activities, from goal
elicitation to requirements specification. The aim is to develop an operational requirements …

SAGE: a logical agent-based environment monitoring and control system

K Broda, K Clark, R Miller, A Russo - Ambient Intelligence: European …, 2009 - Springer
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 …

Learning rules from user behaviour

D Corapi, O Ray, A Russo, A Bandara… - … Conference on Artificial …, 2009 - Springer
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 …

Supporting agile user fusion analytics through human-agent knowledge fusion

D Braines, A Preece, C Roberts… - 2021 IEEE 24th …, 2021 - ieeexplore.ieee.org
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 …

Engineering policy-based ubiquitous systems

M Sloman, E Lupu - The Computer Journal, 2010 - academic.oup.com
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 …

Federating policy-driven autonomous systems: Interaction specification and management patterns

A Schaeffer-Filho, E Lupu, M Sloman - Journal of Network and Systems …, 2015 - Springer
Ubiquitous systems and applications involve interactions between multiple autonomous
entities—for example, robots in a mobile ad-hoc network collaborating to achieve a goal …

Speculative abductive reasoning for hierarchical agent systems

J Ma, K Broda, R Goebel, H Hosobe, A Russo… - Computational Logic in …, 2010 - Springer
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 …