Search Sciweavers | Sciweavers

1346 search results - page 35 / 270

» Alternating-time dynamic logic

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 4 months ago

Download www.cs.mcgill.ca

Hervé Avril, Carl Tropper

claim paper

Read More »

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 3 months ago

Download www-philo.univ-paris1.fr

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

claim paper

Read More »

click to vote

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Analyzing Logic Programs with Dynamic Scheduling

15 years 3 months ago

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

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

claim paper

Read More »

100

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

15 years 3 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

click to vote

MICAI
2000
Springer

120views Artificial Intelligence» more MICAI 2000»

Dynamic Fuzzy Logic

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers