Sciweavers

10 search results - page 1 / 2
» birthday 2001
Sort
View
48
Voted
BIRTHDAY
2001
Springer
15 years 1 months ago
Circularity and Other Invariants of Gene Assembly in Ciliates
Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...
APAL
2002
56views more  APAL 2002»
14 years 9 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
68
Voted
BIRTHDAY
2001
Springer
15 years 2 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
15 years 3 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