Sciweavers

1328 search results - page 31 / 266
» Cut-free common knowledge
Sort
View
169
Voted
VLDB
1990
ACM
101views Database» more  VLDB 1990»
15 years 10 months ago
Non-Monotonic Knowledge Evolution in VLKDBs
Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches....
Christian Esculier
ICIA
2007
15 years 9 months ago
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...
Patrick Beeson, Matt MacMahon, Joseph Modayil, Ani...
ICTAI
1997
IEEE
15 years 10 months ago
Knowledge Refinement to Debug and Maintain a Tablet Formulation System
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
Susan Craw, Robin Boswell, Ray Rowe
PODC
1995
ACM
15 years 10 months ago
Knowledge-Based Programs
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
CGIM
2003
15 years 8 months ago
Incorporating VR Databases into AI Knowledge Representations: A Framework for Intelligent Graphics Applications
This article presents a framework for incorporating commonly used VR (Virtual Reality) databases for graphics and physics simulation into an AI (Artificial Intelligence) knowledg...
Marc Erich Latoschik, M. Schilling