Sciweavers

1170 search results - page 64 / 234
» Experience with Ripple-Down Rules
Sort
View
CL
2000
Springer
15 years 1 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
ANLP
1997
111views more  ANLP 1997»
14 years 11 months ago
An Improvement in the Selection Process of Machine Translation Using Inductive Learning with Genetic Algorithms
We proposed a method of machine translation using inductive learning with genetic algorithms, and confirmed the effectiveness of applying genetic algorithms. However, the system b...
Hiroshi Echizen-ya, Kenji Araki, Yoshikazu Miyanag...
JAIR
2007
127views more  JAIR 2007»
14 years 9 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
WADT
2004
Springer
15 years 3 months ago
From Conditional to Unconditional Rewriting
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
Grigore Rosu
COLING
2002
14 years 9 months ago
SOAT: A Semi-Automatic Domain Ontology Acquisition Tool from Chinese Corpus
In this paper, we focus on the domain ontology acquisition from Chinese corpus by extracting rules designed for Chinese phrases. These rules are noun sequences with part-of-speech...
Shih-Hung Wu, Wen-Lian Hsu