Sciweavers

8766 search results - page 98 / 1754
» Functional logic programming
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...
CORR
2008
Springer
128views Education» more  CORR 2008»
14 years 10 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...