17054 search results - page 144 / 3411 » Logics of Dynamical Systems |
170
Voted
CADE
2003
Springer
16 years 7 months ago
2003
Springer
189
Voted
EUROCAST
1994
Springer
15 years 11 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
213
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
176
click to vote
ASP
2003
Springer
16 years 7 days ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
172
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...