2766 search results - page 42 / 554 » Hybridizing a Logical Framework |
129
Voted
JELIA
2000
Springer
15 years 7 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
128
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
150
Voted
SLOGICA
2011
14 years 10 months ago
2011
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
173
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
101
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...