Heterogeneous active agents. III: Polynomially implementable agents

DOI10.1016/S0004-3702(99)00104-6zbMATH Open0943.68156OpenAlexW2026964753MaRDI QIDQ1978315FDOQ1978315

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

Recommendations

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

zbMATH Keywords

deontic logicknowledge representationstratified programssoftware agentsagent development environmentspolynomial agent languages

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Heterogeneous active agents, I: Semantics
• From logic programming towards multi-agent systems
• Title not available (Why is that?)
• Linear unification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Heterogeneous active agents, II: Algorithms and complexity
• Characterizations of the disjunctive stable semantics by partial evaluation
• Nonmonotonic reasoning: Towards efficient calculi and implementations
• Formal theories of knowledge in AI and robotics
• Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
• Reasoning with logic programming
• Computing the well-founded semantics faster

Cited In (4)

• Title not available (Why is that?)
• 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)