3552 search results - page 413 / 711 » Proof theory in the abstract |
191
click to vote
CIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
166
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
186
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
150
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, I defend a multiplicative approach that distinguishes statues from amounts of matter, political entities from physical ones, qua entities (e.g. John qua Alitalia pa...
175
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...