Logic programming with the World-Wide Web
Proceedings of the the seventh ACM conference on Hypertext
A Logic-Based Information System
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
An Integrated Information System Powered by Prolog
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Temporal Contextual Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Multi-theory Logic Language for the World Wide Web
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Integrating Temporal Annotations in a Modular Logic Language
Applications of Declarative Programming and Knowledge Management
ISTO: a language for temporal organizational information systems
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Programming patterns for logtalk parametric objects
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
A transformational semantics of static embedded implications of normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.01 |