276 search results - page 13 / 56 » Representing Transition Systems by Logic Programs |
124
click to vote
ICPADS
1996
IEEE
15 years 7 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
130
click to vote
ACL
1990
15 years 4 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
115
click to vote
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
104
click to vote
JELIA
1990
Springer
15 years 7 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
149
click to vote
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...