284 search results - page 28 / 57 » Formal Foundation for Pattern-Based Modelling |
103
Voted
AMAI
2007
Springer
15 years 20 days ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
117
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
161
Voted
DCEIS
2006
15 years 1 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
TOSEM
1998
15 years 5 days ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
JAIR
2008
15 years 15 days ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...