Sciweavers

367 search results - page 50 / 74
» Prolog
Sort
View
ACL
1998
13 years 9 months ago
Ambiguity Preserving Machine Translation using Packed Representations
In this paper we present an ambiguity preserving translation approach which transfers ambiguous LFG f-structure representations. It is based on packed f-structure representations ...
Martin C. Emele, Michael Dorna
ACL
1998
13 years 9 months ago
Anaphor Resolution in Unrestricted Texts with Partial Parsing
In this paper we deal with several kinds of anaphora in unrestricted texts. These kinds of anaphora are pronominal references, surfacecount anaphora and one-anaphora. In order to ...
Antonio Ferrández, Manuel Palomar, Lidia Mo...
UAI
2003
13 years 9 months ago
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
Vítor Santos Costa, David Page, Maleeha Qaz...
ISMB
1998
13 years 9 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
IWFM
1998
13 years 9 months ago
Strictly Level-Decreasing Logic Programs
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
Anthony Karel Seda, Pascal Hitzler