Search Sciweavers | Sciweavers

1902 search results - page 61 / 381

» Differential Dynamic Logics

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

Download centria.di.fct.unl.pt

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

claim paper

Read More »

147

click to vote

MICAI
2000
Springer

120views Artificial Intelligence» more MICAI 2000»

Dynamic Fuzzy Logic

15 years 9 months ago

Download web.cecs.pdx.edu

José Luis Pérez-Silva, Felipe Lara-R...

claim paper

Read More »

119

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 7 months ago

Download www.mindswap.org

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

claim paper

Read More »

137

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