Sciweavers

2530 search results - page 81 / 506
» Dynamic topological logic
Sort
View
ATAL
2001
Springer
15 years 3 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
MICAI
2000
Springer
15 years 3 months ago
Dynamic Fuzzy Logic
José Luis Pérez-Silva, Felipe Lara-R...
DLOG
2006
15 years 1 months ago
Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Si...
AIML
1998
15 years 1 months ago
Dynamic Description Logics
Frank Wolter, Michael Zakharyaschev
SYNTHESE
2008
62views more  SYNTHESE 2008»
14 years 11 months ago
Modelling simultaneous games in dynamic logic
Johan van Benthem, Sujata Ghosh, Fenrong Liu