Sciweavers

10848 search results - page 420 / 2170
» Programming in Biomolecular Computation
Sort
View
229
Voted
FUIN
2010
130views more  FUIN 2010»
15 years 6 months ago
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
Fabrizio Riguzzi

Lab
597views
17 years 7 months ago
Programming Languages Team (PLT)
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...

Book
285views
17 years 5 months ago
Teachers' Guide to Practical C++ Programming
"This book is designed to provide teaching materials to any instructor who wants to use Practical C++ Programming in his classroom. The materials contained in this book contai...
Steve Oualline

Book
301views
17 years 4 months ago
C Programming Tutorial
"This book is a tutorial. Its aim is to teach C to a beginner, but with enough of the details so as not be outgrown as the years go by. It presumes that you have some previo...
Mark Burgess
190
Voted
KES
2005
Springer
16 years 1 months ago
Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...
Umberto Straccia