BYTE - Lecture notes in computer science Vol. 174
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A layered method for process and code mapping
New Generation Computing
Computation control and protection in the Logix system
Concurrent Prolog: collected papers
Communications of the ACM
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
Concurrent constraint programming
Concurrent constraint programming
Programming by multiset transformation
Communications of the ACM
A survey of logic programming-based object-oriented languages
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
CC++: a declarative concurrent object-oriented programming notation
Research directions in concurrent object-oriented programming
Conference proceedings on PARLE'92
Distributed programming with logic tuple spaces
New Generation Computing
APRIL—Agent PRocess Interaction Language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
Blackboard-based extensions in Prolog
Software—Practice & Experience
PageSpace: an architecture to coordinate distributed applications on the Web
Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Extending the &mgr;log framework with local and conditional blackboard operations
Journal of Symbolic Computation - Special issue on parallel symbolic computation
Programming languages for mobile code
ACM Computing Surveys (CSUR)
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Gamma and the chemical reaction model: ten years after
Coordination programming
Applications of a Web query language
Selected papers from the sixth international conference on World Wide Web
Programming languages for distributed applications
New Generation Computing
A logic for a coordination model with multiple spaces
Science of Computer Programming
Learning to extract symbolic knowledge from the World Wide Web
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Context interchange: new features and formalisms for the intelligent integration of information
ACM Transactions on Information Systems (TOIS)
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Abstractions for mobile computations
Secure Internet programming
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Coordinating Java agents over the WWW
World Wide Web
Coordination in a Content-Addressable Web
Autonomous Agents and Multi-Agent Systems
Intelligent Agents on the Internet: Fact, Fiction, and Forecast
IEEE Expert: Intelligent Systems and Their Applications
Queries and Computation on the Web
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Ruling Agent Motion in Structured Environments
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Object Fusion in Mediator Systems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Parallel Logic Programming Using the Linda Model of Computation
Research Directions in High-Level Parallel Programming Languages
PARLE '92 Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
µ2 Log: Towards Remote Coordination
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A Coordination Model Agents Based on Secure Spaces
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Programming Internet Based DAI Applications in Qu-Prolog
Selected Papers from the 4th Australian Workshop on Distributed Artificial Intelligence, Multi-Agent Systems: Theories, Languages, and Applications
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Combining Statistical and Relational Methods for Learning in Hypertext Domains
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Agent Coordination and Control through Logic Theories
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Coordination technologies for internet agents
Nordic Journal of Computing
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
A Note on Distributed Computing
A Note on Distributed Computing
Secure Prolog-based mobile code
Theory and Practice of Logic Programming
DRL: A distributed real-time logic language
Computer Languages
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
Journal of Systems and Software
| Hi-index | 0.01 |
We specify the major characteristics of the Internet under the headings: heterogeneity, service characteristics, dynamic nature, no global notions, and unreliability (i.e. security and partial failure). In the process, we identify five categories of Internet services: hosts, active entities, agents, semistructured data, and passive code.Logic Programming (LP) languages for the Internet are divided into six broad groups: shared variables, coordination, message passing, clientside execution, server-side execution, and integration of heterogeneous data sources. Within each group we attempt to highlight the advantages and disadvantages for Internet programming in terms of our Internet characteristics and services, and describe LP languages that typify the group.