Sciweavers

13827 search results - page 11 / 2766
» The state of artificial intelligence
Sort
View
IVA
2005
Springer
14 years 2 months ago
Emotion in Artificial Intelligence and Artificial Life Research: Facing Problems
Psychology and cognitive neuroscience researches are increasingly showing how emotion plays a crucial role in cognitive processes. Gradually, this knowledge is being used in Artifi...
Jackeline Spinola de Freitas, Ricardo R. Gudwin, J...
CSEDU
2009
294views Education» more  CSEDU 2009»
13 years 9 months ago
Artificial Life Contest - A Tool for Informal Teaching of Artificial Intelligence
Diego H. Milone, Georgina Stegmayer, Daniel Beber
CSCLP
2006
Springer
14 years 8 days ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
APN
2009
Springer
14 years 3 months ago
ASAP: An Extensible Platform for State Space Analysis
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
Michael Westergaard, Sami Evangelista, Lars Michae...
TABLEAUX
2009
Springer
14 years 3 months ago
Sound Global State Caching for ALC with Inverse Roles
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
Rajeev Goré, Florian Widmann