4978 search results - page 964 / 996 » Logical models of argument |
110
Voted
IADIS
2003
15 years 5 months ago
2003
There are several factors that have been influencing and creating deep changes in the Portuguese banking sector. Among these, we can highlight technological innovation, the increa...
125
Voted
WSC
2001
15 years 5 months ago
2001
In this paper, the selection of a BASE Case was every bit as important as the simulation itself. The production team had been familiar with simulations and had used their results ...
146
Voted
JISBD
2000
15 years 5 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
156
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
134
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...