Search Sciweavers | Sciweavers

3441 search results - page 10 / 689

» Parallel Logic Programming Systems

click to vote

ECOOPW
1998
Springer

119views Distributed And Parallel Com...» more ECOOPW 1998»

Aspect-Oriented Logic Meta Programming

13 years 11 months ago

Download trese.cs.utwente.nl

It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...

Kris De Volder

claim paper

Read More »

click to vote

IJCAI
1989

86views Artificial Intelligence» more IJCAI 1989»

Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking

13 years 8 months ago

Download dli.iiit.ac.in

A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...

Nikos Drakos

claim paper

Read More »

click to vote

EPIA
2009
Springer

152views Artificial Intelligence» more EPIA 2009»

A Logic Programming System for Evolving Programs with Temporal Operators

14 years 1 months ago

Download centria.di.fct.unl.pt

Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...

José Júlio Alferes, Alfredo Gabaldon...

claim paper

Read More »

click to vote

LOPSTR
2007
Springer

103views Automated Reasoning» more LOPSTR 2007»

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

14 years 1 months ago