Sciweavers

1368 search results - page 31 / 274
» Personality-Based Practical Reasoning
Sort
View
IJCAI
2007
15 years 3 months ago
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning
To enhance effectiveness in real world applications, autonomous agents have to develop cognitive competencies and anticipatory capabilities. Here we point out their strong liaison...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
CACM
2010
113views more  CACM 2010»
15 years 1 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
OPODIS
2007
15 years 3 months ago
Small-World Networks: From Theoretical Bounds to Practical Systems
Abstract. In small-world networks, each peer is connected to its closest neighbors in the network topology, as well as to additional long-range contact(s), also called shortcut(s)....
François Bonnet, Anne-Marie Kermarrec, Mich...
103
Voted
AAAI
2007
15 years 4 months ago
Action-Based Alternating Transition Systems for Arguments about Action
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
Katie Atkinson, Trevor J. M. Bench-Capon
EDBT
1990
ACM
108views Database» more  EDBT 1990»
15 years 5 months ago
Deductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
Carlo Zaniolo