Sciweavers

3238 search results - page 357 / 648
» On the Computational Interpretation of Negation
Sort
View
JCP
2008
142views more  JCP 2008»
15 years 6 months ago
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
Boleslaw Mikolajczak, Nirmal Gami
MCS
2008
Springer
15 years 6 months ago
Public policy, innovation and total factor productivity: An application to Taiwan's manufacturing industry
: This paper examines the impact of being an innovator on firm productivity in Taiwan. Using a panel of 48794 firms observed over the 1997-2003 period, and distributed across 23 in...
Chia-Lin Chang, Stéphane Robin
JSAT
2006
126views more  JSAT 2006»
15 years 6 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 6 months ago
Specialization of Functional Logic Programs Based on Needed Narrowing
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
María Alpuente, Michael Hanus, Salvador Luc...
CORR
2002
Springer
132views Education» more  CORR 2002»
15 years 6 months ago
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
Sarit Kraus, Daniel J. Lehmann, Menachem Magidor