4266 search results - page 2 / 854 » A Framework for Defining Logics |
169
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
120
click to vote
SLP
1990
15 years 6 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
126
click to vote
ICGI
1994
Springer
15 years 9 months ago
1994
Springer
: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic,...
188
click to vote
JOLLI
2010
15 years 2 days ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...