✦ LIBER ✦

Temporal logic programming for assembly sequence planning

✍ Scribed by Kiam Tian Seow; R. Devanathan

Book ID: 108030808
Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 1013 KB
Volume: 8
Category: Article
ISSN: 0954-1810
DOI: 10.1016/0954-1810(93)90008-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending constraint logic programming f

Extending constraint logic programming for temporal reasoning

✍ Evelina Lamma; Michela Milano; Paola Mello 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 200 KB

Subassembly identification for assembly

Subassembly identification for assembly sequence planning

✍ Wang, Yong; Liu, Jihong 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 378 KB

A logic programming framework for planni

A logic programming framework for planning and simulation

✍ Ronald M Lee; Louis W Miller 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 725 KB

Time-extraction for temporal logic-logic

Time-extraction for temporal logic-logic programming and local process time

✍ Takashi Hattori 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 783 KB

Temporal logic is useful to describe a variety of computer systems such as operating systems and real-time process control systems, where explicit treatment of time plays an essential role. In the logic, the notion of time is represented by a sequence of states at each point in time, which is called

Imperialist competitive algorithm for as

Imperialist competitive algorithm for assembly sequence planning

✍ Zhou, Wei; Yan, Jianjun; Li, Yong; Xia, Chunming; Zheng, Jianrong 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 471 KB

EMRA plans program for 1980 Scientific A

EMRA plans program for 1980 Scientific Assembly

📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 67 KB