Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
APRIL—Agent PRocess Interaction Language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Proceedings of the 8th annual ACM symposium on User interface and software technology
WAXweb: a MOO-based collaborative hypermedia system for WWW
Computer Networks and ISDN Systems
Blackboard-based extensions in Prolog
Software—Practice & Experience
Logic programming with the World-Wide Web
Proceedings of the the seventh ACM conference on Hypertext
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming for processing natural language (tutorial)
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Backtrackable State with Linear Affine Implication and Assumption Grammars
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Problems in Modeling the Software Development Process as an Adventure Game
Proceedings of the International Workshop on Experimental Software Engineering Issues: Critical Assessment and Future Directions
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
A Declarative Language for Querying and Restructuring the Web
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
W-ACE: A Logic Language for Intelligent Internet Programming
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
LogiMOO: a multi-user virtual world with agents and natural language programming
CHI EA '97 CHI '97 Extended Abstracts on Human Factors in Computing Systems
The Eden System: A Technical Review
IEEE Transactions on Software Engineering
How to Talk to Your Computer so that It Will Listen
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Knowledge-based conversational agents and virtual storytelling
Proceedings of the 2004 ACM symposium on Applied computing
| Hi-index | 0.00 |
After reviewing a number of Internet tools and technologies originating in the field of logic programming and discussing promissing directions of ongoing research, we describe a logic programming based networking infrastructure which combines reasoning and knowledge processing with flexible coordination of dynamic state changes and computation mobility, as well as and its use for the design of intelligent mobile agent programs. A lightweight logic programming language, Jinni, implemented in Java is introduced as a flexible scripting tool for gluing together knowledge processing components and Java objects in networked client/server applications and thin client environments as well as through applets over the Web. Mobile threads, implemented by capturing first order continuations in a compact data structure sent over the network, allow Jinni to interoperate with remote high performance BinProlog servers for CPU-intensive knowledge processing. A Controlled Natural Language to Prolog translator with support of third party speech recognition and text-to-speech translation allows interaction with users not familiar with logic programming.