348 search results - page 61 / 70 » Justification logics and hybrid logics |
SSDBM
1998
IEEE
14 years 1 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
ASPDAC
2007
ACM
14 years 25 days ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
DALT
2009
Springer
14 years 6 days ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
BMCBI
2007
13 years 8 months ago
2007
Many different approaches have been developed to model and simulate gene regulatory networks. We proposed the following categories for gene regulatory network models: network part...