7213 search results - page 312 / 1443 » Automated model grouping |
197
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
Automating business processes especially in the tertiary sector is still a challenge as they are normally knowledge intensive, little automated but compliance relevant. To meet the...
161
click to vote
GI
2005
Springer
16 years 8 days ago
2005
Springer
: In order to improve the automation rate of state-of-the-art IVR systems we introduce the application of two key technologies. Semantic processing is performed to analyze the inpu...
162
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
185
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
156
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...