2 papers
cs.AI2003
Logic-Based Specification Languages for Intelligent Software Agents
Viviana Mascardi, Maurizio Martelli, Leon Sterling
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototypin…
cs.PL2001
An Effective Fixpoint Semantics for Linear Logic Programs
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
In this paper we investigate the theoretical foundation of a new bottom-up semantics for linear logic programs, and more precisely for the fragment of LinLog that consists of the l…