1137 search results - page 123 / 228 » Logic Programming for Knowledge Representation |
110
click to vote
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
185
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Choosing the right representation for a problem is important. In this article we introduce a linear genetic programming approach for motif discovery in protein families, and we al...
148
click to vote
CLIMA
2006
15 years 4 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
122
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
119
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...