2253 search results - page 222 / 451 » The ComFoRT Reasoning Framework |
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
107
click to vote
ECMDAFA
2006
Springer
15 years 2 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...
111
click to vote
TABLEAUX
1995
Springer
15 years 2 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
113
click to vote
TYPES
1995
Springer
15 years 2 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
135
click to vote
DESRIST
2010
Springer
15 years 2 months ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...