17054 search results - page 150 / 3411 » Logics of Dynamical Systems |
191
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
127
click to vote
ISSAC
1990
Springer
15 years 11 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
200
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
271
click to vote
JUCS
2006
15 years 7 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
201
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...