Sciweavers

536 search results - page 18 / 108
» From Formal Concept Analysis to Contextual Logic
Sort
View
80
Voted
JETAI
2000
121views more  JETAI 2000»
14 years 9 months ago
Contextual reasoning distilled
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
RULEML
2005
Springer
15 years 3 months ago
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
Adrian Paschke, Martin Bichler, Jens Dietrich
DEON
2008
Springer
14 years 11 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
75
Voted
CAISE
2005
Springer
15 years 3 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
81
Voted
BSL
2006
114views more  BSL 2006»
14 years 9 months ago
Schemata: The Concept of Schema in the History of Logic
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...
John Corcoran