Sciweavers

6826 search results - page 1139 / 1366
» Business Process Intelligence
Sort
View
143
Voted
ACL
2004
15 years 6 months ago
Developing a Flexible Spoken Dialog System Using Simulation
In this paper, we describe a new methodology to develop mixed-initiative spoken dialog systems, which is based on the extensive use of simulations to accelerate the development pr...
Grace Chung
IJCAI
2001
15 years 6 months ago
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
Patrick Doherty, Witold Lukaszewicz, Andrzej Szala...
IJCAI
2001
15 years 6 months ago
Reasoning about Categories in Conceptual Spaces
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
Peter Gärdenfors, Mary-Anne Williams
IJCAI
1997
15 years 6 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
IJCAI
1997
15 years 6 months ago
Anytime Belief Revision
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
Mary-Anne Williams
« Prev « First page 1139 / 1366 Last » Next »