Sciweavers

470 search results - page 17 / 94
» FORM facts
Sort
View
ILP
2004
Springer
14 years 3 months ago
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephe...
AAAI
2006
13 years 11 months ago
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
The use of large quantities of common sense has long been thought to be critical to the automated understanding of the world. To this end, various groups have collected repositori...
William Pentney, Ana-Maria Popescu, Shiaokai Wang,...
MFCS
2005
Springer
14 years 3 months ago
Regular Sets of Higher-Order Pushdown Stacks
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
Arnaud Carayol
COLING
2010
13 years 5 months ago
Improving Reordering with Linguistically Informed Bilingual n-grams
We present a new reordering model estimated as a standard n-gram language model with units built from morphosyntactic information of the source and target languages. It can be see...
Josep Maria Crego, François Yvon
RR
2007
Springer
14 years 4 months ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...