Sciweavers

2752 search results - page 13 / 551
» Rounding to an Integral Program
Sort
View
IFIP
2010
Springer
13 years 3 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
IFIP
2010
Springer
13 years 3 months ago
Match It or Die: Proving Integrity by Equality
Matteo Centenaro, Riccardo Focardi
RR
2009
Springer
14 years 1 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
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...
Robert A. Kowalski, Fariba Sadri