3738 search results - page 451 / 748 » Parametrized Logic Programming |
105
click to vote
ICCAD
1991
IEEE
15 years 6 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...
139
click to vote
AAAI
2007
15 years 5 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,...
135
click to vote
DAGSTUHL
2003
15 years 4 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 ...
102
click to vote
EJC
2003
15 years 4 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...
124
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...