3566 search results - page 7 / 714 » Signed Logic Programs |
CCS
2008
ACM
15 years 9 days ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
ICLP
1991
Springer
15 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
FGR
2004
IEEE
15 years 2 months ago
2004
IEEE
Inspired by the Defense Advanced Research Projects Agency's (DARPA) recent successes in speech recognition, we introduce a new task for sign language recognition research: a ...
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
103
click to vote
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...