1941 search results - page 119 / 389 » Reasoning about Computations Using Two-Levels of Logic |
129
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
115
click to vote
AINA
2010
IEEE
15 years 8 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
121
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
127
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
130
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...