3239 search results - page 436 / 648 » A Logical Process Calculus |
109
Voted
DLOG
2007
15 years 6 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
119
Voted
WSC
2007
15 years 6 months ago
2007
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
101
Voted
WSC
2008
15 years 6 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
123
Voted
CRIWG
2007
15 years 5 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
92
Voted
ISTA
2007
15 years 5 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...