Combining Multiple Knowledge Representation Technologies into Agent Programming Languages

DOI10.1007/978-3-540-93920-7_5MaRDI QIDQ3601786zbMATH OpenOpenAlexFDO

Authors Mehdi Dastani, Koen Hindriks, Peter Novak, Nick Tinnemeier

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-93920-7_5

Mathematics Subject Classification ID

Theory of programming languages (68N15) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• A declarative agent programming language based on action theories
• Heterogeneous active agents, I: Semantics
• Programming rational agents in GOAL
• Programming rational agents in a modal action logic

Cites work

• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• A verification framework for agent programming with declarative goals
• Foundations of a functional approach to knowledge representation
• Multi-Agent Programming
• Multilanguage hierarchical logics, or: How we can do without modal logics

Cited in

(1)

• A knowledge representation language for natural language processing, simulation and reasoning

Describes a project that uses

Uses Software

• Jadex
• Jason
• IMPACT

This page was built for publication: Combining Multiple Knowledge Representation Technologies into Agent Programming Languages

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