Extending answer sets for logic programming agents

DOI10.1023/B:AMAI.0000034524.89865.D2zbMath1079.68095MaRDI QIDQ702105

M. De Vos, Dirk Vermeir

Publication date: 17 January 2005

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

zbMATH Keywords

game theoryknowledge representationAnswer set programmingmulti-agent sytems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results

Uses Software

• Smodels

This page was built for publication: Extending answer sets for logic programming agents