2303 search results - page 178 / 461 » On the logic of argumentation theory |
182
click to vote
MLQ
1998
15 years 6 months ago
1998
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
203
click to vote
IDC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
178
click to vote
FORMATS
2007
Springer
16 years 21 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
127
click to vote
CALCO
2005
Springer
16 years 2 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
161
click to vote
ARGMAS
2004
Springer
15 years 12 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...