SHIP -- a logic-based language and tool to program smart environments

DOI10.1007/978-3-319-27436-2_19MaRDI QIDQ5743601zbMATH OpenOpenAlexFDO

Authors 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 logicprogramming paradigmsmart environments

Mathematics Subject Classification ID

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

Recommendations

• Towards verification of computation orchestration
• scientific article; zbMATH DE number 1759735
• GOLOG: A logic programming language for dynamic domains
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1834565

Cites work

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

Cited in

(1)

• SHIP

Describes a project that uses

Uses Software

• GOLOG
• Pellet

This page was built for publication: SHIP -- a logic-based language and tool to program smart environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5743601)