2519 search results - page 297 / 504 » Reasoning with Textual Cases |
134
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
Two conciliation processes for intelligent agents based on an iterated mergethen-revise change function for belief profiles are introduced and studied. The first approach is ske...
164
click to vote
ESWS
2005
Springer
16 years 3 days ago
2005
Springer
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
202
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
130
click to vote
ICCBR
2005
Springer
16 years 3 days ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
183
click to vote
ICFEM
2005
Springer
16 years 3 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...