1117 search results - page 121 / 224 » Partial Models of Extended Generalized Logic Programs |
103
click to vote
ICLP
1991
Springer
15 years 5 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
116
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
109
click to vote
ATMOS
2007
15 years 3 months ago
2007
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...
139
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...