630 search results - page 5 / 126 » Combining Two Formalism for Reasoning about Concepts |
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
ECMDAFA
2008
Springer
13 years 8 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
EWCBR
1998
Springer
13 years 11 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
ESORICS
2004
Springer
14 years 25 days ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
CLIMA
2007
13 years 9 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...