Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Jini architecture for network-centric computing
Communications of the ACM
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Tuple-based technologies for coordination
Coordination of Internet agents
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Computer
Coordination technologies for internet agents
Nordic Journal of Computing
Declarative Programming and Clinical Medicine
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Information Sharing among Autonomous Agents in Referral Networks
Agents and Peer-to-Peer Computing
Towards a jitting VM for prolog execution
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Rule-based contextual reasoning in ambient intelligence
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
An implementation of a lightweight argumentation engine for agent applications
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Multi-threading inside prolog for knowledge-based enterprise applications
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
An approach for synchronizing UML models and narrative text in literate modeling
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Unipycation: a case study in cross-language tracing
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
| Hi-index | 0.00 |
Intelligence and interaction are two key-issues in the engineering of todaycomp lex systems, like Internet-based ones. To make logic languages accomplish their vocation of sound enabling technologies for intelligent components, we first need their implementations to strictly meet some engineering properties such as deployability, configurability, and scalability. Then, we should provide them with a wide range of interaction capabilities, according to standards and common practices. This would make logic-based systems also viable tools to build deployable, configurable, dynamic, and possibly intelligent infrastructures. In this paper, we present tuProlog, a light-weight Java-based system allowing configurable and scalable Prolog components to be built and integrated into standard Internet applications according to a multiplicityof different interaction patterns, like JavaBeans, RMI, CORBA, and TCP/IP. Even more, tuProlog offers basic coordination capabilities in terms of logic tuple spaces, which allow complex Internet-based architectures to be designed and governed. This makes it possible to use tuProlog as the core enabling technologyf or Internet infrastructures - as in the case of the TuCSoN and LuCe infrastructures for the coordination of Internet-based multi-agent systems.