4978 search results - page 285 / 996 » Logical models of argument |
122
click to vote
ICTAI
2008
IEEE
16 years 13 days ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
165
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
175
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
196
click to vote
COMPASS
1994
15 years 10 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
162
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...