1288 search results - page 12 / 258 » Integrating formal models into the programming languages cou... |
78
Voted
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
100
Voted
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
102
click to vote
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
83
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...