SHIP - A Logic-Based Language and Tool to Program Smart Environments

DOI10.1007/978-3-319-27436-2_19zbMath1473.68034OpenAlexW2395680731MaRDI QIDQ5743601

Serge Autexier, Dieter Hutter

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27436-2_19

zbMATH Keywords

description logicsmart environmentsprogramming paradigm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in artificial intelligence (68T27) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (1)

SHIP

Uses Software

• Pellet
• Unnamed Item

Cites Work

• Planning for temporally extended goals.
• GOLOG: A logic programming language for dynamic domains

This page was built for publication: SHIP - A Logic-Based Language and Tool to Program Smart Environments