Sciweavers

4513 search results - page 221 / 903

» Logic programming with satisfiability

114

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 »

148

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 »

131

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 »

166

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 221 / 903 Last » Next »