3733 search results - page 123 / 747 » Logics of communication and change |
144
click to vote
LANMR
2004
15 years 2 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
107
click to vote
JANCL
2007
15 years 1 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
127
click to vote
JAR
2000
15 years 1 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
103
click to vote
PERSUASIVE
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses problems faced by planners of real-world online behavioural change interventions who must select behavioural change frameworks from a variety of competing the...
113
click to vote
ICSM
2000
IEEE
15 years 5 months ago
2000
IEEE
Software evolution in a cooperative environment, where a pool of maintainers/developers contribute to the overall system changes, is challanging due to several factors, such as th...