Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Research and development challenges for agent-based systemsIEE Proceedings - Software Engineering, 1997
- Agent-based software engineeringIEE Proceedings - Software Engineering, 1997
- Encoding Transition Systems in Sequent Calculus: Preliminary ReportElectronic Notes in Theoretical Computer Science, 1996
- Forum: A multiple-conclusion specification logicTheoretical Computer Science, 1996
- AgentSpeak(L): BDI agents speak out in a logical computable languageLecture Notes in Computer Science, 1996
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- Logic Programming in a Fragment of Intuitionistic Linear LogicInformation and Computation, 1994
- Linear logicTheoretical Computer Science, 1987