1966 search results - page 106 / 394 » Description Logics and Planning |
170
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
155
click to vote
AIPS
2006
15 years 7 months ago
2006
We describe HDL, an algorithm that learns HTN domain descriptions by examining plan traces produced by an expert problem-solver. Prior work on learning HTN methods requires that a...
161
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
117
click to vote
ACL
1990
15 years 7 months ago
1990
In the right situation, a speaker can use an unqualified indefinite description without being misunderstood. This use of language, normal slate implicature, is a kind of conversat...
180
click to vote
LOGCOM
2000
15 years 6 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...