11436 search results - page 525 / 2288 » Modeling Real Reasoning |
141
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
171
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
218
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This chapter considers the diļ¬erent temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
182
click to vote
ETFA
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
169
click to vote
RWEB
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...