Search Sciweavers | Sciweavers

1423 search results - page 47 / 285

» Quantum logic as a dynamic logic

143

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

129

click to vote

PADS
1996
ACM

104views Modeling and Simulation» more PADS 1996»

The Dynamic Load Balancing of Clustered Time Warp for Logic Simulation

15 years 10 months ago

Download www.cs.mcgill.ca

Hervé Avril, Carl Tropper

claim paper

Read More »

124

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 »

137

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 »

155

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers