784 search results - page 26 / 157 » The logic of tasks |
187
click to vote
JAPLL
2011
15 years 25 days ago
2011
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
156
click to vote
ISMVL
2007
IEEE
16 years 4 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
176
Voted
CL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
151
click to vote
SEMWEB
2007
Springer
15 years 12 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
141
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...