Sciweavers

1056 search results - page 50 / 212
» ijcai 2007
Sort
View
IJCAI
2001
14 years 11 months ago
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
Volker Haarslev, Ralf Möller
IJCAI
2001
14 years 11 months ago
Efficient Interpretation Policies
Many imaging systems seek a good interpretation of the scene presented -- i.e., a plausible (perhaps optimal) mapping from aspects of the scene to real-world objects. This paper a...
Ramana Isukapalli, Russell Greiner
IJCAI
2001
14 years 11 months ago
An Agent Architecture for Multi-Attribute Negotiation
A component-based generic agent architecture for multi-attribute (integrative) negotiation is introduced and its application is described in a prototype system for negotiation abo...
Catholijn M. Jonker, Jan Treur
IJCAI
2001
14 years 11 months ago
Acquisition of Ontological Knowledge from Canonical Documents
This paper describes experiences with quasiautomated creation of a computational ontology for maritime information from a mixed collection of source material. Based on these exper...
Raphael M. Malyankar
IJCAI
2001
14 years 11 months ago
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
Fabio Massacci