3053 search results - page 205 / 611 » A Logic of Abstract Argumentation |
173
click to vote
EUROGP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
144
click to vote
TBILLC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
168
click to vote
CAEPIA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
145
click to vote
CIE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
138
click to vote
DEXA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...