3624 search results - page 329 / 725 » Abstract Algebraic Logic |
146
click to vote
MONTEREY
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
164
click to vote
PADL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
154
click to vote
ISQED
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
194
click to vote
JSAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
191
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...