3718 search results - page 122 / 744 » IMPS: System Description |
141
click to vote
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
123
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
169
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
119
click to vote
PDPTA
2003
15 years 5 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
135
click to vote
AAAI
2000
15 years 5 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...