Computational Logic in Multi-Agent Systems

DOI10.1007/b104175zbMath1110.68506MaRDI QIDQ5464688

Peep Küngas, Mihhail Matskin

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Plans, actions and dialogues using linear logic