Search Sciweavers | Sciweavers

2766 search results - page 73 / 554

» Hybridizing a Logical Framework

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

14 years 2 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

14 years 1 months ago

Download www.sc.ehu.es

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...

claim paper

Read More »

click to vote

CAISE
2000
Springer

79views Information Technology» more CAISE 2000»

A Logical Framework for Exception Handling in ADOME Workflow Management System

14 years 1 months ago

Download www.simflow.net

Dickson K. W. Chiu, Qing Li, Kamalakar Karlapalem

claim paper

Read More »

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

14 years 1 months ago

Download www.dis.uniroma1.it

Luca Iocchi, Daniele Nardi, Riccardo Rosati

claim paper

Read More »

click to vote

AAAI
2008

135views Intelligent Agents» more AAAI 2008»

The Re-Representation Problem in a Logic-Based Framework for Analogy Making

14 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers