Sciweavers

31 search results - page 1 / 7
» japll 2008
Sort
View
JAPLL
2007
52views more  JAPLL 2007»
15 years 28 days ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
JAPLL
2007
72views more  JAPLL 2007»
15 years 28 days ago
A consistency-based framework for merging knowledge bases
James P. Delgrande, Torsten Schaub
111
Voted
JAPLL
2008
78views more  JAPLL 2008»
15 years 16 days ago
The three bases for the enthymeme: A dialogical theory
Douglas Walton
73
Voted
JAPLL
2008
67views more  JAPLL 2008»
15 years 1 months ago
Experimenting with computing
Meurig Beynon, Steve Russ