Sciweavers

335 search results - page 26 / 67
» KRRT: Knowledge Representation and Reasoning Tutor System
Sort
View
AOSD
2008
ACM
14 years 11 months ago
Reasoning about aspects with common sense
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
Klaus Ostermann
87
Voted
CL
2000
Springer
15 years 2 months ago
Multi-dimensional Dynamic Logic Programming
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
APIN
2004
89views more  APIN 2004»
14 years 9 months ago
A Prototypical System for Soft Evidential Update
Autonomous agents that communicate using probabilistic information and use Bayesian networks for knowledge representation need an update mechanism that goes beyond conditioning on ...
Young-Gyun Kim, Marco Valtorta, Jirí Vomlel
ATAL
2006
Springer
15 years 1 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
FLAIRS
2006
14 years 11 months ago
Conservative and Creative Strategies for the Refinement of Scoring Rules
In knowledge engineering research the refinement of manually developed intelligent systems is still one of the key issues. Since scoring rules are an intuitive and easy to impleme...
Joachim Baumeister, Martin Atzmüller, Peter K...