104 search results - page 8 / 21 » Computing interpolants in implicational logics |
102
click to vote
TKDE
2010
14 years 6 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
111
Voted
TARK
2009
Springer
15 years 6 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
104
click to vote
TABLEAUX
2000
Springer
15 years 3 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...
93
Voted
LOGCOM
2002
14 years 11 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...
106
click to vote
ACL
1989
15 years 25 days ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...