3793 search results - page 358 / 759 » Expressive Description Logics |
168
click to vote
ICTAI
2005
IEEE
16 years 12 days ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
168
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
171
click to vote
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
204
click to vote
CCIA
2008
Springer
15 years 8 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
186
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...