Sciweavers

244 search results - page 41 / 49
» Iterated belief revision, revised
Sort
View
APPINF
2003
13 years 8 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
AMAI
2007
Springer
13 years 7 months ago
Distance semantics for database repair
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
ACL
2011
12 years 11 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
AIIDE
2008
13 years 9 months ago
An Intelligent IDE for Behavior Authoring in Real-Time Strategy Games
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
Suhas Virmani, Yatin Kanetkar, Manish Mehta, Santi...
ECSCW
1993
13 years 8 months ago
The Designers' Notepad: Supporting and Understanding Cooperative Design
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
Michael Twidale, Tom Rodden, Ian Sommerville