3776 search results - page 278 / 756 » Partition-Based Logical Reasoning |
128
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
150
click to vote
ISMVL
1991
IEEE
15 years 8 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
123
click to vote
FMSD
2006
15 years 4 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
127
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
141
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...