4737 search results - page 83 / 948 » The LOGIC negotiation model |
DSS
2007
13 years 9 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
ICDE
1989
IEEE
14 years 1 months ago
1989
IEEE
DKE
2006
13 years 9 months ago
2006
CIE
2008
Springer
13 years 9 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...