1578 search results - page 99 / 316 » Induction of Stable Models |
107
Voted
AUSAI
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
107
Voted
JSYML
2008
15 years 2 months ago
2008
0-stable 0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are 0stable, 0-categorical, satisfy AP(3) and ha...
149
click to vote
SCCC
2005
IEEE
15 years 8 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
101
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
123
Voted
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...