Sciweavers

31 search results - page 1 / 7
» japll 2008
Sort
View
JAPLL
2007
52views more  JAPLL 2007»
13 years 5 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
JAPLL
2007
72views more  JAPLL 2007»
13 years 5 months ago
A consistency-based framework for merging knowledge bases
James P. Delgrande, Torsten Schaub
JAPLL
2008
67views more  JAPLL 2008»
13 years 5 months ago
Experimenting with computing
Meurig Beynon, Steve Russ