3693 search results - page 436 / 739 » Splitting a Logic Program |
136
click to vote
DOOD
1993
Springer
15 years 7 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
107
click to vote
ICCAD
1991
IEEE
15 years 7 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
142
click to vote
AAAI
2007
15 years 6 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
138
click to vote
DAGSTUHL
2003
15 years 5 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 ...
108
click to vote
EJC
2003
15 years 5 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...