Meta-level programming and knowledge representation
New Generation Computing
Hypertext and structured object representation: an unifying view
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
A language for contextual logic programming
Logic programming languages
The Dexter hypertext reference model
Communications of the ACM
The Amsterdam hypermedia model: adding time and context to the Dexter model
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multimodal logic to define modules in logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Information retrieval in the World-Wide Web: making client-based searching feasible
Selected papers of the first conference on World-Wide Web
Types and inheritance in hypertext
International Journal of Human-Computer Studies - Special issue: object-oriented approaches in artificial intelligence and human-computer interaction
Integrating applications and the World-Wide Web
Proceedings of the Third International World-Wide Web conference on Technology, tools and applications
Metalogic for State Oriented Programming
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
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
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
Trusted-link: web-link enhancement for integrity and trustworthiness
Proceedings of the second ACM workshop on Digital identity management
ALPS (A Language for Process Specification) - A definition language for hypertext trails
Information Services and Use
Extending LogicWeb via Hereditary Harrop Formulas
IEICE - Transactions on Information and Systems
Towards a logic programming infrastructure for internet programming
Artificial intelligence today
Modular logic programming for web data, inheritance and agents
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
| Hi-index | 0.00 |