9145 search results - page 32 / 1829 » Description Logic Systems |
110
click to vote
TCS
2008
15 years 11 days ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
121
click to vote
RCC
2002
15 years 3 days ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
88
Voted
SAC
2008
ACM
14 years 12 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
141
Voted
ARGMAS
2009
Springer
15 years 7 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
78
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...