850 search results - page 58 / 170 » A Logic Programming Language Based on Binding Algebras |
113
click to vote
ADT
2006
15 years 1 months ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
112
click to vote
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
128
click to vote
CLIMA
2010
15 years 2 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
110
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...