4266 search results - page 562 / 854 » A Framework for Defining Logics |
201
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
167
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
179
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
162
click to vote
CIKM
1993
Springer
15 years 11 months ago
1993
Springer
: A framework is presented for hypermedia access to weather information originating from gridded data sets. The information is presented on different media (map, text, graph, table...
170
click to vote
EWCBR
1994
Springer
15 years 11 months ago
1994
Springer
We propose in this paper a general framework for integrating inductive and case-based reasoning (CBR) techniques for diagnosis tasks. We present a set of practical integrated appro...