Sciweavers

3765 search results - page 175 / 753
» Qualitative Action Systems
Sort
View
TABLEAUX
1997
Springer
15 years 8 months ago
Tableau Methods for PA-Processes
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
Richard Mayr
KR
2000
Springer
15 years 8 months ago
Iterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
128
Voted
DEON
2006
Springer
15 years 6 months ago
Addressing Moral Problems Through Practical Reasoning
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
Katie Atkinson, Trevor J. M. Bench-Capon
120
Voted
EACL
2003
ACL Anthology
15 years 6 months ago
Automatic Acquisition of Script Knowledge from a Text Collection
In this paper, we describe a method for automatic acquisition of script knowledge from a Japanese text collection. Script knowledge represents a typical sequence of actions that o...
Toshiaki Fujiki, Hidetsugu Nanba, Manabu Okumura
111
Voted
CIB
2005
101views more  CIB 2005»
15 years 4 months ago
Association-Based Segmentation for Chinese-Crossed Query Expansion
The continually and high-rate growth of China's economy has attracted more and more international investors. These investors have an urgent need of identifying patterns in Chi...
Chengqi Zhang, Zhenxing Qin, Xiaowei Yan