4266 search results - page 130 / 854 » A Framework for Defining Logics |
105
click to vote
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
WRAC
2005
Springer
15 years 3 months ago
2005
Springer
The systemic theory associates open systems and complexity closely. This article presents a particular articulation between these two concepts using the Systemion Model. Two types ...
ICSOC
2009
Springer
14 years 7 months ago
2009
Springer
Several techniques have been defined for the monitoring and adaptation of applications. However, such techniques usually work in isolation and cannot be easily integrated to tackle...
110
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
WOA
2000
14 years 11 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...