Sciweavers

ECAI
2006
Springer
13 years 8 months ago
A Learning Classifier Approach to Tomography
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
Kees Joost Batenburg
ECAI
2006
Springer
13 years 8 months ago
A Multivalued Logic Model of Planning
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
Marco Baioletti, Alfredo Milani, Valentina Poggion...
ECAI
2006
Springer
13 years 8 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr
ECAI
2006
Springer
13 years 8 months ago
MSDA: Wordsense Discrimination Using Context Vectors and Attributes
We present MSDA (Major Senses Discovery Algorithm)
Abdulrahman Almuhareb, Massimo Poesio
ECAI
2006
Springer
13 years 8 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan
ECAI
2006
Springer
13 years 8 months ago
The Incompleteness of Planning with Volatile External Information
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
Tsz-Chiu Au, Dana S. Nau
ECAI
2006
Springer
13 years 8 months ago
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts
Maria Amalfi, Katia Lo Presti, Alessandro Provetti...
ECAI
2006
Springer
13 years 8 months ago
Polynomial Conditional Random Fields for Signal Processing
We describe Polynomial Conditional Random Fields for signal processing tasks. It is a hybrid model that combines the ability of Polynomial Hidden Markov models for modeling complex...
Trinh Minh Tri Do, Thierry Artières
ECAI
2006
Springer
13 years 8 months ago
Knowing Minimum/Maximum n Formulae
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...
Thomas Ågotnes, Natasha Alechina
ECAI
2006
Springer
13 years 8 months ago
What's a Head Without a Body?
Abstract. Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational obje...
Christian Anger, Martin Gebser, Tomi Janhunen, Tor...