Sciweavers

1283 search results - page 66 / 257
» Reasoning With Weighted Ontologies
Sort
View
ATAL
2003
Springer
15 years 5 months ago
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers,...
ICALT
2005
IEEE
15 years 5 months ago
Intelligent Visual Reasoning Tutor
Visual reasoning is an essential skill for many disciplines in engineering and architecture. We describe an intelligent tutoring system for visual reasoning that uses the missing ...
Eric Wang, Yong Se Kim
SEMWEB
2010
Springer
14 years 9 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
OWLED
2007
15 years 1 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi
IFIP
2010
Springer
14 years 6 months ago
Reasoning about Skills and Competencies
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
Maryam Fazel-Zarandi, Mark S. Fox