Sciweavers

3233 search results - page 378 / 647
» Validation Method for Intelligent Systems
Sort
View
AIED
2005
Springer
15 years 10 months ago
Analyzing Completeness and Correctness of Utterances Using an ATMS
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
Maxim Makatchev, Kurt VanLehn
152
Voted
ATAL
2008
Springer
15 years 7 months ago
Coalitions and announcements
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Hans P. van Ditmarsch
ATAL
2008
Springer
15 years 7 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IAT
2009
IEEE
15 years 11 months ago
Opinion Mining on Newspaper Quotations
— Opinion mining is the task of extracting from a set of documents opinions expressed by a source on a specified target. This article presents a comparative study on the methods ...
Alexandra Balahur, Ralf Steinberger, Erik Van der ...
CEC
2007
IEEE
15 years 11 months ago
Evolving tiles for automated self-assembly design
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
Germán Terrazas, Marian Gheorghe, Graham Ke...