Sciweavers

3970 search results - page 675 / 794
» A Logic For Causal Reasoning
Sort
View
WSC
2000
13 years 11 months ago
Simulation of a production plant in the brick industry
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
Erwin Rybin, Felix Breitenecker
ACL
1989
13 years 11 months ago
Parsing as Natural Deduction
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...
Esther König
COLING
1992
13 years 11 months ago
Translation Ambiguity Resolution Based On Text Corpora Of Source And Target Languages
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
Shinichi Doi, Kazunori Muraki
IJCAI
1989
13 years 11 months ago
Time for Action: On the Relation Between Time, Knowledge and Action
We consider the role played by the concept of action in AI. We first briefly summarize the advantages and limitations of past approaches to taking the concept as primitive, as emb...
Yoav Shoham
SWAP
2007
13 years 11 months ago
Semantic Nearest Neighbor Search in OWL Ontologies
Abstract. A nearest neighbor search procedure is presented, for retrieving resources in knowledge bases expressed in OWL. The procedure exploits a semidistance for annotated resour...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito