2302 search results - page 373 / 461 » Basic Description Logics |
136
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
138
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
122
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
138
Voted
ENTCS
2002
15 years 4 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
125
click to vote
ENTCS
2002
15 years 4 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...