1063 search results - page 37 / 213 » Order and Negation as Failure |
117
click to vote
IJCAI
2007
15 years 2 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
119
Voted
IJCAI
2007
15 years 2 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
129
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
83
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Continuous failures in ERP systems implementation project are today the main challenge in the feasibility of integrated information systems. Failure can be determined by different...
110
Voted
PERVASIVE
2004
Springer
15 years 6 months ago
2004
Springer
We propose a novel solution for securing wireless ad-hoc networks. Our goal is to provide secure key exchange in the presence of device failures and denial-of-service attacks. The ...