1663 search results - page 168 / 333 » Description Logics for Interoperability |
148
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
162
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
138
Voted
CADE
2009
Springer
15 years 11 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
120
Voted
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
117
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...