1729 search results - page 11 / 346 » Simplifying the Development of Intelligent Agents |
AAAI
2008
13 years 9 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
AAAI
2000
13 years 9 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
MP
2011
13 years 2 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eï¬...
AAAI
1997
13 years 8 months ago
1997
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
AAAI
1997
13 years 8 months ago
1997
In this paper we review the historical developmentof computerchess and discuss its impactonthe conceptof intelligence. Withthe adventof electronic computersafter the Second WorldW...