Sciweavers

5482 search results - page 49 / 1097
» Logic Programming and Databases
Sort
View
ICLP
2001
Springer
15 years 2 months ago
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...
62
Voted
CORR
2008
Springer
128views Education» more  CORR 2008»
14 years 9 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...