1435 search results - page 128 / 287 » Description Logics |
140
click to vote
JLP
2000
15 years 3 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
129
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
110
click to vote
TAMODIA
2008
15 years 5 months ago
2008
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
134
click to vote
CIC
2004
15 years 5 months ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
130
Voted
CADE
2010
Springer
15 years 5 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...