Sciweavers

1328 search results - page 31 / 266
» Cut-free common knowledge
Sort
View
VLDB
1990
ACM
101views Database» more  VLDB 1990»
14 years 2 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
14 years 15 days 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
14 years 1 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
14 years 1 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
13 years 11 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