Preprint Agentless: Demystifying LLM-based Software Engineering Agents arXiv (Cornell University) 2024 Read Paper Agentless: Demystifying LLM-based Software Engineering Agents Chunqiu Steven Xia, Yinlin Deng, Dunn, Soren, Lingming Zhang arXiv (Cornell University) 2024 Open access Business Process Modeling and Analysis Multi-Agent Systems and Negotiation Semantic Web and Ontologies
Book chapter From proof nets to interaction nets Cambridge University Press eBooks 1995 Read Paper From proof nets to interaction nets Yves Lafont Cambridge University Press eBooks 1995 and Knowledge and type systems Logic Logic, programming, and type systems