2303 search results - page 172 / 461 » On the logic of argumentation theory |
161
click to vote
FUZZIEEE
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
143
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
183
click to vote
ROOM
2000
15 years 7 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
159
click to vote
CCIA
2007
Springer
16 years 21 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
163
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...