Sciweavers

117 search results - page 24 / 24
» Concept Unification of Terms in Different Languages for IR
Sort
View
ACSC
2007
IEEE
13 years 11 months ago
Periodical Payment Model Using Restricted Proxy Certificates
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
Grigori Goldman
CORR
2004
Springer
124views Education» more  CORR 2004»
13 years 5 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini