Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Cooperation and competition in ALIAS: A logic framework for agents that negotiate

From MaRDI portal
Publication:1861899
Jump to:navigation, search

DOI10.1023/A:1020259411066zbMath1023.68095WikidataQ57977984 ScholiaQ57977984MaRDI QIDQ1861899

Paolo Torroni, Paola Mello, Francesca Toni, Evelina Lamma, Anna Ciampolini

Publication date: 10 March 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)


zbMATH Keywords

coordinationnegotiationdialogueabductive reasoninglogic agents


Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)


Related Items (4)

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ DESIGNING PROTOCOLS FOR ABDUCTIVE HYPOTHESIS REFINEMENT IN DYNAMIC MULTIAGENT ENVIRONMENTS ⋮ Where logic and agents meet ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments


Uses Software

  • LAILA
  • METATEM





This page was built for publication: Cooperation and competition in ALIAS: A logic framework for agents that negotiate

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1861899&oldid=14256244"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 11:36.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki