Sciweavers

947 search results - page 37 / 190

» Declarative Programming in Prolog

133

ATAL
2010
Springer

152views Intelligent Agents» more ATAL 2010»

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

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

112

BMCBI
2005

74views more BMCBI 2005»

Versatile and declarative dynamic programming using pair algebras

15 years 5 months ago

Versatile and declarative dynamic programming using pair algebras

Download www.techfak.uni-bielefeld.de

Peter Steffen, Robert Giegerich

claim paper

Read More »

119

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

15 years 5 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

109

CORR
2000
Springer

63views Education» more CORR 2000»

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

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

171

ISMIS
1993
Springer

122views Artificial Intelligence» more ISMIS 1993»

Compiling Proof Search in Semantic Tableaux

15 years 10 months ago

Compiling Proof Search in Semantic Tableaux

Download web.sec.uni-passau.de

An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...

Joachim Posegga

claim paper

Read More »

« Prev « First page 37 / 190 Last » Next »