4573 search results - page 519 / 915 » Automated Reasoning |
109
Voted
SAINT
2005
IEEE
15 years 10 months ago
2005
IEEE
There are many kinds of control networks which have been used in various non-IP network areas, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automation...
126
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
144
Voted
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
155
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
237
click to vote
COGSYS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...