Sciweavers

10 search results - page 1 / 2
» birthday 2001
Sort
View
BIRTHDAY
2001
Springer
13 years 8 months ago
Circularity and Other Invariants of Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
APAL
2002
56views more  APAL 2002»
13 years 4 months ago
Proof theory in the abstract
eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...
J. M. E. Hyland
BIRTHDAY
2001
Springer
13 years 9 months ago
Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars
A uniquely parsable grammar (UPG) introduced by Morita et al. (1997) is a kind of generative grammar, where parsing can be performed without backtracking. In this paper, we invest...
Jia Lee, Kenichi Morita
BIRTHDAY
2005
Springer
13 years 10 months ago
Planning in Answer Set Programming using Ordered Task Decomposition
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
Jürgen Dix, Ugur Kuter, Dana S. Nau