935 search results - page 38 / 187 » Stable models and difference logic |
116
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
112
click to vote
IJPRAI
2002
15 years 1 months ago
2002
Decision-tree algorithms are known to be unstable: small variations in the training set can result in different trees and different predictions for the same validation examples. B...
100
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
118
click to vote
ER
2007
Springer
15 years 5 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
NN
2007
Springer
15 years 1 months ago
2007
Springer
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...