Sciweavers

718 search results - page 77 / 144
» On Defaults in Action Theories
Sort
View
DEXA
2000
Springer
76views Database» more  DEXA 2000»
15 years 5 months ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio
CIKM
2008
Springer
15 years 2 months ago
An extended cooperative transaction model for xml
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
Francis Gropengießer, Kai-Uwe Sattler
ESANN
2004
15 years 2 months ago
Neural dynamics for task-oriented grouping of communicating agents
Abstract. Many real world problems are given in the form of multiple measurements comprising local descriptions or tasks. We propose that a dynamical organization of a population o...
Jochen J. Steil
91
Voted
ECIS
2001
15 years 2 months ago
Critical Information Systems Research: A Habermasian Approach
The paper presents a critical inquiry into the relationship between Computer-Mediated Communication (CMC) and progressive rationalisation in modern organisations. By drawing on th...
Dubravka Cecez-Kecmanovic
AAAI
1990
15 years 2 months ago
Indexical Knowledge in Robot Plans
Robots act upon and perceive the world from a particular perspective. It is important to recognize this relativity to perspective if one is not to be overly demanding in specifyin...
Yves Lespérance, Hector J. Levesque