Sciweavers

1153 search results - page 75 / 231
» The Complexity of Revision, Revised
Sort
View
KR
2000
Springer
15 years 1 months ago
Iterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
Steven Shapiro, Maurice Pagnucco, Yves Lespé...
LPNMR
1995
Springer
15 years 1 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
INTERACT
2007
14 years 11 months ago
The Use of Information Visualization to Support Software Configuration Management
This paper addresses the visualization of the collaboration history in the development of software items using a simple interactive representation called Revision Tree. The visuali...
Roberto Therón, Antonio González Tor...
CCCG
2004
14 years 11 months ago
Three-dimensional 1-bend graph drawings
We consider three-dimensional grid-drawings of graphs with at most one bend per edge. Under the additional requirement that the vertices be collinear, we prove that the minimum vo...
Pat Morin, David R. Wood
ACL
2001
14 years 11 months ago
Towards Automatic Classification of Discourse Elements in Essays
Educators are interested in essay evaluation systems that include feedback about writing features that can facilitate the essay revision process. For instance, if the thesis state...
Jill Burstein, Daniel Marcu, Slava Andreyev, Marti...