Sciweavers

2014 search results - page 143 / 403
» Intelligent Transportation System (ITS)
Sort
View
AUSAI
2004
Springer
15 years 11 months ago
Key Element Summarisation: Extracting Information from Company Announcements
In this paper, we describe KES, a system that integrates text categorisation and information extraction in order to extract key elements of information from particular types of doc...
Robert Dale, Rafael A. Calvo, Marc Tilbrook
ATAL
2000
Springer
15 years 10 months ago
High-Level Robot Control through Logic
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
Murray Shanahan, Mark Witkowski
ECAI
2000
Springer
15 years 10 months ago
Repairing Queries in a Mediator Approach
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
Alain Bidault, Christine Froidevaux, Brigitte Safa...
FLAIRS
2008
15 years 8 months ago
Towards Formalization of ARD+ Conceptual Design and Refinement Method
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
Grzegorz J. Nalepa, Igor Wojnicki
AAAI
2000
15 years 7 months ago
Maintainability: A Weaker Stabilizability Like Notion for High Level Control
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...
Mutsumi Nakamura, Chitta Baral, Marcus Bjärel...