Sciweavers

1000 search results - page 117 / 200
» Nominal rewriting systems
Sort
View
CDC
2008
IEEE
138views Control Systems» more  CDC 2008»
14 years 4 months ago
Modeling and analysis of dynamic decision making in sequential two-choice tasks
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
Linh Vu, Kristi A. Morgansen
AGENTS
1999
Springer
14 years 2 months ago
Planning and Resource Allocation for Hard Real-Time, Fault-Tolerant Plan Execution
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
Ella M. Atkins, Tarek F. Abdelzaher, Kang G. Shin,...
AI
1998
Springer
14 years 2 months ago
A Trainable Bracketer for Noun Modifiers
Noun phrases carry much of the information in a text. Systems that attempt to acquire knowledge from text must first decompose complex noun phrases to get access to that informatio...
Ken Barker
DLOG
2007
14 years 8 days ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
IJCAI
2001
13 years 11 months ago
Using Case-Base Data to Learn Adaptation Knowledge for Design
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
Jacek Jarmulak, Susan Craw, Ray Rowe