Search
Search Results
-
Behavioral QLTL
This paper introduces Behavioral QLTL, a “behavioral” variant of Linear Temporal Logic (ltl) with second-order quantifiers. Behavioral qltlis...
-
Generalized 3-Valued Belief States in Conformant Planning
The high complexity of planning with partial observability has motivated to find compact representations of belief state (sets of states) that reduce...
-
deon- \(\mathcal {B}\) : A Language for Well-Founded Deontic Planning
Declarative languages are widely used for reasoning about actions and planning, with semantics and extensions to cater for different needs. We...
-
-
A knowledge compilation perspective on queries and transformations for belief tracking
Nondeterministic planning is the process of computing plans or policies of actions achieving given goals, when there is nondeterministic uncertainty...
-
Behavioral QLTL
This paper introduces Behavioral QLTL, a “behavioral” variant of Linear Temporal Logic (ltl) with second-order quantifiers. Behavioral qltl is...
-
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Research in automated planning traditionally focuses on model-based approaches that often sacrifice expressivity for computational efficiency. For...
-
From Model-Based Learning to Model-Free Behaviour with Meta-Interpretive Learning
A “model" is a theory that describes the state of an environment and the effects of an agent’s decisions on the environment. A model-based agent can...
-
Towards Reactive Planning with Digital Twins and Model-Driven Optimization
Digital Twins are emerging in several domains. They allow to connect various models with running systems based on bi-directional data exchange. Thus,...
-
Snap4City Digital Twin Meeting European CityVerse Action
The CityVerse initiative, part of the European Commission’s Digital Decade Policy Program 2030, aims to promote shared investments in digital...
-
A Formal Factorization Approach of Non-deterministic Plans: Application to an Anti-poaching Robotic Mission Scenario
Surveillance, search and rescue, or monitoring missions in hazardous environments can be executed by a team of heterogeneous robots embedding...
-
Meta-Prompting Generative AI for Standards-Based IT Project Management Documentation Using Business Data Semantics
High-quality documentation is essential during the initiation phase of IT projects, yet producing standards-based artefacts remains time-consuming...
-
Mobile sensor patrol path planning in partially observable border regions
A border surveillance operation requires sophisticated sensor planning, as sensors are usually scarce and cannot cover an entire region...
-
Agile Culture
To be successful, UX professionals need to be adept with the language and attitudes of Agile development. Agile values and culture make some...
-
Electromechanic for Development of Embedded Systems
The Automotive SPICE® (ASPICE) assessment model is maintained by the Verband der Automobilindustrie e.V. (VDA). The current version PAM 4.0 (...
-
Understanding the Variety of Domain Models: Views, Programs, Animations, and Other Models
Humanity has long since used models, in different shapes and forms, to understand, redesign, communicate about, and shape, the world around us;...
-
Structured and Intelligent Technical Writing
This chapter analyzes the transformation of technical writing into a structured, intelligence‑enabled content engineering discipline. It first...
-
Templates
A SNOMED CT® template is a reusable pattern for authoring SNOMED CT® content definitions, descriptions, and queries. Templates may be used for a...
-
The Universal Design of ICT Maturity Model (UDMM)
This work describes the development of a novel maturity model for assessing the quality of an organization’s work with universal design of ICT, as...
-
Reference Architectures for Industry 4.0
The adoption of Industry 4.0 requires reconsideration of plant software architecture due to the strict layers of the automation pyramid hindering the...