395 search results - page 23 / 79 » Development of a formal REA-ontology Representation |
151
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
176
click to vote
CODES
2006
IEEE
16 years 4 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
161
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
185
click to vote
ICGI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
155
click to vote
CONTEXT
2007
Springer
16 years 8 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...