Sciweavers

1137 search results - page 17 / 228

» Partial Program Admission

19

KI
2006
Springer

136views Artificial Intelligence» more KI 2006»

Game-Theoretic Agent Programming in Golog Under Partial Observability

13 years 7 months ago

Game-Theoretic Agent Programming in Golog Under Partial Observability

Download www.kr.tuwien.ac.at

Alberto Finzi, Thomas Lukasiewicz

claim paper

Read More »

14

TOCL
2008

46views more TOCL 2008»

Program termination and well partial orderings

13 years 7 months ago

Program termination and well partial orderings

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

15

FAC
1998

80views more FAC 1998»

Partiality and Nondeterminacy in Program Proofs

13 years 7 months ago

Partiality and Nondeterminacy in Program Proofs

Download www.computing.dcu.ie

Joseph M. Morris, Alexander Bunkenburg

claim paper

Read More »

19

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

13 years 7 months ago

Partial Evaluation of Functional Logic Programs

Download www.cparity.com

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

23

JFLP
2002

81views more JFLP 2002»

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

13 years 7 months ago

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

Download www.informatik.uni-kiel.de

We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...

Elvira Albert, Michael Hanus, Germán Vidal

claim paper

Read More »

« Prev « First page 17 / 228 Last » Next »