3773 search results - page 548 / 755 » Logical Reasoning |
142
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
113
click to vote
ENTCS
2008
15 years 5 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
123
click to vote
IGPL
2010
15 years 3 months ago
2010
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
141
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
174
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...