44 search results - page 5 / 9 » Refinement Semantics and Loop Rules |
114
click to vote
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
93
Voted
ENTCS
2008
15 years 23 days ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
100
click to vote
LPNMR
2009
Springer
15 years 7 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
125
Voted
TPLP
2002
15 years 10 days ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
119
Voted
ACTA
2005
15 years 18 days ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...