Sciweavers

3983 search results - page 40 / 797
» Conceptual logic programs
Sort
View
ICLP
2001
Springer
14 years 1 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»
13 years 8 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...