Search Sciweavers | Sciweavers

3470 search results - page 94 / 694

» Head-Elementary-Set-Free Logic Programs

101

Voted

ECAI
2006
Springer

95views Artificial Intelligence» more ECAI 2006»

Modular Equivalence for Normal Logic Programs

15 years 8 months ago

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

133

Voted

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

15 years 8 months ago

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 »

116

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 8 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

112

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 8 months ago

Download www.aaai.org

Marc Denecker

claim paper

Read More »

135

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers