Search Sciweavers | Sciweavers

2530 search results - page 81 / 506

» Dynamic topological logic

click to vote

ATAL
2001
Springer

102views Intelligent Agents» more ATAL 2001»

MINERVA - A Dynamic Logic Programming Agent Architecture

13 years 11 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

13 years 11 months ago

Download web.cecs.pdx.edu

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

claim paper

Read More »

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

13 years 9 months ago

Download www.mindswap.org

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

claim paper

Read More »

click to vote

AIML
1998

126views Logical Reasoning» more AIML 1998»

Dynamic Description Logics

13 years 9 months ago

Download lips.informatik.uni-leipzig.de

Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

click to vote

SYNTHESE
2008

62views more SYNTHESE 2008»

Modelling simultaneous games in dynamic logic

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers