2766 search results - page 198 / 554 » Hybridizing a Logical Framework |
154
Voted
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
125
Voted
AAAI
2007
15 years 7 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
131
Voted
LOGCOM
2002
15 years 4 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...
146
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
145
click to vote
PLILP
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...