Sciweavers

9145 search results - page 399 / 1829
» Description Logic Systems
Sort
View

Book
1569views
17 years 6 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
151
Voted
ASPDAC
1998
ACM
112views Hardware» more  ASPDAC 1998»
15 years 11 months ago
Real Time Fault Injection Using Logic Emulators
A hardware based approach to Fault Emulation independent of the logic emulation system in use has been developed and is presented in this paper. Fault injection into a targetted c...
Reza Sedaghat-Maman, Erich Barke
ACSC
2004
IEEE
15 years 10 months ago
Adaptive Cooperative Fuzzy Logic Controller
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
Justin Ammerlaan, David Wright
CADE
1994
Springer
15 years 11 months ago
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
Lars-Henrik Eriksson
SEMWEB
2009
Springer
16 years 1 months ago
Processing OWL2 Ontologies using Thea: An Application of Logic Programming
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
Vangelis Vassiliadis, Jan Wielemaker, Chris Mungal...