895 search results - page 44 / 179 » A Spectrum of Applications of Automated Reasoning |
146
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
157
click to vote
ACSC
2002
IEEE
15 years 9 months ago
2002
IEEE
Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current...
127
click to vote
ICNP
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
135
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Cell viability is one of the basic properties indicating the physiological state of the cell, thus, it has long been one of the major considerations in biotechnologica...
133
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Case-based reasoning systems routinely record the results of prior problem-solving, but not the provenance of new cases: the way in which the new cases were derived. This paper pro...