Search Sciweavers | Sciweavers

7456 search results - page 34 / 1492

» Parallelism in Logic Programs

click to vote

EUSFLAT
2009

126views Fuzzy Logic» more EUSFLAT 2009»

Fuzzy Answer Set Programming with Literal Preferences

13 years 7 months ago

Download tinf2.vub.ac.be

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, M...

claim paper

Read More »

click to vote

OWLED
2007

107views Natural Language Processing» more OWLED 2007»

On Querying Ontologies with Contextual Logic Programming

13 years 11 months ago

Download webont.org

Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...

Cláudio Fernandes, Nuno Lopes 0002, Salvado...

claim paper

Read More »

click to vote

SLP
1990

76views more SLP 1990»

Partial Evaluation for Hierarchies of Logic Theories

13 years 10 months ago

Download www.dsi.unive.it

We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...

Michele Bugliesi, Evelina Lamma, Paola Mello

claim paper

Read More »

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 1 months ago