5378 search results - page 262 / 1076 » Base Logics in Argumentation |
161
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
184
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
192
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
216
click to vote
FPGA
1992
ACM
15 years 11 months ago
1992
ACM
The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path...
169
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...