Search Sciweavers | Sciweavers

5378 search results - page 182 / 1076

» Base Logics in Argumentation

182

click to vote

CLIMA
2006

96views Intelligent Agents» more CLIMA 2006»

The Second Contest on Multi-Agent Systems Based on Computational Logic

15 years 8 months ago

Download www.in.tu-clausthal.de

Mehdi Dastani, Jürgen Dix, Peter Novák

claim paper

Read More »

178

click to vote

CSREAESA
2006

130views Embedded Systems» more CSREAESA 2006»

Embedded Processor Based Built-In Self-Test and Diagnosis of Logic and Memory Resources in FPGAs

15 years 8 months ago

Download ww1.ucmss.com

Abstract

Daniel T. Milton, Sachin Dhingra, Charles E. Strou...

claim paper

Read More »

145

click to vote

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

151

click to vote

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

146

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers