Logic-Based Specification Languages for Intelligent Software Agents: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 14:5314:53, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 2,091 bytes +2,091‎ Created page with "Title: Logic-Based Specification Languages for Intelligent Software Agents Abstract: This paper reviews six logic-based specification languages: ConGolog, AGENT-0, IMPACT agent programming language, Dylog, Concurrent METATEM, and Ehhf. Each language's logic foundations and an example of use are described. The paper also compares the six languages and discusses the advantages of using logic-based languages in MAS modeling and prototyping. Keywords: Agent-oriented softwa..."
Retrieved from "https://simplesci.org/wiki/Logic-Based_Specification_Languages_for_Intelligent_Software_Agents"