Sciweavers

3385 search results - page 66 / 677

» Language, Logic, and the Brain

19

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

14 years 4 months ago

Ready Simulation for Concurrency: It's Logical!

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

14

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

14 years 4 months ago

Ontology Based Information Integration Using Logic Programming

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »

22

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

14 years 4 months ago

Visual Logic Programming Method Based on Structural Analysis and Design Technique

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

20

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

14 years 4 months ago

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

25

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

14 years 4 months ago

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

« Prev « First page 66 / 677 Last » Next »