Sciweavers

3481 search results - page 215 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

142

AINA
2004
IEEE

106views Computer Networks» more AINA 2004»

Distributed Logic Programming using Mobile Agents

15 years 10 months ago

Distributed Logic Programming using Mobile Agents

Download www.doc.ic.ac.uk

Tzone I. Wang, Keith L. Clark

claim paper

Read More »

152

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 10 months ago

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

135

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

15 years 10 months ago

Modular Equivalence for Normal Logic Programs

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

167

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

15 years 10 months ago

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

Download pubs.doc.ic.ac.uk

Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...

Fariba Sadri, Francesca Toni

claim paper

Read More »

145

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Cost Analysis of Games, Using Program Logic

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

« Prev « First page 215 / 697 Last » Next »