Vol-1644⫷ Vol-1645 ⫸Vol-1646
urn:nbn:de:0074-1645-0


Vol-1645/paper_7⫷Vol-1645/paper_20⫸Vol-1645/paper_22
Martin Sticht

Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling