Sciweavers

3066 search results - page 402 / 614
» On Facilitating Automated Evaluation
Sort
View
KR
2004
Springer
14 years 1 months ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
KR
2004
Springer
14 years 1 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
LPNMR
2004
Springer
14 years 1 months ago
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
José Júlio Alferes, Federico Banti, ...
MLMI
2004
Springer
14 years 1 months ago
Shallow Dialogue Processing Using Machine Learning Algorithms (or Not)
This paper presents a shallow dialogue analysis model, aimed at human-human dialogues in the context of staff or business meetings. Four components of the model are defined, and ...
Andrei Popescu-Belis, Alexander Clark, Maria Georg...
TSD
2004
Springer
14 years 1 months ago
Rapid Dialogue Prototyping Methodology
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
Trung H. Bui, Martin Rajman, Miroslav Melichar