Sciweavers

8766 search results - page 70 / 1754
» Functional logic programming
Sort
View
LPNMR
1999
Springer
14 years 1 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
IDT
2010
124views more  IDT 2010»
13 years 7 months ago
Modelling decision making with probabilistic causation
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
Luís Moniz Pereira, Carroline Kencana Ramli
EUROGP
2000
Springer
116views Optimization» more  EUROGP 2000»
14 years 17 days ago
An Extrinsic Function-Level Evolvable Hardware Approach
1 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in rst time. The new representation of logic...
Tatiana Kalganova
CADE
2008
Springer
14 years 9 months ago
Quantitative Separation Logic and Programs with Lists
Marius Bozga, Radu Iosif, Swann Perarnau