17054 search results - page 319 / 3411 » Logics of Dynamical Systems |
197
click to vote
LOGCOM
2002
15 years 7 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
237
click to vote
ICLP
1995
Springer
15 years 11 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
209
click to vote
IWFM
2000
15 years 8 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
190
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
208
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...