Search Sciweavers | Sciweavers

8766 search results - page 300 / 1754

» Functional logic programming

115

click to vote

ECAI
2006
Springer

89views Artificial Intelligence» more ECAI 2006»

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

15 years 6 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 »

102

Voted

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 6 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

click to vote

ASP
2001
Springer

95views Automated Reasoning» more ASP 2001»

On the Epistemological foundations of Logic Programming and its Extensions

15 years 6 months ago

Download www.aaai.org

Marc Denecker

claim paper

Read More »

123

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 6 months ago

Download centria.di.fct.unl.pt

João Alexandre Leite, José Jú...

claim paper

Read More »

100

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers