Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
The Convergence of Schema-Guided Dialogue Systems and the Model Context Protocol
Andreas Schlapbach
This paper establishes a fundamental convergence: Schema-Guided Dialogue (SGD) and the Model Context Protocol (MCP) represent two manifestations of a unified paradigm for determini…
cs.AI2026
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
Andreas Schlapbach
The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this spac…