scientific article; zbMATH DE number 1931644

MaRDI QIDQ4708902zbMATH OpenFDO

Authors Stefania Costantini, Arianna Tocchio

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240001.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Logic-based specification languages for intelligent software agents
• A declarative agent programming language based on action theories
• From logic programming towards multi-agent systems
• scientific article; zbMATH DE number 1773056
• Language design issues for agents based on linear logic (extended abstract)

Cited in

(32)

• Agent-oriented programming. From Prolog to guarded definite clauses.
• From logic programming towards multi-agent systems
• An epistemic logic for multi-agent systems with budget and costs
• scientific article; zbMATH DE number 1686286 (Why is no real title available?)
• A logic based asynchronous multi-agent system
• Operational semantics for BDI modules in multi-agent programming
• Contracts Violation: Justification via Argumentation
• An Event-Condition-Action Logic Programming Language
• Context-based commonsense reasoning in the DALI logic programming language
• An agent language with destructive assignment and model-theoretic semantics
• EVOLP: Tranformation-Based Semantics
• Language Constructs for Multi-agent Programming
• A Heuristic Approach to P2P Negotiation
• A declarative agent programming language based on action theories
• scientific article; zbMATH DE number 1234566 (Why is no real title available?)
• scientific article; zbMATH DE number 1301743 (Why is no real title available?)
• scientific article; zbMATH DE number 1305385 (Why is no real title available?)
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• Logic Programming for Multiagent Planning with Negotiation
• Artificial Intelligence and Soft Computing - ICAISC 2004
• scientific article; zbMATH DE number 2085245 (Why is no real title available?)
• scientific article; zbMATH DE number 2087695 (Why is no real title available?)
• scientific article; zbMATH DE number 2087709 (Why is no real title available?)
• scientific article; zbMATH DE number 2088155 (Why is no real title available?)
• Logic-based specification languages for intelligent software agents
• scientific article; zbMATH DE number 7455722 (Why is no real title available?)
• Epistemic logics for modeling group dynamics of cooperative agents, and aspects of theory of mind
• Adding Evolving Abilities to a Multi-Agent System
• Computational Logic in Multi-Agent Systems
• Logic Programming and Nonmonotonic Reasoning
• FLUX: A logic programming method for reasoning agents
• A formal semantics for agent distribution and fault tolerance in Jason

Describes a project that uses

Uses Software

• AgentSpeak
• METATEM

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 Q4708902)