2766 search results - page 418 / 554 » Hybridizing a Logical Framework |
121
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
137
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
158
click to vote
WETICE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
137
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
157
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...