Sciweavers

654 search results - page 28 / 131
» Graph-based Knowledge Representation and Reasoning
Sort
View
ECAI
2006
Springer
14 years 24 days ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni
DLOG
1998
13 years 10 months ago
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
CL
2000
Springer
14 years 1 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ú...
JUCS
2010
165views more  JUCS 2010»
13 years 7 months ago
Collective Knowledge Engineering with Semantic Wikis
: In the paper application of semantic wikis as knowledge engineering tool in a collaborative environment is considered. Selected aspects of semantic wikis are discussed. The main ...
Grzegorz J. Nalepa
DIAGRAMS
2008
Springer
13 years 11 months ago
The Effects of Users' Background Diagram Knowledge and Task Characteristics upon Information Display Selection
Abstract. This paper explores factors associated with effective external representation (ER) use. We describe an information-processing approach to the assessment of ER knowledge. ...
Beate Grawemeyer, Richard Cox