1950 search results - page 15 / 390 » Lambda-Free Logical Frameworks |
RR
2009
Springer
13 years 12 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...
EUSFLAT
2009
13 years 5 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...
JOLLI
2010
13 years 5 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
KBSE
2006
IEEE
14 years 1 months ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
CADE
2006
Springer
14 years 7 months ago
2006
Springer