Sciweavers

25218 search results - page 8 / 5044
» A Logic-Based Information System
Sort
View
IJCAI
1993
13 years 8 months ago
PHI - A Logic-Based Tool for Intelligent Help Systems
Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 5 months ago
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Djihed Afifi, David E. Rydeheard, Howard Barringer
APWEB
2011
Springer
13 years 2 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
GCC
2007
Springer
13 years 11 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
AUSAI
2004
Springer
14 years 23 days ago
A Logic Based Approach for Dynamic Access Control
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
Vino Fernando Crescini, Yan Zhang