9626 search results - page 452 / 1926 » Invariant Based Programming |
179
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
156
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents an investigation of genetic programming fitness landscapes. We propose a new indicator of problem hardness for tree-based genetic programming, called negative ...
189
click to vote
ICLP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
186
click to vote
LOPSTR
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
171
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...