scientific article; zbMATH DE number 2080355

MaRDI QIDQ4473080zbMATH OpenFDO

Authors Koen Hindriks, Wiebe van der Hoek, Frank S. de Boer, John-Jules Meyer

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1986/19860228.htm

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• A verification framework for agent programming with declarative goals
• Programming rational agents in GOAL
• GOAL Agents Instantiate Intention Logic
• GOAL agents instantiate intention logic
• A declarative agent programming language based on action theories

Cited in

(13)

• Natural strategic ability
• A verification framework for agent programming with declarative goals
• Research on goal description logics (GDLs)
• Arbitrary arrow update logic
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• Programming rational agents in GOAL
• A declarative agent programming language based on action theories
• The rationale behind the concept of goal
• Refining autonomous agents with declarative beliefs and desires
• Computational Logic in Multi-Agent Systems
• GOAL agents instantiate intention logic
• GOAL Agents Instantiate Intention Logic
• Where logic and agents meet

This page was built for publication:

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