Sciweavers

16 search results - page 1 / 4
» japll 2007
Sort
View
69
Voted
JAPLL
2007
72views more  JAPLL 2007»
14 years 9 months ago
A consistency-based framework for merging knowledge bases
James P. Delgrande, Torsten Schaub
JAPLL
2007
52views more  JAPLL 2007»
14 years 9 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
55
Voted
JAPLL
2007
55views more  JAPLL 2007»
14 years 9 months ago
Termination of logic programs with imperfect information: applications and query procedure
Carlos Viegas Damásio, Jesús Medina,...
61
Voted
JAPLL
2007
63views more  JAPLL 2007»
14 years 9 months ago
Conditionals and consequences
Henry E. Kyburg Jr., Choh-Man Teng, Gregory R. Whe...