3994 search results - page 90 / 799 » A Linear Logical Framework |
87
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
139
click to vote
RR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
114
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
100
Voted
ENTCS
2006
15 years 17 days ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
109
Voted
EUSFLAT
2009
14 years 10 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...