Sciweavers

2063 search results - page 130 / 413
» connection 2007
Sort
View
FOAL
2007
ACM
15 years 8 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
GROUP
2007
ACM
15 years 8 months ago
The magic window: lessons from a year in the life of a co-present media space
The windows and doorways that connect offices to public spaces are a site for people to gather awareness information and initiate interaction. However, these portals often reveal ...
Hyun Hoi James Kim, Carl Gutwin, Sriram Subramania...
ICAIL
2007
ACM
15 years 8 months ago
Argumentation and standards of proof
In this paper we examine some previous AI and Law attempts to characterise standards of proof, and relate these to the notions of acceptability found in argumentation frameworks, ...
Katie Atkinson, Trevor J. M. Bench-Capon
ICAIL
2007
ACM
15 years 8 months ago
AVERs: an argument visualization tool for representing stories about evidence
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
Susan W. van den Braak, Gerard Vreeswijk, Henry Pr...
130
Voted
AIPS
2007
15 years 6 months ago
Structural Patterns of Tractable Sequentially-Optimal Planning
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
Michael Katz, Carmel Domshlak