Sciweavers

7495 search results - page 667 / 1499
» Intelligent Document Processing
Sort
View
186
Voted
CP
2006
Springer
15 years 11 months ago
A Structural Characterization of Temporal Dynamic Controllability
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynam...
Paul Morris
CSCLP
2006
Springer
15 years 11 months 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
ECAI
2000
Springer
15 years 11 months ago
Verification Programs for Abduction
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
Paolo Liberatore, Francesco M. Donini
179
Voted
IEAAIE
2000
Springer
15 years 11 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
AAAI
2007
15 years 9 months ago
ASKNet: Automated Semantic Knowledge Network
The ASKNet system is an attempt to automatically generate large scale semantic knowledge networks from natural language text. State-of-the-art language processing tools, including...
Brian Harrington, Stephen Clark