Sciweavers

1316 search results - page 7 / 264
» Intelligent Agents: Issues and Logics
Sort
View
AAAI
2008
15 years 12 hour ago
Supporting Manual Mapping Revision using Logical Reasoning
Christian Meilicke, Heiner Stuckenschmidt, Andrei ...
44
Voted
AAAI
1994
14 years 11 months ago
Using Hundreds of Workstations to Solve First-Order Logic Problems
Alberto Maria Segre, David B. Sturgill