7892 search results - page 279 / 1579 » Programming with Models |
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
123
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
106
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
114
Voted
AAAI
2008
15 years 4 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...