Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …
in recent research for compliance checking. Although the list of the considered reasoners is …
A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
Deductive formalisms have been strongly developed in recent years; among them, answer
set programming (ASP) gained some momentum and has been lately fruitfully employed in …
set programming (ASP) gained some momentum and has been lately fruitfully employed in …
Combining deep learning and ASP-based models for the semantic segmentation of medical images
Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and
medicine, as it allows to provide clinicians important with information for interventional and …
medicine, as it allows to provide clinicians important with information for interventional and …
[PDF][PDF] A framework for develo** interactive intelligent systems in unity
This paper introduces a lightweight framework for implementing intelligent interactive
systems (IIS). In particular, systems that integrate symbolic knowledge bases for reasoning …
systems (IIS). In particular, systems that integrate symbolic knowledge bases for reasoning …
[PDF][PDF] From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.
Automating acts on touch surfaces opens a range of possibilities for researching and
experimenting with hybrid AI approaches. In this paper, we propose a delta robot capable of …
experimenting with hybrid AI approaches. In this paper, we propose a delta robot capable of …
A logic-based event controller for means-end reasoning in simulation environments
Simulation games are designed to cultivate expertise and rehearse particular skill sets. To
yield longitudinal effects, sequences of events must be crafted to yield intended learning …
yield longitudinal effects, sequences of events must be crafted to yield intended learning …
Smart devices and large scale reasoning via ASP: tools and applications
In the last few years, we have been witnessing the spread of computing devices getting
smaller and smaller (eg, Smartphones, Smart Devices, Raspberry, etc.), and the production …
smaller and smaller (eg, Smartphones, Smart Devices, Raspberry, etc.), and the production …
Tight integration of rule-based tools in game development
In the wider perspective of narrowing down some of the gaps that prevent the adoption of
declarative logic programming within highly dynamically changing environments, we focus …
declarative logic programming within highly dynamically changing environments, we focus …
[PDF][PDF] AI and Videogames: a" Drosophila" for Declarative Methods.
Videogames and research in artificial intelligence (AI) techniques share a fruitful past of
reciprocal knowledge exchange. On the one hand, videogames offer unsolved challenges to …
reciprocal knowledge exchange. On the one hand, videogames offer unsolved challenges to …
Toward an AI-based external scenario event controller for crisis response simulations
There is a need for tool support for structured planning, execution and analysis of simulation-
based training for crisis response and management. As a central component of an …
based training for crisis response and management. As a central component of an …