1289 search results - page 154 / 258 » Flexible Language Interoperability |
FLAIRS
2008
14 years 17 days ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
WSC
2007
14 years 17 days ago
2007
This paper describes the use of a planning ontology of the domain of Aircraft Maintenance, Repair and Overhaul [MRO] at a USAF depot to produce a discrete event simulation model o...
FLAIRS
2001
13 years 11 months ago
2001
ObjectAgent is an agent-based, message-passing software architecture that utilizes natural language processing to provide autonomous control to complex systems. As a form of distr...
WSC
1997
13 years 11 months ago
1997
This article describes how a manufacturing system with working people can be modeled and simulated, wherein the focus is on the organizational processes of the people itself. Expl...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...