Sciweavers

7456 search results - page 294 / 1492

» Parallelism in Logic Programming

146

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 »

120

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

15 years 10 months ago

A Functorial Framework for Constraint Normal Logic Programming

Download www.sc.ehu.es

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...

claim paper

Read More »

137

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 »

170

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 »

147

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 294 / 1492 Last » Next »