Sciweavers

3572 search results - page 191 / 715

» Nominal Logic Programming

169

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 10 months ago

MINERVA - A Dynamic Logic Programming Agent Architecture

Download centria.di.fct.unl.pt

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

claim paper

Read More »

144

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

15 years 10 months ago

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

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

190

FSTTCS
2000
Springer

102views Software Engineering» more FSTTCS 2000»

Dynamically Ordered Probabilistic Choice Logic Programming

15 years 10 months ago

Dynamically Ordered Probabilistic Choice Logic Programming

Download www.cs.bath.ac.uk

We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

126

LOPSTR
2000
Springer

104views Automated Reasoning» more LOPSTR 2000»

Higher-order transformation of logic programs

15 years 10 months ago

Higher-order transformation of logic programs

Download www.cs.nott.ac.uk

Silvija Seres, J. Michael Spivey

claim paper

Read More »

132

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 10 months ago

Verification of Parameterized Systems Using Logic Program Transformations

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

« Prev « First page 191 / 715 Last » Next »