2519 search results - page 466 / 504 » Reasoning with Textual Cases |
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
125
click to vote
ROBOCUP
2004
Springer
15 years 5 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
112
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...