Sciweavers

975 search results - page 41 / 195

» Declarative Aspect-Oriented Programming

81

Voted

LPE
2001

104views Logical Reasoning» more LPE 2001»

An Integrated Development Environment for Declarative Multi-Paradigm Programming

14 years 11 months ago

An Integrated Development Environment for Declarative Multi-Paradigm Programming

Download www.informatik.uni-kiel.de

Michael Hanus, Johannes Koj

claim paper

Read More »

63

ATAL
2010
Springer

152views Intelligent Agents» more ATAL 2010»

Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals

14 years 11 months ago

Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals

Download www.cse.yorku.ca

Shakil M. Khan

claim paper

Read More »

50

BMCBI
2005

74views more BMCBI 2005»

Versatile and declarative dynamic programming using pair algebras

14 years 9 months ago

Versatile and declarative dynamic programming using pair algebras

Download www.techfak.uni-bielefeld.de

Peter Steffen, Robert Giegerich

claim paper

Read More »

61

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

14 years 9 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

56

CORR
2000
Springer

63views Education» more CORR 2000»

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

14 years 9 months ago

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

Download eprints.whiterose.ac.uk

Jan-Georg Smaus, Patricia M. Hill, Andy King

claim paper

Read More »

« Prev « First page 41 / 195 Last » Next »