Search Sciweavers | Sciweavers

526 search results - page 11 / 106

» Co-Logic Programming: Extending Logic Programming with Coind...

click to vote

CL
2000
Springer

87views Automated Reasoning» more CL 2000»

Semantics of well-moded input-consuming logic programs

13 years 7 months ago

Download www.win.tue.nl

Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...

Annalisa Bossi, Sandro Etalle, Sabina Rossi

claim paper

Read More »

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

14 years 2 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

click to vote

ISMIS
2005
Springer

105views Artificial Intelligence» more ISMIS 2005»

Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming

14 years 1 months ago

Download wwwinfo.deis.unical.it

Abstract. The post-genomic era showed up a wide range of new challenging issues for the areas of knowledge discovery and intelligent information management. Among them, the discove...

Luigi Palopoli, Simona E. Rombo, Giorgio Terracina

claim paper

Read More »

click to vote

LPNMR
2001
Springer

99views Automated Reasoning» more LPNMR 2001»

An Update Front-End for Extended Logic Programs

14 years 9 days ago

Download www.kr.tuwien.ac.at

Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...

claim paper

Read More »