LPAR
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
JSAI
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Infants acquire spoken language through hearing and imitating utterances mainly from their parents [1,2,3] but never imitate their parents’ voices as they are. What in ...