1289 search results - page 154 / 258 » Flexible Language Interoperability |
128
Voted
FLAIRS
2008
15 years 5 months 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...
97
Voted
WSC
2007
15 years 5 months 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...
139
Voted
FLAIRS
2001
15 years 4 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...
102
Voted
WSC
1997
15 years 4 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...
116
Voted
APLAS
2010
ACM
15 years 2 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...