Sciweavers

2599 search results - page 310 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
ICRA
2007
IEEE
151views Robotics» more  ICRA 2007»
16 years 26 days ago
Sensor Analysis for Fault Detection in Tightly-Coupled Multi-Robot Team Tasks
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
Xingyan Li, Lynne E. Parker
ECAI
2004
Springer
15 years 12 months ago
A Syntactical Approach to Revision
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
Guilherme Bittencourt, Laurent Perrussel, Jerusa M...
CADE
2002
Springer
16 years 6 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
DAGSTUHL
2007
15 years 8 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
AAAI
2006
15 years 8 months ago
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model
Tables on web pages contain a huge amount of semantically explicit information, which makes them a worthwhile target for automatic information extraction and knowledge acquisition...
Wolfgang Gatterbauer, Paul Bohunsky