4401 search results - page 166 / 881 » Computing with Default Logic |
118
click to vote
FPL
2001
Springer
15 years 7 months ago
2001
Springer
Field programmable gate arrays (FPGAs) are flexible programmable devices that are used in a wide variety of applications such as network routing, signal processing, pattern recogni...
136
Voted
TIME
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
115
click to vote
DEON
2004
Springer
15 years 8 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
107
Voted
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present the linear type theory LLF as the forThis extended abstract will appear on the proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science -LICS'...
99
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...