scientific article; zbMATH DE number 2080355

zbMATH Open1056.68562MaRDI QIDQ4473080FDOQ4473080

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (13)

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

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)