Sciweavers

1849 search results - page 191 / 370
» Intelligent Expressions of Emotions
Sort
View
AAAI
1990
15 years 7 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune
AIPS
2009
15 years 7 months ago
Extended Goals for Composing Services
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
Eirini Kaldeli, Alexander Lazovik, Marco Aiello
AAMAS
2008
Springer
15 years 6 months ago
Norms and plans as unification criteria for social collectives
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
Aldo Gangemi
AI
2008
Springer
15 years 6 months ago
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Ernest Davis
KI
2008
Springer
15 years 6 months ago
Interactive Dynamic Information Extraction
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request for a topic description which is ...
Kathrin Eichler, Holmer Hemsen, Markus Löckel...