1670 search results - page 127 / 334 » On Skolemization in constructive theories |
191
click to vote
AAAI
2004
15 years 7 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
187
click to vote
WSCG
2004
15 years 7 months ago
2004
A geometrical modelling tool allowing construction of models of living cells and their organelles would facilitate understanding of biological processes at the cellular level. Her...
215
click to vote
ROOM
2000
15 years 7 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
158
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...
171
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider a class of nonlinear control systems for which stabilizing feedbacks and corresponding Lyapunov functions for the closed loop systems are available. In the presence of...