Heterogeneous active agents. III: Polynomially implementable agents

DOI10.1016/S0004-3702(99)00104-6MaRDI QIDQ1978315zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, V. S. Subrahmanian, T. J. Rogers

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00104-6

zbMATH Keywords

deontic logicknowledge representationstratified programssoftware agentsagent development environmentspolynomial agent languages

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Heterogeneous active agents, II: Algorithms and complexity
• Heterogeneous active agents, I: Semantics
• Probabilistic agent programs
• Secure agents
• Programming rational agents in GOAL

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Characterizations of the disjunctive stable semantics by partial evaluation
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Computing the well-founded semantics faster
• Formal theories of knowledge in AI and robotics
• From logic programming towards multi-agent systems
• Heterogeneous active agents, I: Semantics
• Heterogeneous active agents, II: Algorithms and complexity
• Linear unification
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Reasoning with logic programming

Cited in

(4)

• scientific article; zbMATH DE number 7453147 (Why is no real title available?)
• Temporal agent programs
• Systems of agents controlled by logical programs: complexity of verification
• Heterogeneous temporal probabilistic agents

This page was built for publication: Heterogeneous active agents. III: Polynomially implementable agents

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