Heterogeneous active agents. III: Polynomially implementable agents

DOI10.1016/S0004-3702(99)00104-6zbMath0943.68156OpenAlexW2026964753MaRDI QIDQ1978315

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

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

knowledge representationdeontic logicsoftware agentsstratified programsagent development environmentspolynomial agent languages

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (3)

Unnamed Item ⋮ Temporal agent programs ⋮ Systems of agents controlled by logical programs: complexity of verification

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal theories of knowledge in AI and robotics
• Linear unification
• Heterogeneous active agents, I: Semantics
• Heterogeneous active agents, II: Algorithms and complexity
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Reasoning with logic programming
• From logic programming towards multi-agent systems
• Characterizations of the disjunctive stable semantics by partial evaluation
• Computing the well-founded semantics faster

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