Search Sciweavers | Sciweavers

2307 search results - page 191 / 462

» Dynamic Fuzzy Logic

130

click to vote

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

15 years 10 months ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

141

click to vote

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Analyzing Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download www.clip.dia.fi.upm.es

Kim Marriott, Maria J. García de la Banda, ...

claim paper

Read More »

167

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 10 months ago

Download centria.di.fct.unl.pt

João Alexandre Leite, José Jú...

claim paper

Read More »

129

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 8 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

146

click to vote

AIML
1998

126views Logical Reasoning» more AIML 1998»

Dynamic Description Logics

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers