3005 search results - page 94 / 601 » Logical Information Systems: from Taxonomies to Logics |
191
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
162
click to vote
TABLEAUX
2007
Springer
16 years 15 days ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
184
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
A design flow for processor platforms with on-chip coarse-grain reconfigurable logic is presented. The reconfigurable logic is realized by a 2-Dimensional Array of Processing Elem...
209
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
160
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...