1578 search results - page 230 / 316 » Induction of Stable Models |
106
click to vote
FAC
2008
15 years 23 days ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
IEE
2008
15 years 7 days ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
108
Voted
SUM
2010
Springer
14 years 10 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
109
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
—Networks of biological agents (for example, ants, bees, fish, birds) and complex man-made cyberphysical infrastructures (for example, the power grid, transportation networks) e...
103
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
A method is described for real-time market intelligence and competitive analysis. News stories are collected online for a designated group of companies. The goal is to detect crit...